| 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 |