Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Department of Mathematics, Universidade de Brasília, Brazil
Centro de Informática, Universidade Federal de Pernambuco, Brazil
There are two zones: (1) Registered User and (2) New User. The first time you use the system you will have to use the New User fields. Shortly after that a password will be emailed to you. You can use this password to access the system thereafter as a registered user.
On this page you can enter the title, authors, contact author information and abstract. The abstract has to be under 300 words. It can be typed in directly or pasted in with a browser. You can upload your paper (extended abstract) using the web page. Using this submission system you can manage your papers submitted to WoLLIC 2010. You can submit new papers, resubmit previously submitted papers, or change information about authors.
Extended abstracts must be in postscript or pdf format.
Last modified: Jul 22, 2009, 00:06am GMT-3.