LINGUIST List 12.771

Tue Mar 20 2001

Calls: History/Lang Sciences, Computational Semantics

Editor for this issue: Jody Huellmantel <jodylinguistlist.org>

Directory

1. German-English Language Services, History of the Language Sciences (NAAHoLS)
2. Michael Kohlhase, Inference in Computational Semantics (ICoS-3) EXTENDED DEADLINE

North American Association for the
 History of the Language Sciences (NAAHoLS)

CALL FOR PAPERS
NAAHoLS AT LSA

SAN FRANCISCO, JANUARY 3-6, 2002

We invite papers relating to any aspect of the history of the language 
sciences for our annual meeting, to be held in conjunction with the 
annual meeting of the Linguistic Society of America. Papers presented at 
recent meetings included: Humanism and linguistics (Mark Amsler); The 
Brazilian connection in the history of North American Linguistics 
(Cristina Altman), Leonard Bloomfield's contributions to linguistics in 
the United States (John Fought); Chinese and its dialects in western 
eyes: one language or many? (Chris Hutton); Origins of morphophonemics 
(E. F. K. Koerner); Language and knowledge in early modern philosophy 
(Danilo Marcondes); Syntactic concepts and terminology in 
mid-20th-century American linguistics (James McCawley); Philosophical 
language and the reform of higher education in 17th-century England 
(Joseph Subbiondo); Why the accusative is called accusative (Daniel 
Taylor); The significance of Babel in western conceptualization of 
second language learning (Margaret Thomas).

All presenters must be members of the association (see below for details 
on membership). Papers will be 20 minutes, with 10 minutes for 
discussion. Abstracts may be submitted as hard copies or as file 
attachments (MS Word only). The length of an abstract should not exceed 
200 words. Do not use smaller than 12-point type for the abstracts. The 
deadline for abstracts is 1 September, 2001. Send your abstract to: 
Michael Mackert, Secretary, NAAHoLS, German-English Language Services, 
445 Madigan Avenue, Morgantown WV 26501-6426, USA, Fax: (775) 418-4206,
E-mail: gels.llcmichaelangelo.net.

- -----------------------------------------------------------------------=
- -----

NAAHoLS 2001 DUES=20
Yearly Membership: $10 (US) / Lifetime Membership: $100 (US)

PLEASE MAKE YOUR CHECK OUT TO "NAAHoLS" and SEND IT TO: Talbot Taylor, 
Department of English, College of William and Mary, Williamsburg, VA 
23187-8795.

MEMBERS FROM OUTSIDE THE UNITED STATES: Our treasurer regrets that we 
are no longer able to accept checks written in currencies other than US 
Dollars. The cost of bank exchange is more than the cost of membership. 
 We ask that those members send a check written on a US bank or pay 
their dues by some other means that arrives in US Dollars. We regret 
this inconvenience forced upon us by intransigent banks.

NAME:		 	
ADDRESS: 
 
 
TELEPHONE:

E-MAIL:

 **** DEADLINE EXTENSION ****

 * CALL FOR PAPERS *
 * CALL FOR PAPERS *

 third workshop on

 INFERENCE IN COMPUTATIONAL SEMANTICS

 ICoS-3


 Siena, Italy, June 18-20, 2001

 http://www.cs.cmu.edu/~kohlhase/event/icos3/

 (NEW SUBMISION DEADLINE: April 2, 2001)




ABOUT ICoS
- --------

Traditional inference tools (such as theorem provers and model
builders) are reaching new levels of sophistication and are now widely
and easily available. A wide variety of new tools (statistical and
probabilistic methods, ideas from the machine learning community) are
likely to be increasingly applied in computational semantics. Most
importantly of all, computational semantics seems to have reached the
stage where the exploration and development of inference is one of its
most pressing tasks - and there's a lot of interesting new work which
takes inferential issues seriously.

The Workshop on Inference in Computational Semantics (ICoS) intends to
bring researchers from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science, and Logic together, in
order to discuss approaches and applications of Inference in natural
language semantics.

ICoS-1 took place in Amsterdam on August 15, 1999 with an attendance
of over 50 researchers. A selection of the papers presented at ICoS-1
has been published in a special issue of the Journal of Language and
Computation.

ICoS-2 took place in Dagstuhl Castle, Germany, on July 29-30,
2000. Although the attendance was only 30, it was an intense and
communicative meeting. A selection of the papers presented at ICoS-2
will be published in the Journal of Language and Computation.

ICoS-3 will be co-located with the the International Joint Conference
on Automated Reasoning (IJCAR 2001, which takes place June 18-23, 2001
at Siena, Italy. IJCAR is a joint meeting of all major conferences on
automated theorem proving (CADE, FTP, TABLEAUX), and is therefore a
good chance to meet the theorem proving community.

ICoS-3 is endorsed by SIGSEM, the Association for Computational
Linguistics (ACL) Special Interest Group (SIG) on computational
semantics.


DATES
- ---
People who would like to submit a paper, system descriptions or who
would like to attend the workshop should consider the following dates:

 New Submission Deadline: April 2, 2001. 
 ICoS-3 Tutorials June 18, 2001. 
 ICoS-3 Workshop: June 19-20, 2001. 
 IJCAR: June 18-23, 2001 

INVITED SPEAKERS
- --------------

The invited speakers at ICoS-3 are:

 David Israel (SRI International)

 Alexander Koller (Saarbruecken) 

 Ian Pratt-Hartmann (Manchester)


Tutorials
- -------

We will start off the workshop with two tutorials on June 18. This
gives the researchers from automated reasoning and computational
semantics respectively to get an understanding of the other field
before the actual workshop. The tutorials will given by

 Claire Gardent (CNRS, Nancy): Computational Semantics 
 for automated reasoners

 Uli Furbach (Univ. Koblenz): Automated Reasoning 
 for computational semanticists 
	


PROGRAM COMMITTEE
- ---------------

The program committee for ICoS-3 consists of the following people:

 Patrick Blackburn, INRIA Lorraine (co-chair) 
 Michael Kohlhase, Carnegie-Mellon University (co-chair) 

 Johan Bos, Edinburgh 
 Peter Baumgartner, Koblenz 
 David Beaver, Stanford 
 Dick Crouch, Xerox Parc 
 Maarten de Rijke, Amsterdam 
 Nissim Francez, Haifa
 Udo Hahn, Freiburg 
 Gerard Huet, INRIA Rocquencourt 
 Dale Miller, State College 
 Martha Palmer, UPenn 
 Stephen Pulman, Oxford 
 Matthew Stone, Rutgers Univ 
 Jun-ichi Tsuji, Tokyo 
 Bonnie Webber, Edinburgh 


SUBMISSIONS
- ---------

We invite three kinds of submissions 
(LaTeX2e, 11pt, one column, a4paper (not a4wide.sty)):

 - research papers on inference methods in computational semantics as well
 as their applications (15 pages), 
 - system descriptions (6 pages), System descriptions should focus on
 actual implementations, explaining system architecture issues and
 specific implementation techniques. Every system description should be 
 accompanied by a system demo at ICoS-3.
 - system demos (2 page abstracts): People who would like demonstrate
 systems that address inference in computational semantics should send 
 two-page abstracts.

Research papers and system descriptions will be peer-refereed by the
programme committee above, system demos are only screened for
appropriateness by the program chairs. 

SUBMISSION DEADLINE: APRIL 2, 2001. 

The primary means of submission will be electronic, in PostScript
format. Submissions should be sent to the organizers.icos3ags.uni-sb.de

In addition to the (informal) workshop proceedings, we plan to publish
a special issue of the Journal of Language and Computation devoted to
ICoS-3. Shortly after the workshop, authors will be contacted by the
editors for special issue, inviting them to contribute; we may ask you
to incorporate comments/discussions/... arising during ICoS-3 into
your paper. Details on the publication schedule for the special issue
as well as formatting instructions will be announced at the workshop.
Registration and Further Information If you have any questions, please
contact the local organizers at icos3ags.uni-sb.de.

FURTHER INFORMATION
- -----------------
If you have any questions, please contact the local organizers 
Patrick Blackburn and Michael Kohlhase via icos3ags.uni-sb.de.

For actual information concerning ICoS-3 please consult

 http://www.cs.cmu.edu/~kohlhase/event/icos3/