The Coq mailing list

[Greg Kobele <kobele AT humnet.ucla.edu>]

[***APOLOGIES FOR MULTIPLE POSTINGS***]


CALL FOR PAPERS

NASSLLI 2004 STUDENT SESSION
June 21-25, 2004
UCLA
Deadline: April 12, 2004
http://www.linguistics.ucla.edu/nassllii04/

MEETING DESCRIPTION:

The 3rd North American Summer School on Logic, Language, and 
Information (NASSLLI) will be held June 21-25, 2004. It will again 
feature a Student Session where students can network and get feedback 
on their work -- both from faculty and student attendees. This CFP 
solicits submissions to the student session.  We invite submission of 
anonymous abstracts for a 20-minute presentation plus 10-minute 
discussion. Only one individual or joint abstract per author will be 
accepted. All authors must be students (before receipt of PhD).

 The areas of interest are

Logic -- including work on problems of mathematical or philosophical 
interest
Language -- including descriptive or theoretical work in formal 
linguistics
Language and Logic -- applications of logic to natural language
Language and Computation -- theoretical and empirical work in  
computational linguistics
Logic and Computation -- automated theorem-proving and related  fields
Computation -- artificial intelligence or related areas of  computer 
science

Work integrating several of these areas is of particular interest.

 Requirements

 The Student Session papers should describe original, unpublished work 
that has been completed. However, no previously published papers should 
be submitted.

All authors must be at the pre-doctoral level; submissions co-authored 
by non-students will be discarded.

 Format of Submission

 3 page extended abstracts are to be submitted by email as Adobe 
Portable Document Files (PDF). This file must include a separate 
identification page including the following pieces of information:

 Title: title of the submission
First author: firstname lastname
Address: address of the first author
 ......
 Last author: firstname lastname
Address: address of the last author
Short summary: abstract (5 lines)
Subject area (one or two of): Logic | Language | Computation
Other Conferences Submitted To:

Neither this identification page, nor any bibliography counts towards 
the 3 page requirement.

Since reviewing will be blind, the body of the extended abstract should 
omit author names and addresses. Furthermore, self-references that 
reveal the author's identity (e.g., "We previously showed (Hi-Mom, 
1996)... ") should be avoided. It is possible to use instead references 
like "Hi-Mom (1996) previously showed..."

The PDF of the paper is to be enclosed in an email duplicating the 
information on the identification page. Use US Letter paper and LaTeX 
if possible.

Please email submissions to Greg Kobele <kobele AT humnet.ucla.edu> by 
APRIL 12th 2004.

NASSLLI '04

 At least one author needs to register for NASSLLI '04 in order to be 
in the student session.  One of the authors will give a 20-minute talk 
with up to 10 minutes for discussion.

Dates

 Deadline for submission of 3 page abstracts : April 12th, 2004
 Author notifications : May 1st, 2004
 NASSLLI-2004 Student Session : June 21-25, 2004.

Student Session Reviewers
        •       Roman Barták, Charles University, Prague
        •       Brian Roark, AT&T Labs
        •       John Hale, Michigan State University
        •       Christopher Potts, University of Massachusetts, Amherst
        •       Robert van Rooy, University of Amsterdam
        •       Jason Riggle, University of California, Los Angeles

Please direct any questions about the NASSLI-04 student session to Greg 
Kobele <kobele AT humnet.ucla.edu>