Search for
Home > Science > Math > Logic and Foundations > Conferences >

Past_Conferences
New! Submit a site
 
whatUseek Directory Site Listings:
 
TABLEAUX 2000 - Automated Reasoning with Analytic Tableaux and Related Methods. Held in conjunction with the International Workshop on First-Order Theorem Proving. University of St Andrews, Scotland; 4--7 July 2000. Tutorial notes, photos.
 
TABLEAUX'97 - Analytic Tableaux and Related Methods. Abbaye des Prémontrés, Pont-à-Mousson, France; 13--16 May 1997.
 
TABLEAUX'98 - Analytic Tableaux and Related Methods. Oisterwijk (near Tilburg), the Netherlands; 5--8 May 1998.
 
TABLEAUX'99 - Saratoga Springs, NY, USA; 7--11 June 1999.
 
TARK VIII - 8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001.
 
TLCA - 5th International Conference on Typed Lambda Calculi and Applications, Krakow, Poland - Krakow, Poland; 2--5 May 2001.
 
TPHOLs 2000 - 13th International Conference on Theorem Proving in Higher Order Logics. Portland, Oregon, USA; 14--18 August 2000.
 
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 -- 1 June 2001.
 
The Future of the Turing Test: A Conference - The Future of the Turing Test: The Next Fifty Years, will be held at Dartmouth College concurrent with the Loebner Prize Contest 2000.
 
The Logic Programming Paradigm: Current Trends and Future Directions - Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
 
Types Summer School'99 - Giens, France; 30 August -- 10 September 1999. Photos, tutorial notes and software.
 
WCP 2000 - Second World Congress on Paraconsistency. Campinas, Brazil; 8--12 May 2000.
 
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; 13--15 September 2001.
 
XI Latin American Symposium on Mathematical Logic - Mérida, Venezuela; 6--10 July 1998.
 
 
[ 1 2 3 4 5 6 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek