Logic List Mailing Archive

Special Session on "Logic and its Applications" at PReMI'11, Moscow (Russia), 27 June to 1 July 2011

SPECIAL SESSION ON ''LOGIC AND ITS APPLICATIONS''
PReMI'11
4th International Conference on Pattern Recognition and Machine Intelligence

June 27 - July 1, 2011
Organized by Higher School of Economics (HSE), Moscow, Russia
in collaboration with
Machine Intelligence Unit, Indian Statistical Institute (ISI), Kolkata,India
URL: http://www.hse.ru/org/hse/premi11

Co-located & Concurrently with
13th International Conference on Rough Sets, Fuzzy Sets, Data
Mining and Granular Computing (RSFDGrC?2011) (June 25 ? 27, 2011,
Higher School of Economics, Moscow, Russia)

CALL FOR PAPERS

Objective:

The primary goal of the conference is to present state-of-the-art scientific 
results, encourage academic and industrial interaction, and promote 
collaborative research activities in Pattern Recognition, Machine Intelligence 
and related fields, involving scientists, engineers, professionals, researchers 
and students. This is the first time, when the conference, which started in 
India in 2005 and was held every two years, is being organized outside India 
and in Eastern Europe to make it an ideal platform for researchers from East 
and West to share their views and experiences in the said areas.

This year the conference committee has decided to organize a special 
session on 'Logic and its applications' to foster the ever growing 
interaction between the mathematicians, philosophers, logicians and the 
application oriented communities in machine intelligence and related 
fields.

Submission:

Authors are invited to submit papers presenting original and unpublished 
research in any area of logic and applications. Articles on mathematical 
and philosophical logic, use of formal logic in areas of theoretical 
computer science, cognitive science, artificial intelligence, machine 
intelligence or on the relationship between logic and other branches of 
knowledge, are welcome.

Submissions must be made online through Easychair following the submission 
link: www.easychair.org/conferences/?conf=premi11 with a note that it is 
for the special session on 'Logic and its Applications'. Papers should be 
four to six A4 pages (including figures and tables) complete with authors? 
affiliations. If necessary, detailed proofs of technical results can be 
included in a clearly marked appendix. Manuscripts must be prepared with 
LaTex2e (use Springer class file llncs2e.zip). See authors? instruction in 
http://www.springer.de/comp/lncs/authors.html.

All accepted papers would be included in the conference proceedings to be 
published by Springer-Verlag in its LNCS/LNAI series. For an accepted 
paper to be included in the proceedings, one of the authors must commit to 
presenting the paper at the conference.


Important Dates:

**********************************************************************************
Full Paper Submission : February 20, 2011

Acceptance Notification : March 10, 2011

Camera ready Submission : March 20, 2011
**********************************************************************************

Session Organizers:

Mihir Chakraborty (Indian Statistical Institute and Jadavpur University)
Sujata Ghosh (University of Groningen)