Logic List Mailing Archive

Special Session: Logical Consequence and its combinations (Pune, India, December 2005)

LOGICAL CONSEQUENCE AND ITS COMBINATIONS
December 20-22 2005, Pune, India

http://www.iiconference.org/lcc.html
--------------------------------------------

A special session on "Logical Consequence and its Combinations" will be 
held during the 2nd Indian International Conference on Artificial 
Intelligence (IICAI-05). The session, organized within the scope of the 
FAPESP Thematic Project ConsRel 2004/14107-2, invites papers in *all* areas
 
(theoretical and applied) of combining logics.

Papers of up to 20 pages are welcome. All accepted papers will be published
 
in the conference proceedings.

--------------------------
Deadline for submission:
June 24th 2005 (Friday)
-------------------------

Scientific Committee:
Walter Carnielli, CLE and  IFCH, University of Campinas, BR (Chair)

Carlos Caleiro, CLC, IST, Technical University of Lisbon, PT
Marcelo Coniglio, CLE and  IFCH, University of Campinas, BR
V?ctor L. Fern?ndez, San Juan National University, AR
Marcelo Finger, IME, S?o Paulo University, BR
Dov Gabbay, King's College, London, UK
Joseph Goguen, University of California, San Diego, US
Paulo Mateus, CLC-IST, Technical University of Lisbon, PT
Luca Vigan?, ETH, Zurich, CH