Publications

23rd Autumn School in Algebraic Geometry 23rd Autumn School in Algebraic Geometry- Algebraic group actions and quotients. Wykno (Poland), 3--10 September 2000. The Continuum Hypothesis The Continuum Hypothesis- A workshop featuring a number of lectures surveying the current insights into the continuum problem and its variations. MSRI, Berkeley, CA, USA; 29 May -… Infinite Games Infinite Games- Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004. FOTFS III FOTFS III- Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001. Computer-Supported Mathematical Theory Development Computer-Supported Mathematical Theory Development- Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--… TARK VIII TARK VIII- 8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001. MPC 2000 MPC 2000- Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos. RTA 2003 RTA 2003- 14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003. Model Theory and Applications to Algebra and Analysis Model Theory and Applications to Algebra and Analysis- Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005. FLoC 1999 FLoC 1999- The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999. Computation Prospects of Infinity Computation Prospects of Infinity- Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapor… CiE 2005 CiE 2005- Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005. World Congress on Universal Logic World Congress on Universal Logic- 1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005. JELIA 2004 JELIA 2004- Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004. LICS 2002 LICS 2002- IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002. Logic, Algebra and Geometry Logic, Algebra and Geometry- St.Petersburg, Russia; 1--7 June 2004. KR2002 KR2002- Eighth International Conference on Principles of Knowledge Representation and Reasoning. In conjunction with AIPS2002, KSCO'02 and NMR'02. Toulouse, France; 22--25 April 2… LPAR 2001 LPAR 2001- 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001. World Congress on Paraconsistency World Congress on Paraconsistency- The WCP3 will take place in Toulouse (France) from 28-31 July 2003, and will focus on mathematics, philosophy and applications of paraconsistent… Set Theory and Analysis Set Theory and Analysis- Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002. RTA'02 RTA'02- 13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002. TABLEAUX 2002 TABLEAUX 2002- Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002. ICLP'02 ICLP'02- International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002. FLoC '02 - Federated Logic Conference FLoC '02 - Federated Logic Conference- Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002. CLIMA'02 - Computational Logic in Multi-Agent Systems CLIMA'02 - Computational Logic in Multi-Agent Systems- Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002. 21st Days of Weak Arithmetics 21st Days of Weak Arithmetics- St.Petersburg, Russia; 7--9 June 2002. NMR'2002 NMR'2002- 9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002. ADD'2002 ADD'2002- SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002. Proof and Computation Proof and Computation- Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999. TPTS TPTS- Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002.