All sites of Mathematics

TABLEAUX 2002 TABLEAUX 2002
TABLEAUX 2002- Automated Reasoning with Analytic Tableaux and Related Methods. Copenhagen, Denmark; 30 July -- 1 August 2002. ...
RTA'02 RTA'02
RTA'02- 13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002. ...
Set Theory and Analysis Set Theory and Analysis
Set Theory and Analysis- Semester long program at the Fields Institute, Toronto, Ontario, along with some shorter workshops. September through December, 2002. ...
World Congress on Paraconsistency World Congress on Paraconsistency
World Congress on Paraconsistency- The WCP3 will take place in Toulouse (France) from 28-31 July 2003, and will focus on mathematics, philosophy and applications of paraconsistent logics. ...
LPAR 2001 LPAR 2001
LPAR 2001- 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Havana, Cuba; 3--7 December 2001. ...
Baker, Roger Baker, Roger
Baker, Roger- Brigham Young University. Collected works of Bernhard Riemann. ...
KR2002 KR2002
KR2002- Eighth International Conference on Principles of Knowledge Representation and Reasoning. In conjunction with AIPS2002, KSCO'02 and NMR'02. Toulouse, France; 22--25 April 2002. ...
Logic, Algebra and Geometry Logic, Algebra and Geometry
Logic, Algebra and Geometry- St.Petersburg, Russia; 1--7 June 2004. ...
LICS 2002 LICS 2002
LICS 2002- IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark; 22--25 July 2002. ...
JELIA 2004 JELIA 2004
JELIA 2004- Ninth European Conference on Logics in Artificial Intelligence. Lisbon, Portugal; 27--30 September 2004. ...
World Congress on Universal Logic World Congress on Universal Logic
World Congress on Universal Logic- 1st World Congress and School on Universal Logic. Montreux, Switzerland, March 26 - April 3, 2005. ...
CiE 2005 CiE 2005
CiE 2005- Computability in Europe 2005: New Computational Paradigms. Amsterdam, the Netherlands; 8--12 June 2005. ...
FMOODS'08 FMOODS'08
FMOODS'08- A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems. ...
Computation Prospects of Infinity Computation Prospects of Infinity
Computation Prospects of Infinity- Research session on recent developments in Set Theory and Recursion Theory. Institute for Mathematical Sciences, National University of Singapore; 20 June -- 15 August 2005. ...
FLoC 1999 FLoC 1999
FLoC 1999- The 1999 Federated Logic Conference, incorporating CADE, CAV, LICS, RTA. Trento, Italy; 30 June -- 12 July 1999. ...
Model Theory and Applications to Algebra and Analysis Model Theory and Applications to Algebra and Analysis
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. ...
RTA 2003 RTA 2003
RTA 2003- 14th International Conference on Rewriting Techniques and Applications. Valencia, Spain; 9--11 June 2003. ...
MPC 2000 MPC 2000
MPC 2000- Mathematics of Program Construction. Ponte de Lima, Portugal; 3--5 July 2000. Photos. ...
TARK VIII TARK VIII
TARK VIII- 8th conference on Theoretical Aspects of Rationality and Knowledge. Certosa di Pontignano, University of Siena, Italy; 8--10 July 2001. ...
Computer-Supported Mathematical Theory Development Computer-Supported Mathematical Theory Development
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. ...
FOTFS III FOTFS III
FOTFS III- Complexity in Mathematics and Computer Science. A PhD EuroConference. Institut für Formale Logik, Universität Wien, Austria; 21--24 September 2001. ...
Infinite Games Infinite Games
Infinite Games- Foundations of the Formal Sciences V. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 26--29 November 2004. ...
The Continuum Hypothesis The Continuum Hypothesis
The Continuum Hypothesis- A workshop featuring a number of lectures surveying the current insights into the continuum problem and its variations. MSRI, Berkeley, CA, USA; 29 May -- 1 June 2001. ...
LOPSTR LOPSTR
LOPSTR- International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. ...
CADE CADE
CADE- Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning. ...
TABLEAUX TABLEAUX
TABLEAUX- The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings. ...
Set Theory and its Neighbours Set Theory and its Neighbours
Set Theory and its Neighbours- A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London. ...
Formal Methods Formal Methods
Formal Methods- World Congress on Formal Methods (FM). ...
Cummings, James Cummings, James
Cummings, James- Carnegie Mellon University. ...
TARK - Theoretical Aspects of Rationality and Knowledge TARK - Theoretical Aspects of Rationality and Knowledge
TARK - Theoretical Aspects of Rationality and Knowledge- Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge. ...
MFPS MFPS
MFPS- Mathematical Foundations of Programming Semantics. An annual series of meetings. ...
WoLLIC - Vision WoLLIC - Vision
WoLLIC - Vision- A series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. Proceedings, reports and comments on the series. ...
WoLLIC '97 WoLLIC '97
WoLLIC '97- 4th Workshop on Logic, Language, Information and Computation. Fortaleza, (Ceará), Brazil; 19/20--22 August 1997. Abstracts. ...
WoLLIC'2000 WoLLIC'2000
WoLLIC'2000- 7th Workshop on Logic, Language, Information and Computation. Hotel Barreira Roxa, Natal, Brazil; 15--18 August 2000. Proceedings in PostScript. ...
WoLLIC'2001 WoLLIC'2001
WoLLIC'2001- 8th Workshop on Logic, Language, Information and Computation. Brasília, Brazil; 31 July -- 3 August 2001. Abstracts. ...
WoLLIC'2002 WoLLIC'2002
WoLLIC'2002- 9th Workshop on Logic, Language, Information and Computation. Rio de Janeiro, Brazil; 30 July -- 2 August 2002. ...
WoLLIC '99 WoLLIC '99
WoLLIC '99- 6th Workshop on Logic, Language, Information and Computation. Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil; 25--28 May 1999. Abstracts. ...
Fuzzy Systems by James F. Brule' Fuzzy Systems by James F. Brule'
Fuzzy Systems by James F. Brule'- Covers the history, main concepts, applications and peer objections. Includes bibliography and additional resources. ...
Thunder, Jeff Thunder, Jeff
Thunder, Jeff- Northern Illinois University. Geometry of numbers. ...
Fuzzy Logic Fuzzy Logic
Fuzzy Logic- Survey of logical systems with a continuum of truth values; from the Stanford Encyclopedia by Petr Hajek . ...
Fuzzy Logic Archive Fuzzy Logic Archive
Fuzzy Logic Archive- The Net's Original Fuzzy Logic Archive - Since 1994. ...
Fuzzy Logic Fuzzy Logic
Fuzzy Logic- Open Encyclopedia article. ...
Intuitionistic Logic Intuitionistic Logic
Intuitionistic Logic- A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis. ...
Intuitionistic Logic Intuitionistic Logic
Intuitionistic Logic- A very brief overview of the subject by Alex Sakharov from MathWorld. ...
Intuitionistic logic Intuitionistic logic
Intuitionistic logic- Wikipedia (free encyclopedia) article. ...
Intuitionistic Topology and Foundations of Constructive Mathematics Intuitionistic Topology and Foundations of Constructive Mathematics
Intuitionistic Topology and Foundations of Constructive Mathematics- Math page of Frank Waaldijk, containing articles and PhD thesis on foundations of constructive mathematics and intuitionistic topology. Also links to o ...
Forster, T.E. Forster, T.E.
Forster, T.E.- University of Cambridge. ...
Porgi Porgi
Porgi- Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by Allen Stoughton. Given a sequent, Porgi either finds a minimally sized, normal natural deduction of the sequent, or ...
Many-Valued Logic Many-Valued Logic
Many-Valued Logic- Survey article on multiple-valued logics, by Siegfried Gottwald. From the Stanford Encyclopedia. ...
Multi-valued Logic Home Page Multi-valued Logic Home Page
Multi-valued Logic Home Page- Links to journals and researchers in many-valued logic, bibliographies, and conferences. ...

Latest sites from Mathematics