Logic List Mailing Archive

CfPart LACL 2014

18-20 Jun 2014
Toulouse, France

=======================================================================

LACL 2014
Logical Aspects of Computational Linguistics
                IRIT, Toulouse, France
 		18-20 June 2014
               http://www.irit.fr/LACL2014/

Dear colleagues,
The early registration for LACL 2014 (8th International Conference on
Logical Aspects of Computational Linguistics, June 18-20, Toulouse,
France) is now open until June 4, 23:59 JST.
The conference page is at http://www.irit.fr/LACL2014/
Please register *now* (that is, if you plan to attend) at:
http://www.irit.fr/LACL2014/registration.html
In the program:
- Invited talks by Zhaohui Luo, Michael Moortgat, and Reinhard Muskens:
-  13 regular talks.
-  Some "round table" presentations and discussions
- Proceedings to be published as LNCS 8535
Preliminary program:
Wednesday, 18 June.
9.00 - 10.00 Registration.
10.00 - 11.00 Michael Moortgat. Continuations and derivational ambiguity
(Invited talk)
11.00 - 11.20 Coffee Break
11.20 - 12.00 An ACG View on G-TAG and Its g-Derivation
Laurence Danlos, Aleksandre Maskharashvili, and Sylvain Pogodalla
12.00 - 14.00 Lunch (at IRIT Cafeteria)
14.00 - 14.40 Late Merge as Lowering Movement in Minimalist Grammars
Thomas Graf
14.40 - 15.20. Pseudogapping as Pseudo-VP Ellipsis
Yusuke Kubota and Robert Levine
15.20 - 15.40 Coffee break
15.40 - 16.20 The Granularity of Meaning in Proof-Theoretic Semantics
Nissim Francez
16.20 - 17.00 Generalising Predicate and Argument Invariance
Richard Zuber
================================
Thursday 19 June
09.30 ? 10:10  Representing Anaphora with Dependent Types
Daisuke Bekki
10.10 ? 10.30 Coffee
10.30 - 11.10 An Algebraic Approach to Multiple Context-Free Grammars
Alexander Clark and Ryo Yoshinaka
11.10 - 11.50 An Interpretation of Full Lambek Calculus in Its Variant
without
Empty Antecedents of Sequents
Wojciech Buszkowski
11.50 - 13.30 Lunch
13.30 - 14.30 Reinhard Muskens Combining Frame Semantics and Phrasal
Semantics: A Proposal (Invited Talk)
14:30 Semantically Inactive Multiplicatives and Words as Types
Glyn Morrill and Oriol Valent??n
15.10 - 15.30 Coffee break
15.30 - 17.30 Discussion on LACL topic and its evolution
18:00 Cocktail at IRIT
20.00 Gala Dinner
====================================
Friday 20 June
10 - 11. Zhaohui Luo Formal Semantics in Modern Type Theories:
Is It Model-Theoretic, Proof-Theoretic, or Both? (Invited talk)
11.00 - 11.20 Coffee Break
11.20 - 12.00 Adverbs in a Modern Type Theory
Stergios Chatzikyriakidis
12.00 - 12.40 Monotonicity Reasoning in Formal Semantics Based on Modern
Type
Theories. Georgiana E. Lungu and Zhaohui Luo
12.40 - 14.20 Lunch (at IRIT Cafeteria)
14.20 ? 15.00 On Harmonic CCG and Pregroup Grammars
Annie Foret
14.00 - 15.40. Building PMCFG Parsers as Datalog Program Transformations
Arthur Ball, Pierre Bourreau, ? Emeric Kien, and Sylvain Salvati
15.40 - 16.00 Coffee and closing.

Toulouse in the South West of France is the fourth largest city of
France and a lively university center. Toulouse offers numerous
inexpensive accommodations, including student residences.
The participants are on their own in finding accommodation. There is the
hotel list of the tourist office and a special list for residences. Of
course, there are other ways to find hotels in Toulouse. For scientists
on short visits to Toulouse (e.g., for juries or project meetings), we
typically choose friendly two-star hotels.
LACL 2014 is taking place at IRIT, Paul Sabatier University, close to
the "Université Paul Sabatier" station (metro line B). Hotels in the
city center are close to the metro (line B
stations there:  Compans-Caffarelli, Jeanne d'Arc, Jean Jaures, Francois
Verdier and Carmes).

Fees (early registration):

330 euros (regular), 230 euros (student)

Late registration:

380 euros (regular),  280 euros (student)

Gala dinner: 60 euros.

Thank you again,
LACL 2014 Program Co-Chairs
Nicholas Asher and Sergei Soloviev