Association for Symbolic Logic 2010 North American Annual Meeting,
March 17-20, 2010.
The Seventeenth Amsterdam Colloquium, December 2009.
The Amsterdam Colloquia
aim at bringing together linguists, philosophers, logicians and
computer scientists who share an interest in the formal study of the
semantics and pragmatics of natural and formal languages.
The Fall 2009 meeting of the
Indiana Philosophical
Association.
The general topic of the meeting will be Mathematical and
Scientific Philosophy.
Schloss Dagstuhl Seminar on Coalgebraic Logics, December 2009.
BLAST,
Las Cruces, NM, August 10-14, 2009.
BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic
Logic, Quantum Logic, Universal Algebra, Algebraic Logic, Set Theory,
Set-theoretic Topology and Point-free Topology.
Fourth MATHLOGAPS Training Workshop, Manchester, UK,
7-10 July 2008. I taught a course on coalgebra and circularity.
Advances in Modal Logic
(AiML), LORIA, Nancy,
France, 9 - 12 September 2008.
Model-Theoretic Syntax at 10, organized as part of ESSLLI 2007,
13 - 17 August 2007.
11th International Conference on
Algebraic Methodology and Software Technology, AMAST '06,
Kuressaare, Estonia, 5-8 July 2006.
Workshop on Coalgebraic Logic, organized as part of TANCL 2007,
10-12 August 2007.
Mathematics of Language (MoL) 10
,
UCLA, July 28-30, 2007.
Order, Algebra, and Logic,
Vanderbilt University,
June 12-16, 2007.
The Second Indian Conference on Logic and its Relationship with
Other Disciplines, IIT Bombay, January 2007.
Festschrift Symposium
in Honor of Joseph Goguen,
UCSD, June 27-29 2006.
The
Infinity Symposium, Amsterdam, March 21-22, 2006.
The
5th Panhellenic Logic Symposium,
July 25-28, 2005. PLS5 was
dedicated to Y.N. Moschovakis.
The
Fifteenth Amsterdam Colloquium,
December 19 - 21, 2005.
The New York City Logic Conference,
May 20-21, 2005.
Fest Colloquium for
Uwe Moennich:
Formal Aspects of the Description of Language.
Freudenstadt, Germany, 11-14 November 2004.
Association for Symbolic Logic/American Philosophical
Association Meeting, Minneapolis, May 2001.
Mid Atlantic Mathematical Logic Seminar,
Washington DC, April 2001.
The Fourth Workshop on
Games in Logic, Language and
Computation, Groningen, November 2000.
Conferences and Meetings:
ESSLLI 2010,
University of Copenhagen, Denmark, August 9-20, 2010.
I'll teach on "Logic for Natural Language, Logic in Natural Language".
ESSLLI 2007,
The European Summer School in
Logic, Language and Information,
Dublin (Ireland), August 6-17, 2007.
I taught a course on Natural Logic at ESSLLI, and some materials
are available from the ESSLLI CD and from me.
Algebra and Coalgebra in Computer Science (CALCO),
University of Wales, Swansea, from
September 3-6, 2005.
Workshop on
Proof Theory at the Syntax/Semantics Interface, part of the
Linguistic Society of America Summer Institute, July 8-10, 2005,
Cambridge, MA.
NASSLLI 2004, held at UCLA in June 2004.
The North American Summer School in Logic,
Language, and Information,
NASSLLI'03.
Indiana University, Bloomington, June 2003.
The
First North American Summer School in Logic, Language, and
Information, Stanford University,
June 24-30, 2002.
Formal Grammars/
Mathematics of Language,
Helsinki, August 2001.
Program committees:
Advances in Modal Logic
(AiML), to be held
at the Steklov Mathematical Institute, Moscow, August 25-29, 2010.
Ninth Conference on Logic and the Foundations of Game and Decision Theory,
to be held at the University of Toulouse, France, July 5-7, 2010.
Coalgebraic Methods
in Computer Science (CMCS'08), to be held in
Paphos, Cyprus, as part of ETAPS, March 26-29, 2010.
LORI-II: The Second International Workshop on Logic, Rationality, and
Interaction, Chongqing, China,
October 8 - 11, 2009.
Third Conference on Algebra and Coalgebra in Computer Science (CALCO 2009),
Udine, Italy,
September 6-10, 2009.
The
14th conference on Formal Grammar, at ESSLLI 2009 in Bordeaux,
France, July 25-26, 2009.
Quantum Logic Inspired by Quantum Computing,
a workshop at Indiana University, May 11-12, 2009.
The Sixth
Midwest Computational Linguistics Colloquium,
Bloomington, May 2-3, 2009.
3rd Indian Conference
on Logic and its Applications (ICLA),
Institute of Mathematical Sciences, Chennai, 7-11 Jan 2009.
The 13th Conference on
Formal Grammar, to be held with ESSLLI 2008
in Hamburg, Germany, August 8-10, 2008.
The
12th International Conference on Algebraic Methodology and Software
Technology
(AMAST'08),
UIUC, Urbana, Illinois, USA, 28-31 July 2008.
Logic in the Foundations of Game and Decision
Theory (LOFT 2008)
to be held in Amsterdam, 3-5 July 2008.
5th Midwest Computational
Linguistics Colloquium, East Lansing,
May 10-11, 2008.
Coalgebraic Methods
in Computer Science (CMCS'08),
Budapest, April 4-5, 2008.
International Colloquium on Automata, Languages and Programming, ICALP
2007, Wroclaw (Poland), July 9-14, 2007.
14th Workshop on Logic, Language, Information and Computation
(WoLLIC '07), Rio de Janeiro, June 2-5, 2007.
Association for Symbolic Logic Spring
Meeting,
held in conjunction with the spring
meeting of the American Philosophical Association.
Chicago, April
18-21, 2007.
Workshop on Rationality and Knowledge,
Malaga, Spain, July 31-August 11, 2006.
11th meeting on Formal Grammar,
Malaga, Spain, July 29-30, 2006.
ESSLLI 2006, the 18th European Summer School in
Logic, Language and Information
University of Malaga, Spain, August 2006.
The Eighth
International Workshop on
Coalgebraic
Methods in Computer Science.
Vienna, March 25-27, 2006.
9th meeting on Mathematics of Language 2005 and
10th meeting on Formal Grammar,
Edinburgh,
August 5-7, 2005.
Logic in Computer Science (LICS'2005),
Chicago, June 26-29, 2005.
Workshop on
Psycho-computational Models of Human Language
Acquisition,
associated with COLING 2004.
The
Midwest Computational Linguistics Colloquium,
Indiana University, June 25, 2004,
as part of Syntaxfest.
The Seventh
International Workshop on
Coalgebraic
Methods in Computer Science.
Barcelona, March 27 - 29, 2004.
The Sixth
International Workshops on
Coalgebraic
Methods in Computer Science.
Warsaw, Poland, 5-6 April, 2003.
The
Third Annual Graduate Student Conference in Mathematical Logic,
held at Indiana University, March 2-3, 2002.
The 12th
International Congress for Logic,
Methodology and Philosophy of Science,
Oviedo, Spain, 2003. I was part of the committee for
Section A2, Philosophical Logic.
The Symposium on
Finite-State Methods in Natural Language Analysis,
at the meeting of the
American Association for the Advancement of Science,
Boston, February 2002.
The
International Workshops on
Coalgebraic
Methods in Computer Science.
The 6th
International Workshop on Tree Adjoining Grammar and Related Formalisms
(TAG+6),
May 20-23, 2002, University of Venice,
Italy.
The
4th
biannual workshop on Advances in Modal Logic
(AiML 2002) Toulouse, France,
September 30 - October 2, 2002.
The Symposium on
Mathematical Statistics in
Linguistics and Natural Language Processing,
at the meeting of the
American Association for the Advancement of Science,
San Francisco, February 2001.
There are several organizations
that are important for my work, including
The Association for Symbolic
Logic.
Advances in Modal Logic.
Finally, here are some other mailing lists worth knowing about:
Finall, there's even a
picture.
