logical formalisms
ISWC2013: Final Call for Research, Evaluation and In-Use Papers
Submitted by biem on 19 April 2013 - 5:06amFINAL CALL FOR MAIN CONFERENCE PAPERS
-------------------------------------
The 12th International Semantic Web Conference
and the 1st Australasian Semantic Web Conference
21-25 October 2013, Sydney, Australia
Deadlines approaching: May 1 for research track and evaluation track, May 8 for in-use track
Call for Submissions
The Semantic Web (and Linked Data) has been an active area of research for several years. This 12th edition of the International Semantic Web conference will continue the established tracks of previous conferences in the series.
Research Track
Logical Aspects of Computational Linguistics 2012
Submitted by Denis Bechet on 16 December 2011 - 6:31amDue to popular requests, the deadline for submission has been extended
to Sunday February 12th 2012.
LACL 2012
Logical Aspects of Computational Linguistics
July 2-4, 2012
LINA, Nantes, France
http://lacl.gforge.inria.fr/lacl-2012
http://lacl2012.sciencesconf.org
PRESENTATION
LACL'2012 is the 7th edition of a series of international conferences
on logical and formal methods in computational linguistics. This conference
addresses the use of type theoretic, proof theoretic and
model theoretic methods for describing natural language syntax and
