LINGUIST List 15.1246

Sun Apr 18 2004

FYI: NASSLLI04: Call for Participation

Editor for this issue: Anne Clarke <annelinguistlist.org>


Directory

  1. Marcus Kracht, North American Summer School of Logic, Lang and Info 2004

Message 1: North American Summer School of Logic, Lang and Info 2004

Date: Fri, 9 Apr 2004 15:58:06 -0700
From: Marcus Kracht <krachthumnet.ucla.edu>
Subject: North American Summer School of Logic, Lang and Info 2004


			 NASSLLI04

 (North American Summer School of Logic, Lanugage and Information)

 	UCLA, Los Angeles, June 21-25, 2004
	
	http://www.linguistics.ucla.edu/nasslli04/index.html

	 Call for Participation

The mission of the summer school is to foster exchange of ideas across
disciplines in the areas of logic, language, and information. This
year the following courses are offered:

COURSES 

Matthias Baaz (Technical University of Vienna): 
	"The Generalization of Proofs and Calculations"

Roberto Di Cosmo and Delia Kesner (University of Paris 7):
	"Introduction to Linear Logic and Sequent Calculus"
	(to be confirmed)

Tim Fernando (Trinity College, Dublin):
	"Natural Language Semantic Representations as Types"

Hans-Martin Gaertner (ZAS, Berlin):
	"Embedded Root Phenomena: Linguistic, Formal and 
	Philosophical Aspects"

Valentin Goranko (Rand Afrikaans University, Johannesburg): 
	"Temporal Logics of Computations"

Jason Hickey and Aleksey Nogin (California Institute of
	Technology, Pasadena): 
	"Introduction into Formal Computer-Aided Reasoning 
	and the MetaPRL Theorem Prover"

James Higginbotham (University of Southern California, Los Angeles):
	"Speaking of Events"

Gerhard Jaeger (Stanford University and University of Potsdam) and 
	Rob van Rooy (University of Amsterdam): 
	"Language Games and Evolution"

Larry Moss (Indiana University, Bloomington): 
	"Logic, Language and Information"

Carl Pollard (The Ohio State University, Columbus): 
	"Higher Order Grammar"

James Rogers (Earlham College, Richmond): 
	"Formal Foundations of Model-Theoretic Syntax"

Thomas Ede Zimmermann (University of Frankfurt): 
	"Classical Montague Grammar"

REGISTRATION

Visit http://www.linguistics.ucla.edu/nasslli04/index.html for all
details. Basically, all participants need to make their own hotel
reservations. The web site gives you a list of hotels. You may try to
email them, but some only book rooms if you call them.

TRAVEL AND HOTEL INFORMATION

The web site also contains information on how to reach UCLA. The
conference office will be in the linguistics department, the location
of the lecture halls in philosophy (5 mins walk).

For further information feel free to contact us at

Marcus Kracht <krachthumnet.ucla.edu>. 

Marcus Kracht
Department of Linguistics, UCLA
3125 Campbell Hall
PO Box 951543
Los Angeles, CA 90095-1543
krachthumnet.ucla.edu 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue