All sites of Mathematics

Logic Colloquium '97 Logic Colloquium '97
Logic Colloquium '97- Leeds, UK; 6--13 July 1997. ...
Logic Colloquium 2000 Logic Colloquium 2000
Logic Colloquium 2000- Incorporating the European Logic Summer School 2000 (ELSS 2000). Paris, France; 23--31 July 2000. ...
TIME2007 TIME2007
TIME2007- The purpose of this symposium is to bring together active researchers from distinct research areas involving representation of and reasoning about temporal phenomena. ...
CSL'02 CSL'02
CSL'02- Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002. ...
CADE-18 CADE-18
CADE-18- The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002. ...
History and Philosophy of Logic History and Philosophy of Logic
History and Philosophy of Logic- Publisher's site. ...
Logic and Algorithms Logic and Algorithms
Logic and Algorithms- Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006. ...
ICC'01 ICC'01
ICC'01- Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001. ...
Boise Extravanagza in Set Theory Boise Extravanagza in Set Theory
Boise Extravanagza in Set Theory- Conferences organized every year from 1992 to 2010 at the Department of Mathematics, Boise State University, Idaho, USA. Names of organizers, speakers and participants; abstracts and pra ...
ICLP'99 ICLP'99
ICLP'99- Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999. ...
CSL 2000 CSL 2000
CSL 2000- Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000. ...
SPbDLC'99 SPbDLC'99
SPbDLC'99- First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos. ...
9th Annual Logic Summer School 9th Annual Logic Summer School
9th Annual Logic Summer School- Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000. ...
ISMVL 2000 ISMVL 2000
ISMVL 2000- International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos. ...
GÖDEL'96 GÖDEL'96
GÖDEL'96- Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996. ...
WCP 2000 WCP 2000
WCP 2000- Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000. ...
TABLEAUX'99 TABLEAUX'99
TABLEAUX'99- Saratoga Springs, NY, USA; 7--11 June 1999. ...
MFCS'98 MFCS'98
MFCS'98- The 23rd International Symposium on Mathematical Foundations of Computer Science. Held jointly with CSL'98, CCA'98, FICS'98 and 68th PSSL. Brno, Czech Republic; 24--28 August 1998. ...
CL 2000 CL 2000
CL 2000- Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000. ...
Set Theory and its Neighbours 9 Set Theory and its Neighbours 9
Set Theory and its Neighbours 9- De Morgan House, London; 25 April 2001. ...
CADE-17 CADE-17
CADE-17- The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000. ...
PLI'00 PLI'00
PLI'00- Principles, Logics, and Implementations of High-Level Programming Languages. Including ICFP 2000 and PPDP 2000. Montreal, Canada; 18--23 September 2000. ...
PLS-1 PLS-1
PLS-1- First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997. ...
Indiana University Indiana University
Indiana University- Group in Pure and Applied Logic. ...
Conference and Workshop in Honor of Professor Saharon Shelah Conference and Workshop in Honor of Professor Saharon Shelah
Conference and Workshop in Honor of Professor Saharon Shelah- Ben-Gurion University of the Negev, Israel; 21--25 May 2001. ...
Conference in Honor of D. A. Martin's 60th Birthday Conference in Honor of D. A. Martin's 60th Birthday
Conference in Honor of D. A. Martin's 60th Birthday- Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 20 ...
LACL 2001 LACL 2001
LACL 2001- 4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001. ...
Description Logics Workshops Description Logics Workshops
Description Logics Workshops- Proceedings of past workshops, some on-line. ...
Proof and Computation Proof and Computation
Proof and Computation- Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999. ...
The Logic Programming Paradigm: Current Trends and Future Directions The Logic Programming Paradigm: Current Trends and Future Directions
The Logic Programming Paradigm: Current Trends and Future Directions- Shakertown, Kentucky, USA; 27--27 April 1998. Photos. ...
FICS'2001 Fixed Points in Computer Science FICS'2001 Fixed Points in Computer Science
FICS'2001 Fixed Points in Computer Science- A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001. ...
PLI 2001 PLI 2001
PLI 2001- Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001. ...
LLL 2001 LLL 2001
LLL 2001- 3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001. ...
CSL'01 CSL'01
CSL'01- Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001. ...
LPNMR'01 LPNMR'01
LPNMR'01- 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001. ...
Fourth International Tbilisi Symposium on Language, Logic and Computation Fourth International Tbilisi Symposium on Language, Logic and Computation
Fourth International Tbilisi Symposium on Language, Logic and Computation- Borjomi, Georgia; 23--28 September 2001. ...
WFLP 2001 WFLP 2001
WFLP 2001- International Workshop on Functional and (Constraint) Logic Programming, comprising the 10th International Workshop on Functional and Logic Programming and the 16th Workshop on Logic Programming. Kiel, Germany ...
International Workshop on Computability Theory International Workshop on Computability Theory
International Workshop on Computability Theory- S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001. ...
Workshop on Model Theory Workshop on Model Theory
Workshop on Model Theory- Institut de Matemàtica de la Universitat de Barcelona (IMUB), Spain; 25--27 October 2001. ...
ICLP'01 ICLP'01
ICLP'01- Seventeenth International Conference on Logic Programming. Paphos, Cyprus; 26 November -- 1 December 2001. ...
AC2001 AC2001
AC2001- The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001. ...
CICLOPS 2001 CICLOPS 2001
CICLOPS 2001- Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001. ...
Weighted Automata: Theory and Applications Weighted Automata: Theory and Applications
Weighted Automata: Theory and Applications- Dresden, Germany; 4--8 March 2002. ...
ACL2-2002 ACL2-2002
ACL2-2002- Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002. ...
TPTS TPTS
TPTS- Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002. ...
NMR'2002 NMR'2002
NMR'2002- 9th International Workshop on Non-Monotonic Reasoning. (Collocated with KR2002 and AIPS'02.) Toulouse, France; 19--21 April 2002. ...
21st Days of Weak Arithmetics 21st Days of Weak Arithmetics
21st Days of Weak Arithmetics- St.Petersburg, Russia; 7--9 June 2002. ...
CLIMA'02 - Computational Logic in Multi-Agent Systems 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. ...
FLoC '02 - Federated Logic Conference FLoC '02 - Federated Logic Conference
FLoC '02 - Federated Logic Conference- Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002. ...
ICLP'02 ICLP'02
ICLP'02- International Conference on Logic Programming. Copenhagen, Denmark; 29 July -- 1 August 2002. ...

Latest sites from Mathematics