Science > Math > Logic and Foundations > Meetings

Home >> Science >> Math >> Logic and Foundations >> Meetings >> Past Conferences

ICLP'99
Sixteenth International Conference on Logic Programming. Las Cruces, New Mexico; 29 November -- 4 December, 1999.

CSL 2000
Computer Science Logic. Fischbachau/Munich, Germany; 21--26 August 2000.

DEON'98
Fourth International Workshop on Deontic Logic in Computer Science. Bologna, Italy; 8--10 January 1998.

SPbDLC'99
First St.Petersburg Days of Logic and Computability. St. Petersburg, Russia; 26--29 May 1999. Abstracts, photos.

FroCoS'96
First International Workshop on Frontiers of Combining Systems. Munich, Germany; 26--29 March 1996. Abstracts.

JoLL'2000
Workshop on Logic and Language. Seville,Spain; 29 November -- 1 December 2000.

LPNMR'97
4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.

JELIA 2000
7th European Workshop on Logics in Artificial Intelligence. Malaga, Spain; 29 September -- 2 October 2000.

9th Annual Logic Summer School
Automated Reasoning Group, Research School of Information Sciences and Engineering, Australian National University, Canberra; 4--15 December 2000.

ISMVL 2000
International Symposium for Multiple-Valued Logic. Portland, Oregon, USA; 23--25 May 2000. Photos.

Computers: Algorithms: Conferences: Past Conferences
Science: Math: Events: Past Events