[FOM] Call for submissions to CL&C'16 Classical Logic and Computation

[Ulrich Kohlenbach]

Call for submissions to

"Sixth International Workshop on Classical Logic and Computation
June, 23, 2016 Porto - Portugal"

CL&C'16 is part of FSCD 2016, which is the former TLCA + RTA.

Details: http://www.di.unito.it/~stefano/CL&C/CL&C16.htm

Important dates:
Paper submission (NEW DEADLINE): March, 7 2016.
Notification: May, 2 2016 .
Final version due: May, 25, 2016.
Workshop date: June 23, 2016.

Scope

CL&C'16 is the sixth of a conference series on "Classical Logic and 
Computation". It intends to cover all work aiming to explore computational 
aspects of classical logic and mathematics.


Invited Speaker
Marc Bezem - University of Bergen

Submission and Publication

CL&C recognizes two kinds of papers, full (accepted) papers and short papers. 
Submissions of full papers will be refereed at normal standards. Participants 
are encouraged to present work in progress, overviews of more extensive work, 
and programmatic/position papers, as well as completed projects. We therefore 
ask for submissions of both short abstracts and of longer papers.

Ulrich Kohlenbach (PC Chair)