Due: | March 21, 2003 (abstracts) |
---|---|
When: | June 22-25, 2003 |
Where: | Ottawa, Canada |
Accept: | April 4, 2003 |
URL: | http://www.lfcs.informatics.ed.ac.uk/lics/lics03 |
Topic: | theory |
Due: | January 15, 2002 |
---|---|
When: | July 22-25, 2002 |
Where: | Copenhagen, Denmark |
Accept: | March 22, 2002 |
Final: | May 1, 2002 |
URL: | http://www.lfcs.informatics.ed.ac.uk/lics |
Topic: | theory |
Due: | January 8, 2001 |
---|---|
When: | June 16-19, 2001 |
Where: | Boston, Massachusetts, USA |
URL: | http://logik.mathematik.uni-freiburg.de/lics |
Topic: | theory |
Due: | January 7, 2000 |
---|---|
When: | June 26-29, 2000 |
Where: | Santa Barbara, California, USA |
Accept: | March 15, 2000 |
Final: | April 19, 2000 |
URL: | http://logik.mathematik.uni-freiburg.de/lics/ |
Topic: | theory |
After: | SAS 2000 |
Due: | December 10, 1998 |
---|---|
When: | July 2-5, 1999 |
Where: | Trento, Italy |
URL: | http://logik.mathematik.uni-freiburg.de/lics/ |
Topic: | theory |