[PT] SAT 2012: Final Call for Papers

      [ We apologize if you receive multiple copies of this CFP. ]

-------------------------------------------------------------------------
                  15th International Conference on 
        THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 
                        --- SAT 2012 ---

                 Trento, Italy, June 17-20th, 2012
                      http://sat2012.fbk.eu/
-------------------------------------------------------------------------

AIM and SCOPE
=============

The International Conference on Theory and Applications of
Satisfiability Testing (SAT) is the primary annual meeting for
researchers studying the propositional satisfiability
problem. Importantly, here SAT is interpreted in a rather broad sense:
besides plain propositional satisfiability, it includes the domains of
MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean
Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraints
Programming (CSP) techniques for word-level problems and their
propositional encoding.

To this extent, many hard combinatorial problems can be encoded as SAT
instances, in the broad sense mentioned above, including problems that
arise in hardware and software verification, AI planning and
scheduling, OR resource allocation, etc. The theoretical and practical
advances in SAT research over the past twenty years have contributed
to making SAT technology an indispensable tool in these domains.

[PT] TABLEAUX call for bids

The Tableaux Steering Committee is now calling for bids to host
TABLEAUX 2013: the International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods.

The deadline for submissions is Sunday April 2nd.

The bid should be submitted as a pdf file to rajeev.gore@... by
the due date above.

A bid should cover at least the following aspects:

      - contact person: name and email address
      - names of other people involved
      - experience, if any, of organising previous similar events
      - planned venue
      - approximate dates of the conference
      - plans, if any, for co-location with other meetings,
        conferences and/or workshops
      - any relevant plans for social events: excursion...
      - a list of some advantages of the proposed venue: eg, near
        transportation hub, dorms available for accommodation, strong
        local tradition in computational logic etc
      - if possible, a preliminary web page for the conference
      - a list of potential sponsors.

The Tableaux Steering Committee will decide which bid to accept and
announce a decision as soon as possible after the deadline, and
certainly by IJCAR 2012 to be held from June 26-29 2012 in Manchester
UK.

[PT] CFP: AiML 2012

AiML-2012:  FINAL CALL FOR PAPERS

9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
COPENHAGEN, 22-25 AUGUST, 2012

          http://hylocore.ruc.dk/aiml2012.html

Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based on
the conferences. Information about the AiML series can be obtained at
http://www.aiml.net. AiML-2012 is the ninth conference in the series.

TOPICS
We invite submission on all aspects of modal logic, including:

- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic (complexity and decidability of 
     modal and temporal logics, modal and temporal logic programming, 
     model checking, model generation, theorem proving for modal logics)
- theoretical aspects of modal logic (algebraic/categorical perspectives 
     on modal logic, coalgebraic modal logic, completeness and canonicity,
     correspondence and duality theory, many-dimensional modal logics, 
     modal fixed point logics, model theory of modal logic, proof theory 
     of modal logic)
- specific instances and variations of modal logic (description logics,
     modal logics over non-boolean bases, dynamic logics and other process 
     logics, epistemic and deontic logics, modal logics for agent-based 

[PT] AiML-2012: FINAL CALL FOR PAPERS (from Thomas Bolander)

AiML-2012:  FINAL CALL FOR PAPERS9-TH 
INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL 
LOGICCOPENHAGEN, 22-25 AUGUST, 2012  
http://hylocore.ruc.dk/aiml2012.htmlAdvances in 
Modal Logic is an initiative aimed at 
presentingthe state of the art in modal logic 
and its various applications. Theinitiative 
consists of a conference series together with 
volumes based onthe conferences. Information 
about the AiML series can be obtained 
athttp://www.aiml.net. AiML-2012 is the ninth 
conference in the series.TOPICSWe invite 
submission on all aspects of modal logic, 
including:- history of modal logic- philosophy 
of modal logic- applications of modal logic- 
computational aspects of modal logic (complexity 
and decidability of      modal and temporal 
logics, modal and temporal logic programming,  
model checking, model generation, theorem proving 
for modal logics)- theoretical aspects of modal 
logic (algebraic/categorical perspectives  
on modal logic, coalgebraic modal logic, 
completeness and canonicity,     correspondence 
and duality theory, many-dimensional modal 
logics,      modal fixed point logics, model 
theory of modal logic, proof theory      of 
modal logic)- specific instances and variations 
of modal logic (description logics,     modal 
logics over non-boolean bases, dynamic logics and 

[PT] Call for Papers - First IFCoLog-CIE Student Session

Call for Papers

First IFCoLog-CIE Student Session

18-23 June 2012, University of Cambridge.

In conjunction with CiE 2012, 
TURING CENTENARY CONFERENCE – How the World Computes
===================================================================

Important Dates
---------------
    * 11 May 2012: Submission deadline
    * 31 May 2012: Author notification
    * 18-23 June 2012: Student Sessions

The contributions and program will be available online before the event.

Scope
-----
The CiE-IFCoLog student sessions is an initiative to encourage
undergraduate and master students to present their research projects at
high profile computer science events, and offer a good opportunity for
undergraduate and masters students to interact with more senior
researchers. In 2012 CiE is celebrating the life achievements of Alan
Turing and we believe that being involved in this event, will be an
exciting opportunity for young people contemplating a research career.

Topics
------

[PT] 2nd CfP: ESSLLI 2012 Student Session

[PT] DICE 2012 - Call for Presentations

===============================================================
CALL FOR ABSTRACTS/PRESENTATIONS
DICE 2012
3rd Workshop on Developments in Implicit Complexity
Tallinn (Estonia), March 31st and April 1st, 2012

(Affiliated with ETAPS 2012)

http://dice2012.cs.unibo.it/
===============================================================

SCOPE

The area of Implicit Computational Complexity (ICC) has grown out
from several proposals to use logic and formal methods to provide
languages for complexity-bounded computation (e.g. polytime or
logspace computation). It aims at studying computational
complexity without referring to external measuring conditions or
a particular machine model, but only by considering language
restrictions or logical principles implying complexity properties.
This workshop focuses on ICC methods related to programs (rather
than descriptive methods). In this approach one relates complexity
classes to restrictions on programming paradigms (functional
programs, lambda calculi, rewriting systems), such as ramified
recurrence, weak polymorphic types, linear logic and linear types,
and interpretative measures. The two main objectives of this area
are:
• to find natural implicit characterizations of various complexity
classes of functions, thereby illuminating their nature and
importance;
• to design methods suitable for static verification of program
complexity.

Therefore ICC is related on the one hand to the study of complexity
classes, and on the other hand to static program analysis. The
workshop will be open to contributions on various aspects of ICC
including (but not exclusively):
• types for controlling complexity,
• logical systems for implicit computational complexity,
• linear logic,
• semantics of complexity-bounded computation,
• rewriting and termination orderings,
• interpretation-based methods for implicit complexity,
• programming languages for complexity-bounded computation,
• certification of complexity properties of programs,
• application of implicit complexity to other programming paradigms
(e.g. imperative or object-oriented languages).

The first two DICE workshops were held in 2010 in Cyprus and in 2011
in Germany, both as part of ETAPS conferences. Before that, several
meetings on this topic had already been held with success in Paris
(WICC 2008), and Marseille (GEOCAL 2006 workshop on Implicit
computational complexity).
_______________________________________________________________

SUBMISSION

Extended abstracts for presentations of up to 3 pages.

The following deadlines are strict:

• Submission (extended abstracts): February 18th, 2012;
• Notification (extended abstracts): February 28th, 2012.

Abstracts must be submitted electronically, as pdf files, at the
following page:
https://www.easychair.org/conferences/?conf=dice2012.
_______________________________________________________________

PROGRAM COMMITTEE

• Guillaume Bonfante (Nancy)
• Ugo Dal Lago (Bologna, chair)
• Marco Gaboardi (Bologna and UPenn)
• Nao Hirokawa (JAIST)
• Martin Hofmann (Munchen)
• Olivier Laurent (ENS Lyon)
• Jean-Yves Moyen (Paris Nord)
• Isabel Oitavem (Lisboa)
• German Puebla (Madrid)
• Simona Ronchi Della Rocca (Torino)
_______________________________________________________________

[PT] PostDoc available at LIX, Ecole Polytechnique, France

[PT] 3rd CfP: Trivalent Logics and their applications (deadline March 2, 2012)

Third Call for papers
------------------------

(Please distribute - Apologies for multiple sendings)

***TRIVALENT LOGICS AND THEIR APPLICATIONS***

ESSLLI 2012 - Opole, Poland - August 13-17, 2012

-----------------------------
Workshop description
-----------------------------

Trivalent logics have been an object of extensive study since at least
the work of Lukasiewicz, with applications to a wide range of natural
language phenomena, including presupposition, conditionals and
vagueness. While many-valued logics can be studied on their own, there
has been a regain of interest for three-valued logics in recent years,
with the emergence of new perspectives regarding their applicability
to natural language.

In the theory of presupposition projection, in particular, the
question of whether the projection of presupposition can be dealt with
by means of a trivalent truth-functional semantics has been the object
of renewed attention, in particular because truth-functional trivalent
approaches appear as a main competitor to both dynamic and pragmatic
approaches (viz. Beaver and Krahmer 2001, George 2008, Fox 2008, all
of them giving special attention to so-called middle-Kleene logic
proposed by Peters, and the recent debates with Schlenker). In the
area of vagueness, ways have been proposed to combine the canonical
paracomplete and paraconsistent three-valued logics of Kleene and
Priest in order to deal with the paradoxes of vagueness, and to
account for phenomena such as meaning coarsening and strengthening
(viz. Avron et Konikowska 2008, Cobreros et al. 2010). In the
literature on conditionals, finally, the question remains largely open
of the selection between a wide range of candidates for the definition
of a suitable three-valued conditional (viz. Bradley 2002, Cantwell
2008, Huitink 2009, Rothschild 2009). From a more foundational point
of view, finally, the meaning attached to the third truth value can
vary significantly depending on the problem under consideration and
the definition of logical consequence considered to be relevant.

The aim of this workshop is to solicit new contributions for the
extension of two-valued logic with a third truth-value. Submissions
are encouraged on logical and linguistics aspects of the use of
3-valued logics, with relevance on the following topics:

- applications of trivalent logic to quantification in natural language
- trivalent logics for conditionals / vagueness / presupposition
- are vagueness and presupposition susceptible of a unified treatment
in trivalent logic?
- logical consequence and proof-theory for three-valued logic
- unification and classification of 3-valued logics
- connection between 3-valued logics and other non-classical logics
- partial 2-valued logics vs. 3-valued logics
- do we need more than three truth-values? can we dispense with a
third truth value?

----------------------
Invited speakers
----------------------

Arnon Avron
Janneke Huitink
Grzegorz Malinowski

--------------------------
Submission details
--------------------------

Submission should be made via the workshop website:
http://paulegre.free.fr/TrivalentESSLLI/index.html

or directly on Easychair:
https://www.easychair.org/conferences/?conf=trivalent2012

Please send your submission in PDF format, at most 10 pages. The
recommended submission style is LNCS style, 10 pts, bibliography
included
(see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
If needed due to space reasons, technical material such as proofs may
be added in an appendix of at most 5 pages.

We are working to arrange for a special journal issue to publish
revised and extended versions of the best conference papers.

All participants will have to register to ESSLLI.

---------------------------------
Important Dates
---------------------------------

Deadline for Submission: March 2, 2012
Author Notification: April 15, 2012
Inclusion in ESSLLI Proceedings: June 1, 2012
Workshop in Opole: August 13, 17, 2012

------------------------------
Program committee
------------------------------

Arnon Avron
Pablo Cobreros
Paul Egré (co-chair)
Janneke Huitink
Grzegorz Malinowski
David Ripley (co-chair)
Robert van Rooij

--------------
Sponsors
--------------

Project 'Borderlineness and Tolerance' (FFI2010-16984, directed by P.
Cobreros) funded by the Ministerio de Ciencia e Innovación, Government
of Spain

European Research Council (FP7/2007-2013) / ERC Advanced Grant
agreement n°229 441-CCC (CPR project, directed by F. Recanati)

EURYI project "Presupposition: A formal pragmatic approach" hosted by
Institut Jean-Nicod (directed by P. Schlenker)

The workshop is organized as part of the 24th edition of the European
Summer School in Logic, Language and Information

------------------------------
Website and Contact
------------------------------

http://paulegre.free.fr/TrivalentESSLLI/index.html

[PT] CFP: 8th Scandinavian Logic Symposium

8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK

First Announcement and Call for Papers

The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner, Denmark, 20-21
August 2012.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The
Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS, 
http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark.

As with previous editions of this conference, the aim of the programme is to reflect current 
activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic 
countries and Northwestern Russia will take the opportunity to contribute a talk and to meet
with fellow logicians from the area. But needless to say, we also extend a warm welcome to 
logicians from further afield and plan to present a varied and interesting collection of invited and 
contributed talks.

Related events:

A post-SLS tutorial day will be organized on August 22

Also note that Advances in Modal Logic (AiML) will be held on 22-25
August 2012, Copenhagen, Denmark. URL: http://hylocore.ruc.dk/aiml2012/ .

TOPICS

The scope of SLS 2012 is broad, ranging over the whole area of
mathematical and philosophical logic, and logical methods in computer science. Suitable topics 
include (but are not limited to) Proof Theory and Constructivism, Model Theory (including Finite 
Model Theory), Set Theory, Computability Theory, Categorical Logic, Logic and Provability, 
Logic and Computer Science, Logic and Linguistics, Modal, Hybrid, Temporal and Description 
Logic, Logics of Games, Dynamics and Interaction, and Philosophical Logic.

PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA:

7th Scandinavian Logic Symposium: Uppsala in 1996 
6th Scandinavian Logic Symposium: Telemark in 1982 
5th Scandinavian Logic Symposium: Aalborg in 1979 
4th Scandinavian Logic Symposium: Jyväskylä in 1976 
3rd Scandinavian Logic Symposium: Uppsala in 1973 
2nd Scandinavian Logic Symposium: Oslo in 1971
1st Scandinavian Logic Symposium: Åbo in 1968

The proceedings of several of these meetings have been published in book form.

INVITED SPEAKERS

To be announced

PROGRAM COMMITTEE

Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)

Members:
Torben Brauner (Roskilde) 
Peter Dybjer (Chalmers) 
Lars Kristiansen (Oslo) 
Øystein Linnebo (Birkbeck) 
Sara Negri (Helsinki)
Dag Normann (Oslo) 
Asger Törnquist (Vienna) 
Jouko Väänänen (Helsinki)

ORGANISING COMMITTEE

Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC) 

SUBMISSIONS

Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system 

https://www.easychair.org/conferences/?conf=sls2012

The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.

LOCATION

Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from 
Central Copenhagen, and five minutes by train from Roskilde.

ACCOMMODATION

Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting 
to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most 
conference attendees will book hotels in central Copenhagen, where there are many hotels 
in many price ranges. Hotel accommodation can also be found in Roskilde, though there the 
options are more limited.

REGISTRATION

The conference website will be found at:

http://scandinavianlogic.weebly.com/

Details concerning registration will be posted there in due course.