Logic and Foundations
- 181
- FMOODS'08
- A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
- 183
- Set Theory and its Neighbours
- A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
- 184
- TABLEAUX
- The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
- 185
- TARK - Theoretical Aspects of Rationality and Knowledge
- Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.
- 188
- ESSLLI 2001
- 13th European Summer School in Logic, Language and Information. On-line registration. University of Helsinki, Finland; 13--24 August, 2001.
- 189
- ESSLLI 2003
- 15th European Summer School in Logic Language and Information. Vienna, Austria, August 18-29, 2003.
- 190
- ESSLLI 2004
- 16th European Summer School in Logic, Language and Information. Nancy, France, 9-20 August 2004.
- 192
- WoLLIC - Vision
- A series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. Proceedings, reports and comments on the series.
- 193
- WoLLIC '97
- 4th Workshop on Logic, Language, Information and Computation. Fortaleza, (Ceará), Brazil; 19/20--22 August 1997. Abstracts.
- 194
- WoLLIC '99
- 6th Workshop on Logic, Language, Information and Computation. Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil; 25--28 May 1999. Abstracts.
- 195
- WoLLIC'2000
- 7th Workshop on Logic, Language, Information and Computation. Hotel Barreira Roxa, Natal, Brazil; 15--18 August 2000. Proceedings in PostScript.
- 196
- WoLLIC'2001
- 8th Workshop on Logic, Language, Information and Computation. Brasília, Brazil; 31 July -- 3 August 2001. Abstracts.
- 197
- WoLLIC'2002
- 9th Workshop on Logic, Language, Information and Computation. Rio de Janeiro, Brazil; 30 July -- 2 August 2002.