Insert Article
Related articles
|
 |
 |
|
Webmasters: Add your website here:
Readers: Edit |
Discuss Listings
Model Theory and Applications to Algebra and Analysis
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 17 January -- 15 July 2005.
http://www.newton.cam.ac.uk/programs/MAA/
JELIA 2004
Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004.
http://centria.di.fct.unl.pt/~jelia2004/
Logic and Algorithms
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.
http://www.newton.cam.ac.uk/programmes/LAA/
World Congress on Universal Logic
1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005.
http://www.uni-log.org/
Workshop on Logical Foundations of an Adaptive Security Infrastructure (WOLFASI)
A sub-workshop of the LICS Foundations of Computer Security (FCS'04) Workshop, LICS'04. Turku, Finland; 12--13 July 2004.
http://www.aero.org/wolfasi/
Computer-Supported Mathematical Theory Development
Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.
http://www.risc.uni-linz.ac.at/conferences/IJCAR-WS7/
|
