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

Past_Conferences
New! Submit a site
 
whatUseek Directory Site Listings:
 
ICALP'00 - 27th International Colloquium on Automata, Languages, and Programming. Geneva, Switzerland; 9--15 July 2000.
 
ICALP'98 - 25th International Colloquium on Automata, Languages, and Programming. Aalborg, Denmark; 13--17 July 1998.
 
ICC'01 - Third international workshop on Implicit Computational Complexity. Aarhus, Denmark; 20--21 May 2001.
 
ICFP 2000 - International Conference on Functional Programming. Associated with PLI 2000. Montreal, Canada; 18--20 September 2000.
 
ICLP'99 - Conference on Logic Programming
 
ICoS-1 : Inference in Computational Semantics - Amsterdam, the Netherlands; 15 August 1999.
 
ICoS-2 : Inference in Computational Semantics - Dagstuhl, Germany; 29--30 July 2000. Photos, slides.
 
ICoS-3 : Inference in Computational Semantics - Held jointly with IJCAR 2001. Siena, Italy; 19--20 June 2001.
 
IJCAR 2001 - International Joint Conference on Automated Reasoning. Fusion of three conferences - CADE, TABLEAUX and FTP. Siena, Italy, June 18 - 23, 2001.
 
ILP 2001 and LLL 2001 - The Eleventh International Conference on Inductive Logic Programming. Co-located with the Third International Workshop on Learning Language in Logic. Strasbourg, France, September 8-9, 2001.
 
ISDT '99 - International Symposium on Domain Theory. Shanghai, China; 17--24 October 1999.
 
ISMVL '95 - IEEE 25th International Symposium on Multiple-Valued Logic. Contents and abstracts.
 
ISMVL '96 - 26th IEEE International Symposium on Multiple-Valued Logic. Contents and abstracts.
 
ISMVL '97 - 27th International Symposium on Multiple-Valued Logic. Abstracts.
 
ISMVL 2000 - International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.
 
ITRS'00 - Workshop on Intersection Types and Related Systems. Geneva, Switzerland; 15 July 2000. Abstracts, papers and slides.
 
JELIA 2000 - 7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.
 
JoLL'2000 - Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.
 
LACL 2001 - 4th International Conference on Logical Aspects of Computational Linsguistics. Le Croisic, France; 27--29 June 2001.
 
LCCS 2001 - International Workshop on Logic and Complexity in Computer Science. Créteil, France; 3--5 September 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