Directory Help Search only in SeriesSearch the Web

Series

Science > Math > Logic and Foundations > Meetings > Series

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	http://www.informatik.hu-berlin.de/lics/ - http://www.informatik.hu-berlin.de/lics/ IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.
	http://www.cs.albany.edu/~nvm/cade.html - http://www.cs.albany.edu/~nvm/cade.html Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
	TABLEAUX - http://i12www.ira.uka.de/TABLEAUX/ The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
	http://math.tulane.edu/~mfps/ - http://math.tulane.edu/~mfps/ Mathematical Foundations of Programming Semantics. An annual series of meetings.
	FMOODS'08 - http://discotec08.ifi.uio.no/FMOODS08/HomePage A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.

	http://www.kr.org/RelatedConferences.html - http://www.kr.org/RelatedConferences.html International Workshops on Nonmonotonic Reasoning.
	Set Theory and its Neighbours - http://www.ucl.ac.uk/~ucahcjm/stn.html A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
	Formal Methods - http://dblp.uni-trier.de/db/conf/fm/ World Congress on Formal Methods (FM).
	http://www.cs.man.ac.uk/~kung-kiu/lopstr/ - http://www.cs.man.ac.uk/~kung-kiu/lopstr/ International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
	Boise Extravaganza in Set Theory Conferences - http://math.boisestate.edu/~best/ (BEST) organized at Department of Mathematics and Computer Science, Boise State University.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...