National Institute of Informatics
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)
Japan Advanced Institute of Science and Technology, Japan
National Institute of Informatics, Japan
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 2009. 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: Feb 6, 2009, 11:31am GMT-3.