FOM: logic summer school at CSLI

Stephen G Simpson simpson at
Wed Apr 17 09:51:00 EDT 2002

 From: Darko Sarenac <sarenac at>
 Subject: NASSLLI, June 24-30, Stanford, CA
 Date: Tue, 16 Apr 2002 22:49:09 -0700

 Please forward to graduate, advanced undergraduate students and other 
 interested parties. We apologize for multiple postings.


 The first North American Summer School in Logic, Language, and Information


 The eleventh Logic, Language, and Computation Colloquium at CSLI

 June 24-30, 2002
 Stanford University
 Stanford, California, USA


 We are pleased to announce that the first North American Summer School in 
 Logic, Language, and Information (NASSLLI) will take place at Stanford 
 University from the 24th to the 30th of June. It will be followed by the 
 eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the 
 program of which will be integrated with the school.

 The thematic focus of NASSLLI is modeled on that of its European sister 
 event, ESSLLI. As it is customary with schools of this nature, the classes 
 will run from foundational and introductory to advanced. Each lecturer will 
 give a set of five one hour lectures on a topic suitable for a broad 
 audience interested in the interface of logic, language, and computation.

 NASSLLI is ideal for graduate and advanced undergraduate students in 
 linguistics, computer science, philosophy, mathematics and psychology, as 
 well as postdoctoral students, IT professionals, and faculty seeking to 
 extend their knowledge of the field.

 We wish to extend you an invitation to join us here at Stanford between 
 June 24 and June 30, 2002, in order to experience cutting edge research 
 carried out by some of the finest teachers in North America and Europe.

 Our program to date:

 - Martin Abadi (CS, UCSC) [Computer Security]
 - Samson Abramsky (CS, Oxford) [Interactive Models of Logic and Computation]
 - Sergei Artemov (CS, CUNY New York) [Proof Polynomials]
 - Ash Asudeh, Richard Crouch, and  Mary Dalrymple (Stanford and Palo Alto 
 Research Center) [The Syntax-Semantics Interface: Theory and Implementation]
 - Patrick Blackburn (INRIA Lorraine) [Lectures on Hybrid Logic]
 - Craig Boutilier (CS, University of Toronto) [Logical Representational and 
 Computational Methods for Markov Decision Processes]
 - Joan Bresnan (Linguistics, Stanford) [Optimality Theoretic Syntax]
 - Paul Dekker (Philosophy, Amsterdam) [Dynamics, Semantics, Pragmatics]
 - R.E. Jennings (Philosophy, Simon Fraser University) [Logicalization]
 - Ed Keenan and Edward Stabler (Linguistics, UCLA) [Invariants of Natural 
 - Phokion Kolaitis (CS, UCSC) [Constraint Satisfaction, Complexity, and Logic]
 - Larry Moss (Math, Indiana) [Dynamic Epistemic Logic]
 - Marc Pauly and Mike Wooldridge (Liverpool) [Modal Logic and Agents]
 - Fernando C.N. Pereira (Computer and Information Science, UPenn) [Machine 
 Learning in Natural Language Processing]
 - Frank Veltman (Logic & Cognitive Science, Amsterdam) [A Dynamic Approach 
 to Mood and Modality]
 - Dag Westerstahl (Philosophy, Stockholm) and Stanley Peters (Linguistics, 
 Stanford) [Generalized Quantifiers]

 LLC Workshops:

 Workshop on Mathematical Logic
 - G.M. Mints (Stanford) [organizer]
 - Hugh Woodin (UC Berkeley) [Set Theory]
 - Ted Slaman (UC Berkeley) [Fragments of Arithmetic and Logical Aspects of 
 Ramsey's Theorem]
 - Thomas Scanlon (UC Berkeley) [Model Theory]
 - Sol Feferman (Stanford) [Proof Theory]
   Workshop on the Logic of Games
 - Johan van Benthem (Amsterdam) [organizer]
 - Speakers TBA
   Workshop on Model-Theoretic Syntax
 - G.K. Pullum (UCSC) [organizer]
 - Patrick Blackburn (INRIA Lorraine) [topic TBA]
 - Marcus Kracht (Berlin) [topic TBA]
 - Christopher Potts (UCSC) [topic TBA]
 - James Rogers [topic TBA]
   Workshop on Cognition: Formal Models and Experimental Results
 - John Perry (Stanford) [organizer]
 Speakers TBA

 In addition to lectures and workshops, the event will include evening 
 lectures by distinguished researchers, as well as sporting events, party 
 and more.

 There will be a limited number of scholarships awarded to eligible 
 students. We have negotiated student sponsorships with some local 
 departments. Please check with your department for details.

 Please visit for more information.

 On behalf of the organizing committee,

 Darko Sarenac

 Publicity Coordinator

More information about the FOM mailing list