 |
/ Home
/ Web Directory / Science / Math / Logic and Foundations / Meetings / Past Conferences (145)
Web Sites in Category Past Conferences
Displaying: 1 – 50 (145 total) Next Page >>
2001 Greater Boston Logic Meeting - Boston, MA, USA; 11--13 May 2001.
21st Days of Weak Arithmetics - St.Petersburg, Russia; 7--9 June 2002.
6BLM - 6th Barcelona Logic Meeting, 5-8 July 2000 - Barcelona, Spain - Areas emphasized are algebraic logic, model theory and set theory.
9th Annual Logic Summer School - Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
AC2001 - The Thirteenth Amsterdam Colloquium. Universiteit van Amsterdam the Netherlands; 17--19 December 2001.
ACL2-2002 - Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
ADD'2002 - SpecialSession on Argument, Dialogue, and Decision at NMR'2002. Toulouse, France; 19--21 April 2002.
ADMW01 - 3rd Augustus De Morgan Workshop on Frontiers of Revision and Contraction. King's College, London, UK; 5--6 November 2001.
Algebra and Discrete Mathematics - A Euresco conference on the interplay between model theory, infinite combinatorics and various subfields of algebra. Hattingen, Germany; 18 -- 23 August 2001.
ALP/PLILP/SAS 1996 - Joint meeting of the Fifth International Conference on Algebraic and Logic Programming; Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs; Third International Static Analysis Symposium. Aachen, Germany; 24--27 September 1996.
Amsterdam Colloquium 1999 - The Twelfth Amsterdam Colloquium, bringing together logicians, philosophers, linguists and computer scientists who share an interest in the formal semantic study of natural and formal languages. University of Amsterdam, the Netherlands; 18--21 December 1999.
Application of Multiple-Valued Logic to Artificial Intelligence and Data Mining - A MathFIT Workshop. School of Computer Science, Queen's University Belfast; 27 -- 28 April 2001.
ARW 2000 - Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. King's College London, UK; 20--21 July 2000.
BEST 10 - Boise Extravaganza in Set Theory. Boise State University; 23--25 March 2001.
BEST 12 - Boise Extravaganza in Set Theory , March 28-30, 2003
BEST-11 - Boise Extravanagza in Set Theory. Department of Mathematics, Boise State University, Idaho, USA; 29--31 March 2002.
BI-DIALOG 2001 - 5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001.
CADE-16 - The 16th International Conference on Automated Deduction. Trento, Italy; 7--10 July 1999.
CADE-17 - The 17th International Conference on Automated Deduction. Pittsburgh, PA, USA; 17--20 June 2000.
CADE-18 - The 18th International Conference on Automated Deduction. Copenhagen, Denmark; 27--30 July 2002.
CALCULEMUS-2002 - 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Marseille, France; 1--5 July 2002.
CCF'99 - First Workshop on Constructivity, Complexity, and Fuzziness. Galati, România; 26--28 August 1999.
CICLOPS 2001 - Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.
CL 2000 - Conference on Computational Logic. Incorporating DOOD2000 and LOPSTR2000, collocated with ILP2000. Imperial College, London, UK; 24--28 July 2000.
CLIMA'02 - Computational Logic in Multi-Agent Systems - Affiliated with ICLP 2002. Copenhagen, Denmark; 1 August 2002.
Combining Probability and Logic - 4th Augustus de Morgan Workshop. King's College London, UK; 4--6 November 2002.
Complexity 2001 - 16th Annual Conference on Computational Complexity. CTI, DePaul University, Chicago IL, USA; 18--21 June 2001.
Computer-Supported Mathematical Theory Development - Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.
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 - Held in coordination with the Mathematical Sciences Research Institute workshop on The Continuum Hypothesis. University of California, Berkeley, CA, USA; 27--28 May 2001.
Coordination and Action - Workshop in conjunction with ESSLLI 2001. Helsinki, Finland; 13--25 August 2001.
CSL 2000 - Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.
CSL'01 - Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
CSL'02 - Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.
DEON'02 - Sixth International Workshop on Deontic Logic in Computer Science. Imperial College, London, UK; 22--24 May 2002.
DEON'98 - Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January 1998.
Description Logics Workshops - Proceedings of past workshops, some on-line.
DL2001 - International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
Does Mathematics Require a Foundation? - Arché Centre for Philosophy of Logic, Language, Mathematics and Mind, University of St Andrews, Scotland, UK; 12--15 August 2002.
FICS'2001 Fixed Points in Computer Science - A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
FLA 2001 - Fuzzy Logic and Applications. Part of the International ICSC Congress on Computation Intelligence Methods and Applications (CIMA 2001). Bangor, Wales, UK; 19--22 June 2001.
FLoC '02 - Federated Logic Conference - Seven concurrent meetings will be held. Copenhagen, Denmark; 20 July -- 1 August 2002.
FLoC 1999 - The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999.
FOSSACS 2000 - Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
FOTFS III - Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001.
Foundational Theories in Mathematics - Department of Mathematics, University of Trento, Italy; 3--7 September 2001.
Fourth International Tbilisi Symposium on Language, Logic and Computation - Borjomi, Georgia; 23--28 September 2001.
FroCoS 2000 - 3rd International Workshop on Frontiers of Combining Systems. Combining logics and deduction systems and logical modelling of multi-agent systems. Nancy, France; 22--24 March 2000.
FroCoS'96 - First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.
FroCoS'98 - Second International workshop on Frontiers of Combining Systems. ILLC, University of Amsterdam; 2--4 October 1998.
Displaying: 1 – 50 (145 total) Next Page >>
Related Categories:
Science > Math > Events > Past Events
Computers > Algorithms > Conferences > Past Conferences
|
|
|
|
