[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] 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] Linearity 2012 call for participation

Please note the deadline for early registration, including discounted  
hotel bookings:

*Sunday 29 January*

===========================
Second Workshop on 
Linearity
1 April, Tallinn, Estonia
A satellite workshop of ETAPS 2012

https://sites.google.com/site/linearity2012/

With the urge for more robust, verifiable and optimised programming
languages, the interest for linearity in order to have more control on
computational resources is increasing in several areas of Computer
Science, both in the theoretical side: with work on proof technology,
complexity classes and more recently quantum computation, and in the
practical side: work on program analysis, expressive operational
semantics, linear languages, and techniques for program transformation,
update analysis and efficient implementation. The aim of this workshop
is to bring together researchers who are currently developing theory and
applications of linear calculi, to foster their interaction and provide
a forum for presenting new ideas and work in progress, and enable
newcomers to learn about current activities in this area.  LINEARITY
2012 will be a one-day satellite event of ETAPS 2012. 

Invited Talks:
=================
The Geometry of Types

[PT] Workshop on Intersection Types and Related Systems (ITRS 2012)

**********************************************************************
                   First CALL FOR PAPER
   Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)
	       June 29th, Dubrovnik (Croatia).

	        http://itrs2012.di.unito.it/

         Workshop held in conjunction with LICS 2012

**********************************************************************

                     Deadline: April 13th,  2012
                     ---------------------------

ITRS 2010 workshop aims to bring together researchers working on both 
the theory and practical applications of systems based on intersection 
types and related approaches.
( More details at http://itrs2012.di.unito.it/ ).

SUBMISSION

The submission is in two stages.
(1) Before the workshop, authors are invited to submit an extended 
abstract (max. 10 pages) in PDF format.
(2) After the workshop, authors of accepted papers will be invited to 
submit full versions, for inclusion in EPTCS.

TOPICS

Possible topics for submitted papers include, but are not limited to:

[PT] MSFP 2012 call for participation

Please note the deadline for early registration, including discounted  
hotel bookings:

*Sunday 29 January*

===========================

Fourth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 March, Tallinn, Estonia
A satellite workshop of ETAPS 2012

http://cs.ioc.ee/msfp/msfp2012/

The fourth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without arrows? Call-by-push-value without adjunctions? Type theory
without universes? The list goes on. This workshop is a forum for
researchers who seek to reflect mathematical phenomena in data and
control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was

[PT] Postdoctoral Position in Computational Logic

[PT] Special FI Issue on Logics, Agents, and Mobility

Call for Papers
Logics, Agents, and Mobility
Special Issue of Fundamenta Informaticae

We cordially invite you to submit a paper on Logics, Agents, and Mobility for this special issue of
Fundamenta Informaticae (FI). Please find details of areas of interest and deadlines below. The issue
will be based on (but not limited to) selected presentations at the International workshops LAM'10 &
LAM'11. 

An indication of intention to submit should be sent to
<bmuller@...> as soon as possible.

Deadlines are as follows.

Submission: 20 May 2012
First Reviews: 8 July 2012
Revisions and final reviewing: August 2012
Publication: Autumn 2012

The main topics of interest include

- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking
- treatment of location and resources in logics
security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.

We invite you to submit original, unpublished papers on the topics of logics, agents, and mobility as
outlined above for this special issue of FI. Papers are usually 12 to 20 pages (up to a maximum of 25 pages) in
length and should not have been previously published nor be currently under consideration for
publication elsewhere. Submitted papers should be typeset using the FI LaTeX document class, FI style
file, bibliography style file and should follow the author’s guidelines available at <http://fi.mimuw.edu.pl/index.php/FI/about/submissions#authorGuidelines>.

Special Issue Editors:
Berndt Müller (Farwer), Melvin Fitting

Please feel free to contact us at <bmuller@...> for further details.

[PT] MFPS 28 Second Call for Papers

MFPS XXVIII
http://www.math.tulane.edu/~mfps/MFPS28

          Twenty-eighth Conference on the
            Mathematical Foundations of
               Programming Semantics

                University of Bath
                  United Kingdom
                  6 - 9 June 2012

The Twenty-eighth Conference on the Mathematical Foundations of
Programming Semantics will take place on the campus of the
University of Bath, United Kingdom from June 6 through June 9, 2012.
MFPS conferences are devoted to those areas of mathematics, logic,
and computer science that are related to models of computation, in
general, and to the semantics of programming languages, in
particular. The series has particularly stressed providing a forum
where researchers in mathematics and computer science can meet and
exchange ideas about problems of common interest. As the series also
strives to maintain breadth in its scope, the conference strongly
encourages participation by researchers in neighbouring areas.

TOPICS include, but are not limited to, the following: biocomputation;
concurrent qualitative and quantitative distributed systems; process
calculi; probabilistic systems; constructive mathematics; domain
theory and categorical models; formal languages; formal methods; game
semantics; lambda calculus; programming-language theory; quantum
computation; security; topological models; logic; type systems; type
theory. We also welcome contributions that address applications of
semantics to novel areas such as complex systems, markets, and
networks, for example.

INVITED SPEAKERS:

  Steve Awodey, CMU
  Michael Clarkson, GWU
  Patricia Johann, Strathclyde
  Dexter Kozen, Cornell
  Drew Moshier, Chapman
  John Power, Bath

SPECIAL SESSIONS: There will be four special sessions at the meeting,
    each associated with one of the plenary talks:

  * Logic, computation and algebraic topology,
    organised by Steve Awodey and Michael Mislove

  * Security, organised by Michael Clarkson and Catherine Meadows.
    The papers in this session will be chosen from the papers
    submitted in response to this Call.

  * Computational effects, organised by John Power

  * Computability on Continuous Data, organised by Drew Moshier
     This session is in association with the Alan Turing Centenary

TUTORIALS: There will be a series of four Tutorial Lectures
The topic and speakers are yet to be determined

PROGRAM COMMITTEE:

  Thorsten Altenkirch, U Nottingham, UK
  Steve Awodey, Carnegie Mellon U, USA
  Andrej Bauer, U Ljubljana, Slovenia
  Ulrich Berger, Swansea U, UK (Chair)
  Stephen Brookes, Carnegie Mellon U, USA
  Bob Coecke, U Oxford, UK
  Martin Escardo, U Birmingham, UK
  Marcelo Fiore, U Cambridge, UK
  Neil Ghani, U Strathclyde, UK
  Alexey Gotsman, IMDEA, Madrid, Spain
  Hugo Herbelin, INRIA, Rocquencourt-Paris, France
  Achim Jung, U Birmingham, UK
  Daniel Leivant, U Indiana, USA
  Guy McCusker, U Bath, UK
  Catherine Meadows, NRL, USA
  Michael Mislove, Tulane U, USA
  Peter O'Hearn, Queen Mary U London, UK
  Luke Ong, U Oxford, UK
  Prakash Panangaden, McGill U, Canada
  John Power, U Bath, UK
  Jan Rutten, Radboud Nijmegen, Netherlands
  Alex Simpson, U Edinburgh, UK
  James Worrell, U Oxford, UK

IMPORTANT DATES:

  - 24 February 2012    Title and Short Abstract submission deadline
  - 2 March 2012        Paper submission deadline
  - 2 April 2012        Notification to authors
  - 23 April 2012       Preliminary proceedings version due

SUBMISSIONS should be prepared using ENTCS Macros, available from
http://www.entcs.org Submissions should be in the form of a PDF file
not exceeding 15 pages in length. Submissions are open on the
EasyChair website:
http://www.easychair.org/conferences/?conf=mfps2012

PROCEEDINGS: There will be a preliminary proceedings of the
conference papers that will be distributed at the meeting, with a
final proceedings published in ENTCS after the meeting.

The Organisers of the MFPS series are Stephen Brookes (CMU),
Achim Jung (Birmingham), Catherine Meadows (NRL),
Michael Mislove (Tulane) and Prakash Panangaden (McGill).
The local arrangements for MFPS XXVIII are being overseen
by Guy McCusker (Bath) and John Power (Bath).

[PT] Turing Centenary Conference (CiE 2012) - Final submission arrangements

---------------------------------------------------------------------------
                    FINAL SUBMISSION INFORMATION
---------------------------------------------------------------------------

                 Turing Centenary Conference (CiE 2012)
                     University of Cambridge, UK
                         June 18 to 23, 2012
                        http://www.cie2012.eu

            All final submissions needed by 27 JANUARY 2012*

* With CiE 2012 submissions running at unprecedented levels, and the
organisers receiving numerous requests for extensions:

The server for submissions to the Turing Centenary Conference: CiE 2012
<https://www.easychair.org/account/signin.cgi?conf=cie2012> will remain
open for new submissions until the end of Sunday, 22 January. Revised
versions of papers may be submitted until the end of Friday, 27 January as
long as an abstract has been submitted by the end of Sunday, 22 January.

---------------------------------------------------------------------------
Computability in Europe provides the largest international conference
dealing with the full spectrum of computability-related research. The 2012
Turing Centenary Conference will be especially broad, bringing together
researchers from the full community influenced by the seminal work of
Turing and his contemporaries. For details of the full range of topics, we
refer to the original Call for Papers at:

http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?42

Best wishes

Anuj Dawar and Barry Cooper
co-chairs, Turing Centenary Conference

__________________________________________________________________________
  CiE 2012: Turing Centenary Conference              http://www.cie2012.eu
  ALAN TURING YEAR                           http://www.turingcentenary.eu
  AlanTuringYear on Twitter              http://twitter.com/AlanTuringYear
__________________________________________________________________________

[PT] Turing Centenary Conference (CiE 2012) - Final submission arrangements

---------------------------------------------------------------------------
                   FINAL SUBMISSION INFORMATION
---------------------------------------------------------------------------

                Turing Centenary Conference (CiE 2012)
                    University of Cambridge, UK
                        June 18 to 23, 2012
                       http://www.cie2012.eu

           All final submissions needed by 27 JANUARY 2012*

* With CiE 2012 submissions running at unprecedented levels, and the
organisers receiving numerous requests for extensions:

The server for submissions to the Turing Centenary Conference: CiE 2012
<https://www.easychair.org/account/signin.cgi?conf=cie2012> will remain
open for new submissions until the end of Sunday, 22 January. Revised
versions of papers may be submitted until the end of Friday, 27 January as
long as an abstract has been submitted by the end of Sunday, 22 January.

---------------------------------------------------------------------------
Computability in Europe provides the largest international conference
dealing with the full spectrum of computability-related research. The 2012
Turing Centenary Conference will be especially broad, bringing together
researchers from the full community influenced by the seminal work of
Turing and his contemporaries. For details of the full range of topics, we
refer to the original Call for Papers at:

http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?42

Best wishes

Anuj Dawar and Barry Cooper
co-chairs, Turing Centenary Conference

__________________________________________________________________________
 CiE 2012: Turing Centenary Conference              http://www.cie2012.eu
 ALAN TURING YEAR                           http://www.turingcentenary.eu
 AlanTuringYear on Twitter              http://twitter.com/AlanTuringYear
__________________________________________________________________________

[PT] Second Call for Papers: Trivalent Logics and their Applications (ESSLLI 2012 Workshop)

Second 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