I'm the director of the Program in Pure and Applied Logic. I'm a professor in the Mathematics Department, and an adjunct professor in Computer Science, in Linguistics, in Philosophy, and also in the School of Informatics. I'm a member of the Cognitive Science Program and am part of the faculty in Computational Linguistics, and a participant in the Middle East Conflict & Reform Group, and the Programming Languages Wonks Group. I'm proud of all these affiliations.

• Andrew Dabrowski, Mathematics, 1995.
  Set Theoretic Representations of Form Systems and Elementary Universes.
  Address: Indiana University Mathematics Department.
• Hans-Joerg Tiede, Linguistics and Cognitive Science, 1999.
  Deductive Systems and Grammars: Proofs as Grammatical Structures.
  Address: Department of Mathematics and Computer Science, Illinois Wesleyan University.
• Maricarmen Martinez, Cognitive Science and Mathematics, 2004.
  Logic and Inference in State Spaces.
  Address: Departamento de Matemáticas, Universidad de los Andes, Bogota, Colombia.
• Jay Mersch, Mathematics, 2004.
  Equational Logic of Recursive Program Schemes.
  Address: Math Department, Northwestern State University, Natchitoches, Louisiana.
• Lei Qian, Computer Science and Mathematics, 2004.
  Message Dependence and Formal Verification of Authentication Protocols.
  Address: Computer Science Department, Fisk University, Tennessee.
• Yuko Murakami, Philosophy, 2005.
  Modal Logic of Partitions.
  Addresses: Division for International Research and Educational Cooperation, Graduate School of Science, Tohoku University, Japan.
• Ignacio Viglizzo, Mathematics, 2005.
  Coalgebras on Measurable Spaces.
  Address: Departamento de Matematica, Universidad Nacional de Sur, Argentina.
• Seunghwan Lee, Cognitive Science and Mathematics, 2006.
  Probabilistic Reasoning on Metric Spaces.
  Address: Hedge Fund of Fidelity, Boston.
• Joshua Sack, Mathematics, 2007.
  Adding Temporal Logic to Dynamic Epistemic Logic.
• Chunlai Zhou, Mathematics, 2007.
  A Complete Deductive Probabilistic Logic with Applications to Harsanyi Type Spaces.

  ---

• Saleh Aliyari, Mathematics.
  Thesis topics: canonical modal logics and canonical varieties of modal algebras, coalgebras of the Vietoris functor on Stone spaces.
  
• Jiho Kim, Mathematics.

• The Journal of Logic, Language and Information.

• The Notre Dame Journal of Formal Logic
• Research on Language and Computation
• Grammars
• The Annals of Mathematics, Computing and Teleinformatics
• Logical Methods in Computer Science
• Logic and Logical Philosophy

and on the advisory board of

• The Review of Symbolic Logic

Conferences that I have been involved with in some way, since 2000:

• 3rd Indian Conference on Logic and its Applications (ICLA) Conference, to be held at the Institute of Mathematical Sciences, Chennai, 7-11 Jan 2009.
• Advances in Modal Logic (AiML), to be held at LORIA, Nancy, France, 9 - 12 September 2008.
• 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), to be held in Urbana, Illinois, USA, 28-31 July 2008.
• Fourth MATHLOGAPS Training Workshop, Manchester, UK, 7-10 July 2008. I'll be teaching a course on coalgebra and circularity.
• 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), to be held in Budapest, April 4-5, 2008.
• 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.

• Model-Theoretic Syntax at 10, organized as part of ESSLLI 2007, 13 - 17 August 2007.
• Workshop on Coalgebraic Logic, organized as part of TANCL 2007, 10-12 August 2007.
• Mathematics of Language (MoL) 10 , UCLA, July 28-30, 2007.
• International Colloquium on Automata, Languages and Programming, ICALP 2007, Wroclaw (Poland), July 9-14, 2007.
• Order, Algebra, and Logic, Vanderbilt University, June 12-16, 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.
• 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.
• 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, šKuressaare, Estonia, 5-8 July 2006
• 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 M?laga, Spain, August 2006.
• The Infinity Symposium, Amsterdam, March 21-22, 2006.
• The Eighth International Workshop on Coalgebraic Methods in Computer Science. Vienna, March 25-27, 2006.
• The Fifteenth Amsterdam Colloquium, December 19 - 21, 2005.
• Algebra and Coalgebra in Computer Science (CALCO), University of Wales, Swansea, from September 3-6, 2005.
• 9th meeting on Mathematics of Language 2005 and 10th meeting on Formal Grammar, Edinburgh, August 5-7, 2005.
• The 5th Panhellenic Logic Symposium, July 25-28, 2005. PLS5 was dedicated to Y.N. Moschovakis.
• Workshop on Proof Theory at the Syntax/Semantics Interface, part of the Linguistic Society of America Summer Institute, July 8-10, 2005, Cambridge, MA.
• Logic in Computer Science (LICS'2005), Chicago, June 26-29, 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.
• 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.
• NASSLLI 2004, held at UCLA in June 2004.
• The Seventh International Workshop on Coalgebraic Methods in Computer Science. Barcelona, March 27 - 29, 2004.
• The North American Summer School in Logic, Language, and Information, NASSLLI'03. Indiana University, Bloomington, June 2003.
• 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 First North American Summer School in Logic, Language, and Information, Stanford University, June 24-30, 2002.
• 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.
• Formal Grammars/ Mathematics of Language, Helsinki, August 2001.
• Association for Symbolic Logic/American Philosophical Association Meeting, Minneapolis, May 2001.
• Mid Atlantic Mathematical Logic Seminar, Washington DC, April 2001.
• 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.
• The Fourth Workshop on Games in Logic, Language and Computation, Groningen, November 2000.

• FoLLI, the European Association for Logic, Language and Information.
• The Association for the Mathematics of Language, of which I am a past president.
• The Association for Symbolic Logic.
• Advances in Modal Logic.

Finally, here are some other mailing lists worth knowing about:

• IEEE Symposium on Logic in Computer Science.
• Colibri, an electronic newsletter for people interested in the fields of language, speech, logic and information.