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

Past_Conferences
New! Submit a site
 
whatUseek Directory Site Listings:
 
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.
 
DEON'98 - Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January 1998.
 
DL2001 - International Workshop on Description Logics. Stanford University, California, USA; 1--3 August 2001. On-line proceedings.
 
Description Logics Workshops - Proceedings of past workshops, some on-line.
 
FCT 2001 - 13th International Symposium on Fundamentals of Computation Theory. University of Latvia, Riga, Latvia; 22--24 August 2001.
 
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.
 
FLOPS'99 - 4th Fuji International Symposium on Functional and Logic Programming. Tsukuba, Japan; 11--13 November 1999.
 
FLoC 1999 - The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999.
 
FME 2001 - Formal Methods Europe. Berlin; 12--16 March 2001.
 
FOSSACS 2000 - Foundations of Software Science and Computation Structures. Berlin, Germany; 27--31 March 2000.
 
FTP 2000 - First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
 
Foundational Theories in Mathematics - Department of Mathematics, University of Trento, Italy; 3--7 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.
 
GETCO 2001 - 3rd workshop on Geometric and Topological Methods in Concurrency. In conjunction with CONCUR'01. Aalborg University, Denmark; 25 August 2001.
 
GÖDEL'96 - Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy. Brno, Czech Republic; 25--29 August 1996.
 
ICALP 2001 - 28th International Colloquium on Automata, Languages and Programming. Crete, Greece; 8--12 July 2001.
 
 
[ 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