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

Past_Conferences
New! Submit a site
 
whatUseek Directory Site Listings:
 
MOL7 - Seventh Meeting on Mathematics of Language. University of Helsinki, Finland; 10--12 August 2001.
 
MPC 2000 - Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos.
 
Mathematical Foundations of Computer Science (MFCS 2000) - Bratislava, Slovak Republic; 28 August -- 1 September 2000.
 
NMR-2000 - 8th International Workshop on Non-Monotonic Reasoning. Held with KR'2000. Breckenridge, Colorado, USA; 9--11 April 2000. Slides, proceedings.
 
Numbers, Sets and Structures - Department of Philosophy, University of Bristol, UK; 18 November 2000.
 
OntoLex'2000 - Workshop on Ontologies and Lexical Knowledge Bases. Bringing together researchers interested in the dependencies between formal ontologies and lexical semantics in general, and more specifically in the construction of lexical knowledge bases. Sozopol, Bulgaria; 8--10 September 2000. On-line presentations.
 
PLI 2001 - Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001.
 
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 - First Panhellenic Logic Symposium. Nicosia, Cyprus; 21--24 July 1997.
 
PLS-2 - 2nd Panhellenic Logic Symposium. Delphi, Greece; 13--17 July 1999.
 
PLS-3 - 3rd Panhellenic Logic Symposium. 17--22 July 2001; Anogia, Greece.
 
Proof and System Reliability - Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.
 
RTA 2000 - 11th International Conference on Rewriting Techniques and Applications. University of East Anglia, Norwich, UK; 10--12 July 2000. Joint with 3rd International Workshop on Explicit Substitutions and Applications; 13 July 2000.
 
RTA 2001 - 12th International Conference on Rewriting Techniques and Applications. Utrecht, The Netherlands; 22--24 May 2001.
 
SAS'01 - The 8th International Static Analysis Symposium. La Sorbonne, Paris, France; 16--18 July 2001.
 
SAT 2001 - Workshop on Theory and Applications of Satisfiability Testing. Boston University, MA, USA; 14--15 June 2001.
 
SPbDLC'99 - First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.
 
Semantic Knowledge Acquisition and Categorisation - Workshop at the ESSLLI XIII (European Summer School in Logic, Language and Information). Helsinki, Finland; 13--17 August 2001.
 
Set Theory and its Neighbours 9 - De Morgan House, London; 25 April 2001.
 
Seventh Asian Logic Conference - Hsi-Tou, Taiwan; 6--10 June 1999.
 
 
[ 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