12.1329, Confs: Inference in Comp Semantics: ICoS-3, Italy

The LINGUIST Network linguist at linguistlist.org
Tue May 15 16:59:31 UTC 2001 

LINGUIST List:  Vol-12-1329. Tue May 15 2001. ISSN: 1068-4875.

Subject: 12.1329, Confs: Inference in Comp Semantics: ICoS-3, Italy

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, EMU
	Lydia Grebenyova, EMU		Jody Huellmantel, WSU
	James Yuells, WSU		Michael Appleby, EMU
	Marie Klopfenstein, WSU		Ljuba Veselinova, Stockholm U.
		Heather Taylor-Loring, EMU		

Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
          Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.



Editor for this issue: Lydia Grebenyova <lydia at linguistlist.org>
 ==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.


=================================Directory=================================

1)
Date:  Sun, 13 May 2001 09:35:52 -0400
From:  Michael Kohlhase <kohlhase at cs.cmu.edu>
Subject:  Inference in Computational Semantics: ICoS-3 at IJCAR, Italy

-------------------------------- Message 1 -------------------------------

Date:  Sun, 13 May 2001 09:35:52 -0400
From:  Michael Kohlhase <kohlhase at cs.cmu.edu>
Subject:  Inference in Computational Semantics: ICoS-3 at IJCAR, Italy

                  * CALL FOR PARTICIPATION *

                     third workshop on

              INFERENCE IN COMPUTATIONAL SEMANTICS

                            ICoS-3

                Siena, Italy, June 18-19, 2001

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



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-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 automated reasoning community.

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

DATES
- ---

     Early Registration until: May 15, 2001.
     ICoS-3 Workshop: June 18-19, 2001.
     IJCAR: June 18-23, 2001

TENTATIVE PROGRAM
- ----------------
The following program is subject to change. For up to date
information, see:

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

Monday, June 18
- -------------

9:00 - 9:15    Opening;                                The organizers
9:15 - 10:15   Invited Talk: TBA;                      Ian Pratt-Hartmann;
10:15 - 10:30  Discussion
10:30 - 11:00  Coffee/Tea Break
11:00 - 12:30  Tutorial: Automated Reasoning for
                         Computational Semanticists    Uli Furbach
12:30 - 14:00  Lunch (included in ICoS-3 Reg.)
14:00 - 14:30  Relevant Answers to WH Questions        Allan Ramsay &
                                                       Helen Gaylard
14:30 - 15:00  Model Checking for Contextual
               Reasoning in NLG                        Kristina Striegnitz
15:00 - 15:30  Analyzing the Core of Categorial        Carlos Areces &
               Grammar                                 Raffaella Bernardi
15:30 - 16:00  Coffee/Tea Break
16:00 - 16:15  Semantics of Natural Language
               Expressions and Inference Verification  Ales Horak &
               in TIL                                  Leo Hadacz
16:15 - 16:30  Quasi-NL Knowledge Representation for   Jana Sukkarieh
               Structurally-Based Inferences

16:30 - 16:45  System Description: DORIS 2001          Johan Bos
16:45 - 17:00  Financial advisor: technique of         Boris Galitsky
               semantic headers
17:00 - 18:30  Discussion, System Demonstrations
20:00 - ??:??  ICoS-3 Dinner

Tuesday, June 19
- --------------

9:00 - 9:15    Opening                                 The organizers
9:15 - 10:15   Invited Talk: TBA                       Alexander Koller
10:15 - 10:30  Discussion
10:30 - 11:00  Coffee/Tea Break
11:00 - 12:30  Tutorial: Linguistics for Automaters    Claire Gardent
                         of  Reasoning
12:30 - 14:00  Lunch (included in ICoS-3 registration)
14:00 - 14:30  Dialogue Systems as Proof Editors       Aarne Ranta &
                                                       Robin Cooper
14:30 - 15:00  The Color of Semantic Opposition        Sandiway Fong
               in Wordnet
15:00 - 15:30  Reasoning without Believing:            Manfred Kerber &
               Mechanizing Presuppositions             Michael Kohlhase
               and Partiality
15:30 - 16:00  Coffee/Tea Break
16:00 - 17:00  Light-Weight Subsumption Checking       Christof Monz &
               for Computational Semantics             Maarten de Rijke
16:30 - 17:30  Invited Talk: Natural Languages are     David Israel
                             Programming Languages
                             for  Minds: Some
                             (Further) Thoughts

17:30 - 18:30  Panel Discussion

REGISTRATIION
- -----------
In a nutshell, there are two registration options:

 - ICoS only:  covers all of the ICoS-3 workshop including the tutorials
               and the IJCAR opening reception, this is 260 Euro (early)
               and 335 Euro (late).

 - with IJCAR: you register for IJCAR and add on ICoS as a workshop
               (65 Euro).

Registration is handled by IJCAR at
http://www.dii.unisi.it/~ijcar/Logistics/registration.html

FURTHER INFORMATION
- -----------------
If you have any questions, please contact the Program Chairs
Patrick Blackburn and Michael Kohlhase via icos3 at ags.uni-sb.de.

For further information concerning ICoS-3 please consult
    http://www.cs.cmu.edu/~kohlhase/event/icos3/


---------------------------------------------------------------------------
LINGUIST List: Vol-12-1329

More information about the LINGUIST mailing list