Past Conferences
2005 ASL Spring Meeting
Association for Symbolic Logic - San Francisco, California - March 23-27, 2005.
9th Annual Logic Summer School
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.
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 Progr…
BI-DIALOG 2001
5th Workshop on Formal Semantics and Pragmatics of Dialogue. ZiF, Bielefeld, Germany; 14--16 June 2001.
CICLOPS 2001
Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.
Showing 20–20 of 131 results