[FOM] [LICS] LICS Newsletter 143

Andrzej Murawski martin at eipye.com
Mon Feb 4 17:11:44 EST 2013


Newsletter 143
February 3, 2013

*******************************************************************
* Past issues of the newsletter are available at
  http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* DEADLINES
   Forthcoming Deadlines
* LICS-RELATED CALLS
   LICS 2013 - Call for Workshop Proposals
* OTHER CONFERENCE CALLS
   COORDINATION 2013 - Call for Papers
   FORTE/FMOODS 2013 - Call for Papers
   LOGICA 2013 - Call for Papers
   ICALP 2013 - Call for Papers
   DBSec 2013 - Call for Papers
   CALCO 2013 - Call for Papers
   TABLEAUX 2013 - Call for Papers, Tutorials and Workshops
   TYPES 2013 - Call for Contributions
   ELC TOKYO WORKSHOP - Call for Participation
   ETAPS 2014 - Call for Satellite Events
   ETAPS 2013 - Call for Participation
   ACCAT 2013 - Call for Participation
   MLQA 2013 - Call for Participation
   ICLP 2013 - Call for Workshop Proposals
   MFPS XXIX - Preliminary Announcement
   CONCUR 2013 - Call for Papers
   CSL 2013 - Call for Papers
   TACL 2013 - Call for Papers
   ICLP 2013 - Call for Papers
   CMSB 2013 - Call for Papers
   FroCoS 2013 - Call for Papers
   GandALF 2013 - Preliminary Call for Papers
   MihalisFest 2013 - Early Call for Participation
* AWARDS
   Ackermann Award 2013 - Call for Nominations
* JOB ANNOUNCEMENTS
   Postdoc at Trento (SAT/SMT-based verification)


DEADLINES
* COORDINATION 2013
   Abstract submission: February 4, 2013
   Paper submission: February 11, 2013
   http://coordination.discotec.org
* FORTE/FMOODS 2013
   Abstracts: February 4, 2013
   Papers: February 11, 2013
   http://forte13.sosy-lab.org/
* LOGICA 2013
   Abstract (2 pages): February 14, 2013
   http://www.flu.cas.cz/logica
* ICALP 2013
   Paper submission: February 15, 2013
   http://www.icalp2013.lu.lv
* LICS 2013
   Workshop proposals: February 15, 2013
   http://lii.rwth-aachen.de/lics/lics13
* DBSec 2013
   Paper submission: February 15, 2013
   http://dbsec2013.business.rutgers.edu
* CALCO 2013
   Abstract Submission: February 22, 2013
   Paper Submission: March 1, 2013
   http://coalg.org/calco13/
* TABLEAUX 2013
   Workshop Proposals: February 22, 2013
   Tutorial Proposals: March 23, 2013
   Title and Abstract: April 8,  2013
   Paper submission deadline: April 15, 2013
   http://tableaux13.loria.fr
* TYPES 2013
   Abstract submission (1-2 pages): February 25, 2013
   http://www.irit.fr/TYPES2013/
* ELC TOKYO WORKSHOP
   Registration deadline: February 28, 2013
   http://www.al.ics.saitama-u.ac.jp/elc/ws/
* ETAPS 2014
   Satellite Event Proposals Deadline: March 4, 2013
* ETAPS 2013
   Normal registration deadline: March 8, 2013
   http://www.etaps.org/2013
* ACCAT 2013
   Normal registration deadline: March 8, 2013
   http://accat2013.zib.de/
* MLQA 2013
   Normal registration deadline: March 8, 2013
   http://wiki.ercim.eu/wg/MLQA/index.php/MLQA_2013
* ICLP 2013
   Workshop Proposals: March 11, 2013
   http://www.iclp2013.org
* MFPS XXIX
   Abstract submission: March 25, 2013
   Full submission: April 2, 2013
   http://www.cs.cornell.edu/Conferences/MFPS29/
* CONCUR 2013
   Abstract submission: April 1, 2013
   Paper submission: April 8, 2013
   http://concur-conferences.org/concur2013/
* CSL 2013
   Abstract submission: April 1, 2013
   Paper submission: April 8, 2013
   http://csl13.di.unito.it/
* TACL 2013
   Abstract submission: April 1, 2013
   http://www.math.vanderbilt.edu/~tacl2013/
* ICLP 2013
   Abstract submission: April 3, 2013
   Paper submission: April 10, 2013
   http://www.iclp2013.org
* CMSB 2013
   Abstract submission: April 8, 2013
   Paper submission: April 15, 2013
   http://ist.ac.at/cmsb13
* ACKERMANN AWARD 2013
   Deadline for nominations: April 15, 2013
   http://www.eacsl.org/submissionsAck.html
* FroCoS 2013
   Abstract submission: April 15, 2013
   Paper submission: April 22, 2013
   http://frocos2013.loria.fr
* GandALF 2013
   Abstract submission: May 1, 2013
   Paper submission: May 8, 2013
   http://gandalf.di.univr.it


28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
   Call for Workshop Proposals
   Workshops: June 24, 2013 or June 28-29, 2013
   LICS conference: June 25-28, 2013
   New Orleans, USA
   http://lii.rwth-aachen.de/lics/lics13/
* DATES
   The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science
   (LICS 2013) will be held in New Orleans, USA, 25--28 June 2013. It
   will be colocated with MFPS (Mathematical Foundations of Programming
   Semantics) and CSF (IEEE Computer Security Foundations). Possible
   dates for workshops are Monday 24 June, Friday 28 June afternoon, and
   Saturday 29 June.
* PROPOSALS
   Researchers and practitioners are invited to submit proposals for
   workshops on topics relating logic - broadly construed - to computer
   science or related fields. Typically, LICS workshops feature a number
   of invited speakers and a number of contributed presentations. LICS
   workshops do not usually produce formal proceedings. However, in the
   past there have been special issues of journals based in part on
   certain LICS workshops. Proposals should include:
   - A short scientific summary and justification of the proposed
     topic.  This should include a discussion of the particular benefits
     of the topic to the LICS community.
   - A discussion of the proposed format and agenda.
   - The proposed duration, which is typically one day (two-day
     workshops can be accommodated too).
   - Your preferred dates. This is important!
   - Let us know if you would like your workshop to be a joint
     workshop with CSF. In that case you should submit to both.
   - Procedures for selecting participants and papers.
   - Expected number of participants. This is important!
   - Potential invited speakers.
   - Plans for dissemination (for example, special issues of journals).
   Proposals should be submitted via Easychair at
   https://www.easychair.org/conferences/?conf=licsworkshops2013
* IMPORTANT DATES
   Submission deadline: February 15, 2013
   Notification: February 25, 2013
   Program of the workshops ready:  April 30, 2013
   Workshops: June 24, 2013 or June 28-29, 2013
   LICS conference: June 25-28, 2013
* COMMITTEE
   The workshops selection committee consists of the LICS General Chair
   (Luke Ong), LICS Workshops Chair (Patricia Bouyer-Decitre), LICS 2013
   PC Chair (Orna Kupferman) and LICS 2013 Conference Chair (Mike Mislove).


15TH INTERNATIONAL CONFERENCE ON COORDINATION MODELS AND LANGUAGES
(COORDINATION 2013)
   Call for Papers
   Firenze, Italy
   June 3-5 2013
   http://coordination.discotec.org/ - part of DisCoTec 2013
* COORDINATION 2013 is the premier forum for publishing research results
   and experience reports on software technologies for collaboration and
   coordination in concurrent, distributed, and socio-technical systems.
   Its distinctive feature is its emphasis on high-level abstractions that
   capture interaction patterns manifest at all levels of the software
   architecture and extending into the realm of the end-user domain.
   We seek high-quality contributions on the usage, study, design, and
   implementation of languages, models, and techniques for coordination in
   distributed, concurrent, pervasive, and multicore software systems.
* MAIN TOPICS OF INTEREST
   - programming abstractions and languages;
   - coordination models and paradigms;
   - software management and software engineering;
   - specification and verification;
   - foundations and types;
   - software for decentralized technologies;
   - multicore programming;
   - adaptive and autonomic systems;
   - coordination for social and socio-technical systems.
* PC CHAIRS
   Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
   Christine Julien (The University of Texas at Austin, USA)
* IMPORTANT DATES
   February 4, 2013             Abstract submission
   February 11, 2013            Paper submission
* FLYER
   The COORDINATION 2013 flyer is available at:
   http://coordination.discotec.org/docs/Coordination_2013_flyer.pdf


IFIP INTERNATIONAL CONFERENCE ON FORMAL TECHNIQUES FOR DISTRIBUTED
SYSTEMS (FORTE/FMOODS 2013)
   Call for Papers
   Florence, Italy
   June 3-6, 2013
   http://forte13.sosy-lab.org/
* OBJECTIVES AND SCOPES
   The 2013 IFIP Joint International Conference on Formal Techniques
   for Distributed Systems (33rd FORTE / 15th FMOODS) is a forum for
   fundamental research on theory, models, tools, and applications
   for distributed systems. The joint conference is the result of
   merging the conference FMOODS (Formal Methods for Open Object-Based
   Distributed Systems) and FORTE (Formal Techniques for Networked
   and Distributed Systems).   FORTE/FMOODS 2013 is part of the
   DiScoTec 2013 event (see http://www.discotec.org/).
* SUBMISSIONS
   The conference solicits original contributions that advance the
   science and technologies for distributed systems, with special
   interest in the areas of:
   - component- and model-based design
   - object technology, modularity, software adaptation
   - service-oriented, ubiquitous, pervasive, grid, cloud, and mobile
     computing systems
   - product-line-based systems
   - software quality, reliability, availability, and safety
   - security, privacy, and trust in distributed systems
   - adaptive distributed systems, self-stabilization, self-healing/organizing
   - verification, validation, formal analysis, and testing of the above.
   The conference encourages contributions that combine theory and
   practice and that exploit formal methods and theoretical foundations
   to present novel solutions to problems arising from the development
   of distributed systems. FORTE / FMOODS covers distributed computing
   models and formal specification, testing and verification methods.
   The application domains include all kinds of application-level
   distributed systems, telecommunication services, Internet, embedded
   and real time systems, as well as networking and communication
   security and reliability.
* TOPICS
   Topics of interest include but are not limited to:
   - Languages and Semantic Foundations: new modeling and language concepts
     for distribution and concurrency, semantics for different types of
     languages, including programming languages, modeling languages,
     and domain specific languages; real-time and probability aspects;
     type systems and behavioral typing;
   - Formal Methods and Techniques: design, specification, analysis,
     verification, validation, testing and runtime verification of various
     types of distributed systems including communications and network
     protocols, service-oriented systems, and adaptive distributed systems;
   - Foundations of Security: new principles for qualitative and quantitative
     security analysis of distributed systems, including formal models
     based on probabilistic concepts;
   - Applications of Formal Methods: applying formal methods and techniques
     for studying quality, reliability, availability, and safety of
     distributed systems;
   - Practical Experience with Formal Methods: industrial applications,
     case studies and software tools for applying formal methods and
     description techniques to the development and analysis of real
     distributed systems.
* PUBLICATION AND SUBMISSIONS
   The FORTE/FMOODS 2013 conference calls for high-quality papers presenting
   research results and/or application reports related to the research areas
   in conference scope.
   All papers must be original, unpublished, and not submitted for
   publication elsewhere. Contributions should be submitted electronically
   in PDF via the EasyChair system at the following address:
   http://forte13.sosy-lab.org/submit.php
   Each paper will undergo a peer review of at least 3 anonymous reviewers.
   The papers must be prepared using Springer's LNCS style
   (see http://www.springer.de/comp/lncs/authors.html).
   Papers must not exceed 15 pages in length, including figures and references.
* IMPORTANT DATES
   Title and abstract must be submitted before the paper. Time of all deadlines
   is 24:00 Samoa Standard Time (UTC-11).
     Abstracts  February  4, 2013
     Papers     February 11, 2013
     Notification  March 18, 2013
     Camera-Ready  March 25, 2013
     Conference    June 3-6, 2013
* PROGRAM COMMITTEE CO-CHAIRS
   - Dirk Beyer, Faculty of Computer Science and Mathematics
     University of Passau, Germany
   - Michele Boreale, Dipartimento di Statistica, Informatica, Applicazioni
     University of Florence, Italy
* DETAILS
   http://forte13.sosy-lab.org/


27TH ANNUAL INTERNATIONAL SYMPOSIUM ON LOGIC (LOGICA 2013)
   Call for papers
   Hejnice, Czech Republic
   June 17-21, 2013
   http://www.flu.cas.cz/logica
* CONTRIBUTIONS
   Contributions devoted to any of the wide range of logical problems are
   welcome except those focused on specialized technical applications.
   Particularly welcome are contributions that cover issues interesting both
   for 'philosophically' and for 'mathematically' oriented logicians.
* IMPORTANT DATES
   - 14 February 2013: Deadline for submissions (2 page abstract)
   - 31 March 2013: Notification of acceptance
* INVITED SPEAKERS
   Johan van Benthem, Michael Dunn, Volker Halbach and Michiel van Lambalgen
* PROGRAM COMMITTEE
   Theodora Achourioti, Petr Cintula, Kosta Dosen, Marie Duzi, Christian
   Fermueller, Gary Kemp, Vojtech Kolman, Peter Milne, Jaroslav Peregrin,
   Hans Rott, Gabriel Sandu, Sebastian Sequoiah-Grayson, Sonja Smets
* DETAILS
   Detailed information can be found on the webpage.


40TH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING
(ICALP 2013)
   Call for Papers
   Riga, Latvia
   July 8-12, 2013
   http://www.icalp2013.lu.lv
* GENERAL
   The 40th International Colloquium on Automata, Languages and
   Programming (ICALP), the main conference and annual meeting of
   the European Association for Theoretical Computer Science (EATCS),
   will take place from the 8th to the 12th of July 2013 in Riga,
   Latvia.
* WORKSHOPS
   The main conference will be preceded by a series of workshops,
   taking place on Sunday, July 7th, 2013 (one day before ICALP).
* IMPORTANT DATES
   Submission Deadline: Feb 15, 2013
   Author Notification: Apr 12, 2013
   Final Manuscript Due: April 28, 2013
* TOPICS
   Papers presenting original research on all aspects of theoretical
   computer science are sought. Typical but not exclusive topics of
   interest are:
   - Track A: Algorithms, Complexity and Games
       Algorithmic Game Theory
       Approximation Algorithms
       Combinatorial Optimization
       Combinatorics in Computer Science
       Computational Biology
       Computational Complexity
       Computational Geometry
       Cryptography
       Data Structures
       Design and Analysis of Algorithms
       Machine Learning
       Parallel, Distributed and External Memory Computing
       Parameterized Algorithms and Complexity
       Quantum Computing
       Randomness in Computation
   - Track B: Logic, Semantics, Automata and Theory of Programming
       Algebraic and Categorical Models
       Automata Theory, Formal Languages
       Emerging and Non-standard Models of Computation
       Databases, Semi-Structured Data and Finite Model Theory
       Principles of Programming Languages
       Logics, Formal Methods and Model Checking
       Models of Concurrent, Distributed, and Mobile Systems
       Models of Reactive, Hybrid and Stochastic Systems
       Program Analysis and Transformation
       Specification, Refinement and Verification
       Type Systems and Theory, Typed Calculi
   - Track C: Foundations of Networked Computation: Models,
       Algorithms and Information Management
       Cloud Computing, Overlay Networks, P2P Systems
       Cryptography, Privacy, Security, Spam
       Distributed and Parallel Computing
       E-commerce, Auctions, Trust and Reputation
       Game Theory, Incentives, Selfishness
       Internet Algorithms
       Mobile and Complex Networks
       Natural and Physical Algorithms
       Network Information Management
       Sensor, Mesh, and Ad Hoc Networks
       Social Networks, Viral Marketing
       Specification, Semantics, Synchronization
       Web Mining, Searching, Ranking and Analysis
       Wireless and Optical Communication
* INVITED SPEAKERS
   Susanne Albers, Humboldt University
   Orna Kupferman, Hebrew University
   Paul Spirakis, University of Patras
   Daniel Marx, Hungarian Academy of Sciences
   Peter Widmayer, ETH Zürich
* SUBMISSIONS
   Authors are invited to submit an extended abstract of no more
   than 12 pages in LNCS style presenting original research on
   the theory of Computer Science. Submissions should indicate
   to which track (A, B, or C) the paper is submitted. No prior
   publication or simultaneous submission to other publication
   outlets (either a conference or a journal) is allowed. The
   proceedings will be published in the Lecture Notes in Computer
   Science Series by Springer-Verlag.
* BEST PAPER AWARDS
   As in previous editions of ICALP, there will be best paper
   and best student paper awards for each track of the conference.
   In order to be eligible for a best student paper award, a paper
   should be authored only by students and should be marked as
   such upon submission.


27TH ANNUAL IFIP WG 11.3 WORKING CONFERENCE ON DATA AND APPLICATIONS
SECURITY AND PRIVACY (DBSec 2013)
   Call for Papers
   Newark, NJ, USA
   July 15-17, 2013
   http://dbsec2013.business.rutgers.edu/
* GOALS
   The 27th Annual IFIP WG 11.3 Working Conference on Data and Applications
   Security and Privacy provides a forum for presenting original unpublished
   research results, practical experiences, and innovative ideas in data and
   applications security. Both papers and panel proposals are also solicited.
   Proceedings will be published by Springer as the next volume in the Research
   Advances in Database and Information Systems Security series
   (http://www.springeronline.com/lncs).
* SUBMISSIONS
   Papers may present theory, techniques, applications, or practical
   experience on topics of relevance to IFIP WG 11.3: Access Control;
   Applied cryptography in data security; Identity theft and
   countermeasures; Integrity maintenance; Intrusion detection;
   Knowledge discovery and privacy; Logics for security and privacy;
   Organizational security; Privacy-preserving data management;
   Secure transaction processing; Secure information integration;
   Secure Semantic Web; Secure sensor monitoring; Secure Web Services;
   Threats, vulnerabilities, and risk management; Trust management.
   Additional topics of interest include (but are not limited to):
   Critical Infrastructure Protection, Cyber Terrorism, Information
   Warfare, Database Forensics, Electronic Commerce Security, and Security
   in Digital Health Care.
* IMPORTANT DATES
   Paper submission: 15 Feb 2013;
   Notification: 19 Apr 2013;
   Final papers due: 3 May 2013.


5TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER
SCIENCE (CALCO 2013)
   Call for Papers
   Warsaw, Poland
   September 3 - 6, 2013
   http://coalg.org/calco13/
* IMPORTANT DATES
   Abstract submission:        February 22, 2013
   Paper submission:        March 1, 2013
   Author notification:        May 6, 2013
   Final version due:        June 3, 2013
* SCOPE
   CALCO aims to bring together researchers and practitioners with
   interests in foundational aspects, and both traditional and emerging
   uses of algebra and coalgebra in computer science.
   It is a high-level, bi-annual conference formed by joining the
   forces and reputations of CMCS (the International Workshop on
   Coalgebraic Methods in Computer Science), and WADT (the Workshop on
   Algebraic Development Techniques). Previous CALCO editions took place
   in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009)
   and Winchester (UK, 2011). The fifth edition will be held in Warsaw,
   the capital of Poland.
* TOPICS OF INTEREST
   We invite submissions of technical papers that report results of
   theoretical work on the mathematics of algebras and coalgebras, the
   way these results can support methods and techniques for software
   development, as well as experience with the transfer of the resulting
   technologies into industrial practice. We encourage submissions in
   topics included or related to those listed below.
   + Abstract models and logics
     - Automata and languages
     - Categorical semantics
     - Modal logics
     - Relational systems
     - Graph transformation
     - Term rewriting
     - Adhesive categories
   + Specialised models and calculi
     - Hybrid, probabilistic, and timed systems
     - Calculi and models of concurrent, distributed, mobile, and
       context-aware computing
     - General systems theory and computational models (chemical,
       biological, etc.)
   + Algebraic and coalgebraic semantics
     - Abstract data types
     - Inductive and coinductive methods
     - Re-engineering techniques (program transformation)
     - Semantics of conceptual modelling methods and techniques
     - Semantics of programming languages
   + System specification and verification
     - Algebraic and coalgebraic specification
     - Formal testing and quality assurance
     - Validation and verification
     - Generative programming and model-driven development
     - Models, correctness and (re)configuration of
       hardware/middleware/architectures,
     - Process algebra
* NEW TOPICS
   This edition of CALCO will feature two new topics, and submission of
   papers on these topics is especially encouraged.
   + Corecursion in Programming Languages
      - Corecursion in logic / constraint / functional / answer set
        programming
      - Corecursive type inference
      - Coinductive methods for proving program properties
      - Implementing corecursion
      - Applications
   + Algebra and Coalgebra in quantum computing
      - Categorical semantics for quantum computing
      - Quantum calculi and programming languages
      - Foundational structures for quantum computing
      - Applications of quantum algebra
* SUBMISSION GUIDELINES
   Prospective authors are invited to submit full papers in English
   presenting original research. Submitted papers must be unpublished and
   not submitted for publication elsewhere. Experience papers are
   welcome, but they must clearly present general lessons learned that
   would be of interest and benefit to a broad audience of both
   researchers and practitioners. As with previous editions, the
   proceedings will be published in the Springer LNCS series. Final
   papers should be no more than 15 pages long in the format specified by
   Springer (see http://www.springer.de/comp/lncs/authors.html). It is
   recommended that submissions adhere to that format and
   length. Submissions that are clearly too long may be rejected
   immediately. Proofs omitted due to space limitations may be included
   in a clearly marked appendix. Both an abstract and the full paper must
   be submitted by their respective submission deadlines.
* BEST PAPER AND BEST PRESENTATION AWARDS
   For the first time, this edition of CALCO will feature two kinds of
   awards: a best paper award whose recipients will be selected by the PC
   before the conference and a best presentation award, elected by the
   participants.
* IMPORTANT DATES
   Abstract submission:        February 22, 2013
   Paper submission:        March 1, 2013
   Author notification:        May 6, 2013
   Final version due:        June 3, 2013
* PROGRAMME COMMITTEE
   Luca Aceto - Reykjavik University, Iceland
   Jiri Adamek - TU Braunschweig, D
   Lars Birkedal - IT University of Copenhagen, DK
   Filippo Bonchi - CNRS, ENS-Lyon, F
   Corina Cirstea - University of Southhampton, UK
   Bob Coecke - University of Oxford, UK
   Andrea Corradini - University of Pisa, I
   Mai Gehrke - Université Paris Diderot - Paris 7, F
   H. Peter Gumm - Philipps University Marburg, D
   Gopal Gupta - University of Texas at Dallas, USA
   Ichiro Hasuo - Tokyo University, Japan
   Reiko Heckel - University of Leicester, UK (cochair)
   Bart Jacobs - Radboud University Nijmegen, NL
   Ekaterina Komendantskaya - University of Dundee, Scotland, UK
   Barbara Koenig - University of Duisburg-Essen, D
   Jose Meseguer - University of Illinois, Urbana-Champaign, USA
   Marino Miculan - University of Udine, I
   Stefan Milius - TU Braunschweig, D (cochair)
   Larry Moss - Indiana University, Bloomington, USA
   Till Mossakowski - DFKI Lab Bremen and University of Bremen, D
   Prakash Panangaden - McGill University, Montreal, Canada
   Dirk Pattinson - Imperial College London, UK
   Dusko Pavlovic - Royal Holloway, University of London, UK
   Daniela Petrisan - University of Leicester, UK
   John Power - University of Bath, UK
   Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL
   Lutz Schroeder - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D
   Monika Seisenberger - Swansea University, UK
   Sam Staton - University of Cambridge, UK
   Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL
   Pawel Sobocinski - University of Southampton, UK
   Yde Venema - University of Amsterdam, NL
   Uwe Wolter - University of Bergen, NO
* ORGANISING COMMITTEE
   Bartek Klin      (University of Warsaw, Poland)
   Andrzej Tarlecki (University of Warsaw, Poland)
* LOCATION
   Warsaw, the capital of Poland, is a lively city with many historic
   monuments and sights, but also with a thriving business district. It
   is easily accessible via two airports: the main Chopin Airport, used by
   most international carriers, and the recently open Warsaw Modlin
   Airport (30 minutes away by rail), used by budget airlines.
* SATELLITE WORKSHOPS
   CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
   by Monika Seisenberger (Swansea University). The workshop is dedicated
   to presentation of work in progress and original research
   proposals. PhD students and young researchers are particularly
   encouraged to contribute.
   A workshop dedicated to tools based on algebraic and/or coalgebraic
   principles, CALCO Tools, will be held alongside the main conference,
   chaired by Lutz Schröder (Friedrich Alexander Universitaet
   Erlangen-Nuernberg). Papers of this workshop will be included in the
   CALCO proceedings.


22ND CONFERENCE ON AUTOMATED REASONING WITH TABLEAUX AND RELATED
METHODS (TABLEAUX 2013)
   Call for Papers, Tutorials and Workshops
   Nancy, France
   September 16-19, 2013
   http://tableaux13.loria.fr
   co-located with FroCoS 2013
* SCOPE
   Tableaux methods offer a convenient set of formalisms for automating
   deduction in various non-standard logics as well as in classical
   logic. Areas of application include verification of software and
   computer systems, data integration and data access, deductive
   databases, knowledge representation and its required inference
   engines, and system diagnosis.
   The conference intends to bring together researchers interested in all
   aspects - theoretical foundations, implementation techniques, system
   developments and applications - of the mechanization of reasoning with
   tableaux and related methods.
   Topics of interest include (but are not restricted to):
     - proof-theory in classical and non-classical logics (modal,
       temporal, description, intuitionistic, substructural, ...)
     - analytic tableaux for various logics (theory and applications)
     - related techniques and concepts, e.g., model checking and BDDs
     - related methods (model elimination, sequent calculi, connection
       method, resolution, ...)
     - new calculi and methods for theorem proving and verification
       in classical and non-classical logics
     - systems, tools, implementations and applications (provers,
       logical frameworks, model checkers, ...)
     - automated deduction and formal methods applied to logic,
       mathematics, software development, protocol verification,
       security, ...
* IMPORTANT DATES:
   - WORKSHOPS:
     Workshop submission deadline: February 22, 2013
     Notification of acceptance:       March 8, 2013
   - TUTORIALS:
     Proposal submission deadline:    March 23, 2013
     Notification of acceptance:      April  5, 2013
   - CONFERENCE PAPERS:
     Title and Abstract submission deadline:    April 8,  2013
     Paper submission deadline:                 April 15, 2013
* Detailed information can be found on the webpage.


19TH MEETING TYPES FOR PROOFS AND PROGRAMS (TYPES 2013)
   Call for Contributions
   April 23-26, Toulouse, France
   http://www.irit.fr/TYPES2013/
* AIMS
   The Types Meeting is a forum to present new and on-going work in all
   aspects of type theory and its applications, especially in formalized
   and computer assisted reasoning and computer programming.
* TOPICS
   We invite all researchers to contribute talks on subjects related to
   the Types area of interest. These include, but are not limited to:
   foundations of type theory and constructive mathematics; applications of
   type theory; dependently typed programming; industrial uses of type
   theory technology; meta-theoretic studies of type systems; proof
   assistants and proof technology; automation in computer-assisted
   reasoning; links between type theory and functional programming;
   formalizing mathematics using type theory. We would like to especially
   encourage talks proposing new ways of applying type theory.
* IMPORTANT DATES
   Submission of LaTeX abstract of 1 or 2 pages by February 25,
   notification by March 8, final version of abstract by April 1st.
* INVITED SPEAKERS
   Steve Awodey (Carnegie Mellon University, Pittsburgh)
   Lars Birkedal (Aarhus University)
   Ulrich Kohlenbach (Technische Universitaet Darmstadt)


ELC TOKYO COMPLEXITY WORKSHOP
   Call for Participation
   March 14-17, 2013
   Shinagawa Prince Hotel, Tokyo, Japan
   http://www.al.ics.saitama-u.ac.jp/elc/ws/
* AIMS
   ELC (Exploring the Limits of Computation) is a five-year project
   started in 2012 in Japan, focusing on various aspects of
   computational complexity theory.  As a kickoff event of this
   project, we are planning to have a workshop during March 14-17 in
   Tokyo, inviting the following distinguished speakers.  We welcome
   any of you interested in computational complexity theory to
   participate in this workshop.  We are planning also some satellite
   seminars before and after the workshop.
* REGISTRATION DEADLINE
   February 28, 2013
* INVITED SPEAKERS
   Eric Allender (Rutgers University)
   Irit Dinur (The Weizmann Institute of Science)
   Zeev Dvir (Princeton University)
   Joshua A. Grochow (The University of Toronto)
   Rahul Jain (National University of Singapore)
   Valentine Kabanets (Simon Fraser University)
   Shachar Lovett (Institute for Advanced Study)
   Pinyan Lu (Microsoft Research Asia and Shanghai Jiao Tong University)
   Raghu Meka (Institute of Advanced Study and DIMACS)
   Ketan Mulmuley (University of Chicago)
   Noam Nisan (Hebrew University of Jerusalem)
   Ryan O'Donnell (Carnegie Mellon University)
   Pavel Pudlak (The Academy of Sciences of the Czech Republic)
   Ran Raz (The Weizmann Institute of Science)
   Rocco Servedio (Columbia University)
   Luca Trevisan (Stanford University)
   Umesh Vazirani (UC Berkeley)
   Yuichi Yoshida (National Institute of Informatics)
   David Zuckerman (University of Texas at Austin)
* PROJECT WEBPAGE
   http://www.al.ics.saitama-u.ac.jp/elc/


EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2014)
   Call for Satellite Events
   April 5-13, 2014
   Grenoble, France
* ABOUT ETAPS
   The European Joint Conferences on Theory and Practice of Software (ETAPS)
   is the primary European forum for academic and industrial researchers
   working on topics relating to Software Science. ETAPS is an annual event
   which takes place in Europe each spring since 1998. The seventeenth
   conference, ETAPS 2014, takes place between April 5th and 13th, 2014 in
   Grenoble, France. Grenoble is the capital of the Alps; its history spans
   over two thousand years. Grenoble is located in an exceptional natural
   environment, surrounded by three mountain masses Vercors, Chartreuse,
   and Belledonne.
* MAIN CONFERENCES
   ETAPS main conferences take place on April 7th-11th, 2014. They are:
   -  CC: International Conference on Compiler Construction
   -  ESOP: European Symposium on Programming
   -  FASE: Fundamental Approaches to Software Engineering
   -  FOSSACS: Foundations of Software Science and Computation Structures
   -  POST: Principles of Security and Trust
   -  TACAS: Tools and Algorithms for the Construction and Analysis of Systems
* SATELLITE EVENTS
   The ETAPS 2014 Organizing Committee invites proposals for Satellite Events
   (workshops, tutorials, etc.) that will complement the main conferences.
   They should fall within the scope of ETAPS. This encompasses all aspects
   of the system development process, including specification, design,
   implementation, analysis and improvement, as well as the languages,
   methodologies and tools which support these activities, covering a spectrum
   from practically-motivated theory to soundly-based practice. Satellite
   Events provide an opportunity to discuss and report on emerging research
   approaches and practical experience relevant to theory and practice of
   software. ETAPS 2014 Satellite Events will be held immediately before and
   after the main conferences, on April 5th-6th and April 12th-13th, 2014.
* SUBMISSION OF SATELLITE EVENT PROPOSALS
   Researchers and practitioners wishing to organize Satellite Events are
   invited to submit proposals in ASCII, PDF or Postscript format by e-mail
   to etaps2014.satellites at imag.fr. A proposal should not exceed two pages
   and should include:
   -    Satellite Event name / acronym
   -    names and contact information of the organizers
   -    preferred period: April 5th-6th or April 12th-13th
   -    duration of the workshop: one-day or two-day event
   -    120-word description of the workshop topic for later use in
publicity material
   -    a brief explanation of the workshop topic and its relevance to ETAPS
   -    a schedule for paper submission, notification of acceptance and
final versions
   -    expected number of participants
   -    any other relevant information, like event format, invited speakers,
   -    publication policy, demo sessions, special space requirements, etc.
   The proposals will be evaluated by the ETAPS 2014 organizing committee
   on the basis of their assessed benefit for prospective participants to
   ETAPS 2014. The titles and brief information about accepted Satellite Events
   will be included in the ETAPS 2014 web site, call for papers and call for
   participation. Satellite Events organizers will be responsible for:
   - producing the event's call for papers and call for participations
   - advertising the event through specialist mailing lists etc. to complement
     publicity for ETAPS as a whole hosting and maintaining a web site for
     the event
   - reviewing and making acceptance decisions on submitted papers producing
     the event proceedings, if any; facilities for printing will be made
     available by the ETAPS organizers
   - scheduling workshop activities in consultation with the local organizers.
   Prospective organizers may wish to consult the web pages of previous
   satellite events as examples:
   ETAPS 2013: http://www.etaps.org/2013/workshops13
   ETAPS 2012: http://www.etaps.org/2012/workshops
   ETAPS 2011: http://www.etaps.org/2011/workshops
   ETAPS 2010: http://www.etaps10.cs.ucy.ac.cy/
   ETAPS 2009: http://www.cs.york.ac.uk/etaps09/
   ETAPS 2008: http://etaps08.mit.bme.hu/
   ETAPS 2007: http://www.di.uminho.pt/etaps07/
   ETAPS 2006: http://www.complang.tuwien.ac.at/etaps06/
   ETAPS 2005: http://www.etaps05.inf.ed.ac.uk/
   ETAPS 2004: http://www.lsi.upc.es/etaps04/
   ETAPS 2003: http://www.mimuw.edu.pl/etaps03/
* IMPORTANT DATES
   Satellite Event Proposals Deadline: March 4th, 2013
   Notification of acceptance: April 4th, 2013
* FURTHER INFORMATION AND ENQUIRIES --
   Please contact Axel Legay:
   axel.legay at inria.fr
   etaps14.satellites at imag.fr


EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2013)
   Call for Participation
   Rome, Italy
   March 16-24, 2013
   http://www.etaps.org/2013
* ABOUT ETAPS
   The European Joint Conferences on Theory And Practice of Software
   (ETAPS) is the primary European forum for academic and industrial
   researchers working on topics relating to software science. ETAPS,
   established in 1998, is a confederation of six main annual conferences,
   accompanied by satellite workshops and invited tutorials (new in 2013).
   ETAPS 2013 is already the sixteenth event in the series.
* MAIN CONFERENCES
     - CC: Compiler Construction
     - ESOP: European Symposium on Programming
     - FASE: Fundamental Approaches to Software Engineering
     - FOSSACS: Foundations of Software Science and Computation Structures
     - POST: Principles of Security and Trust
     - TACAS: Tools and Algorithms for the Construction and Analysis of
       Systems
* INVITED SPEAKERS
     - Gilles Barthe (Fundación IMDEA Software, Madrid, Spain)
     - Emily Berger (Univ. of Mussachusetts, Amherst, USA)
     - Krzysztof Czarnecki (Univ. of Waterloo, Canada)
     - Cedric Fournet (Microsoft Research, Cambridge, UK)
     - Orna Grumberg (Technion, Haifa, Israel)
     - Martin Hofmann (Univ. of Munich, Germany)
     - Jean-Pierre Hubaux (EPFL, Losanna, Switzerland)
     - Mark S. Miller (Google Research, USA)
* INVITED TUTORIAL SPEAKERS
     - John C. Mitchell (Stanford Univ., USA)
     - Martin Fraenzle (Univ. of Oldenburg, Germany)
     - Ralf Kuesters (Univ. of Trier, Germany)
   The tutorials take place on Sunday March 17 before ETAPS 2013.
* SATELLITE EVENTS
   22 satellite workshops will take place before or after ETAPS 2013.
   ACCAT, AiSoS, BX, DICE, Found. Syst. Spec., HAS, HotSpot, MBT, MEALS,
   SR, OCCP, and VSSE will take place in the weekend on 16-17 March 2013.
   Bytecode, CerCo, FESCA, GT-VMT, GRAPHITE, IC1201, MLQA, PLACSE, QAPL,
   and TERMGRAPH are scheduled for 31 March-1 April 2012.
* REGISTRATION
   http://www.etaps.org/2013/registration-menu-2013
* ORGANIZERS
   The event is organized in Sapienza Università di Roma. Sapienza has a
   very long and prestigious history, it is the largest university in
   Europe and the second-largest in the world, with more than 150,000
   students.
     - General chair: Daniele Gorla
     - Conferences Chair: Francesco Parisi Presicce
     - Workshops Chairs: Paolo Bottoni  and  Pietro Cenciarelli
     - Publicity Chair: Ivano Salvo
     - Finance Chairs: Enrico Tronci  and  Federico Mari
     - Web Site Chair: Igor Melatti


8TH INTERNATIONAL WORKSHOP ON APPLIED AND COMPUTATIONAL CATEGORY
THEORY (ACCAT 2013)
   Call for Participation
   Rome, Italy
   March 17, 2013
   Satellite Event of ETAPS 2013
* SCOPE
   Since the 1960s, the use of category theory in computer science has been
   a fruitful one, including applications to different areas such as automata
   theory, algebraic specification, and programming languages, among others.
   In recent years, techniques and methods from CT have been adopted as a
   standard research tool, and considered as such in different venues around
   the world. The ACCAT workshop on "Applied and Computational Category Theory"
   has been one of these venues. Since its inception in 2006, ACCAT provided
   a forum where invited contributors presented their own research on different
   facets of category theory applied to computer science. Following the
   tradition, the program of this year edition will include eight invited
   talks by top researchers in the area.
* INVITED SPEAKERS
   Samson Abramsky
   Robin B. Cockett
   Barbara Koenig
   Ugo Montanari
   Till Mossakowski
   Dusko Pavlovic
   Andrzej Tarlecki
   Glynn Winskel
* FUTURE
   Despite ACCAT success, we believe that the current formula of the workshop
   should be deeply revised. Indeed, we believe that a fully fledged conference
   is missing where all kinds of applications of category theory to computer
   science can be presented (like the former CTCS conference, which somehow
   ended in 2006). Therefore, after the presentations, the workshop will end up
   with a general discussion among the invited speakers and the attendees.
   We hope that the outcome of the discussion could be a decision whether to
   push for such high-level workshop/conference on the application of category
   theory to computer science, or at least to verify the viability of a further
   meeting focusing on this issue.
* FURTHER INFORMATION
   Please contact Fabio Gadducci (gadducci at di.unipi.it) or Ulrike
   Golas (golas at zib.de).


MEETING OF ERCIM GROUP ON MODELS AND LOGICS FOR QUANTITATIVE ANALYSIS
(MLQA 2013)
   Call for Participation
   March 24th, 2013
   Rome, Italy - Colocated with QAPL at ETAPS 2013.
* SCOPE
   The fifth annual meeting of the MLQA working group will take place on
   Sunday 24 March 2013 as part of the European Joint Conferences on Theory
   And Practice of Software (ETAPS) in Rome, Italy.
   This year's edition will be held in cooperation with the Quantitative
   Aspects of Programming Languages and Systems (QAPL) workshop.
* INVITED SPEAKERS
   Invited speakers will be shared between the two events:
   - Martin Fraenzle, University of Oldenburg
     A tight integration of symbolic, numeric, and statistical methods for
     the analysis of cyber-physical systems
   - Paolo Zuliani, Newcastle University
     Statistical Model Checking for Cyber-Physical Systems
   - Flemming Nielson, Technical University of Denmark
     Guarding against Denial of Service Attacks
   For abstracts of these talks please consult
   http://wiki.ercim.eu/wg/MLQA/index.php/MLQA_2013
   For more about the ERCIM working group MLQA please consult
   http://wiki.ercim.eu/wg/MLQA
   We invite all interested researchers and PhD students to participate
at MLQA 2013.
* REGISTRATION
   For registration please follow the instructions on the ETAPS website
   http://www.etaps.org


29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
   Call for Workshop Proposals
   Istanbul, Turkey
   August 24-29, 2013
   http://www.iclp2013.org
* SCOPE
   ICLP 2013, the 29th International Conference on Logic Programming,
   will be held in Istanbul, Turkey, August 24-29, 2013.
   Workshops collocated with an international conference are one of the
   best venues for the presentation and discussion of preliminary work,
   novel ideas, and new open problems to a wide and interested audience.
   Collocated workshops also provide an opportunity for presenting
   specialised topics and opportunities for intensive discussions and
   project collaboration. The topics of the workshops collocated with
   ICLP 2013 may cover any area related to logic programming (e.g.,
   theory, systems, environments, software-engineering aspects,
   extensions, alternative paradigms, applications), including cross-
   disciplinary areas.  However, any workshop proposal will be taken
   under consideration.
   The format of the workshop will be decided by the workshop organisers,
   but ample time should be allowed for general discussions. Workshops
   can vary in length, but the optimal format are half-day workshops and
   full-day workshops.
* PROPOSALS
   People interested in organising a workshop at ICLP 2013 are invited
   to submit a workshop proposal. Proposals should be written in English
   and about two pages in length. They should contain:
   - the title of the workshop;
   - a brief technical description of the topics covered by the
     workshop;
   - a discussion of the timeline and relevance of the workshop;
   - a list of some related workshops held in recent years;
   - the (preliminary) required number of half-days allotted to the
     workshop and an estimate of the number of expected attendees;
   - the names, affiliations, and contact details (email, web page,
     phone, fax) of the workshop organiser(s) together with a
     designated contact person; and
   - the previous experience of the workshop organising committee in
     workshop or conference organisation.
   Proposals should be in PDF format and submitted to the Workshop Chair
   (Hans Tompits) by email by March 11, 2013.
* IMPORTANT DATES
   March 11, 2013: Proposal submission deadline
   April 4, 2013: Notification
   April 29, 2013: Deadline for receipt of CFP and workshop Web page URL
   July 19, 2013: Deadline for proceedings and workshop program
   August 24 and 25, 2013: ICLP 2013 workshops
* WORKSHOP CHAIR
   Hans Tompits
   Knowledge-Based Systems Group E184/3
   Institute of Information Systems
   Vienna University of Technology
   Email: tompits [at] kr [dot] tuwien [dot] ac [dot] at


29TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING
SEMANTICS (MFPS XXIX)
   Preliminary Announcement
   June 23-25, 2013
   Tulane University, New Orleans, LA USA
   (co-located with LICS 2013 and CFS 2013)
   http://www.cs.cornell.edu/Conferences/MFPS29/
* GENERAL
   The 29th Conference on the Mathematical Foundations of Programming
   Semantics will take place on the campus of Tulane University, New
   Orleans, LA USA from June 23 to June 25, 2013. The conference will
   be co-located with the 2013 Logic in Computer Science Symposium
   and the 2013 Computer Security Foundations Symposium. MFPS will
   have a number of invited speakers and special sessions, one of
   which will be a shared session with LICS celebrating Dana Scott's
   80th birthday year. This is a preliminary announcement - details
   about the conference, including the program committee membership,
   the invited speakers and the special sessions will be available
   within the next few weeks. The purpose of this announcement is to
   alert members of the community about the relevant personnel
   overseeing the conference and to provide the important dates for
   the meeting.
* COMMITTEES
   The Program Committee Chair for MFPS XXIX is Dexter Kozen
   (Cornell). The local arrangements chair is Michael Mislove
   (Tulane). The Organizing Committee for MFPS includes Andrej Bauer
   (Slovenia), Stephen Brookes (CMU), Achim Jung (Birmingham),
   Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine
   (Oxford) and Prakash Panangaden (McGill).
* IMPORTANT DATES
   Deadline for titles and short abstracts:     Monday, March 25, 2013
   Deadline for full submissions:               Tuesday, April 2, 2013
   Notification of accepted papers:             Monday, April 28, 2013


24TH CONFERENCE ON CONCURRENCY THEORY (CONCUR 2013)
   Call for Papers
   Buenos Aires, Argentina
   August 26-31, 2013
   http://concur-conferences.org/concur2013/
* GOAL
   The purpose of the CONCUR conferences is to bring together
   researchers, developers, and students in order to advance
   the theory of concurrency, and promote its applications.
* INVITED SPEAKERS
   - Lorenzo Alvisi (University of Texas Austin, USA)
   - Joost-Pieter Katoen (RWTH Aachen University, Germany)
   - Philippe Schnoebelen (LSV, CNRS & ENS de Cachan, France)
   - Reinhard Wilhelm (Saarland University, Germany)
* TOPICS
   Submissions are solicited in semantics, logics, verification
   and analysis of concurrent systems. The principal topics include
   (but are not limited to):
   - Basic models of concurrency such as abstract machines, domain
     theoretic models, game theoretic models, process algebras,
     graph transformation systems and Petri nets;
   - Logics for concurrency such as modal logics, probabilistic and
     stochastic logics, temporal logics, and resource logics;
   - Models of specialized systems such as biology-inspired systems,
     circuits, hybrid systems, mobile and collaborative systems,
     multi-core processors, probabilistic systems, real-time systems,
     service-oriented computing, and synchronous systems;
   - Verification and analysis techniques for concurrent systems
     such as abstract interpretation, atomicity checking, model
     checking, race detection, pre-order and equivalence checking,
     run-time verification, state-space exploration, static analysis,
     synthesis, testing, theorem proving, and type systems;
   - Related programming models such as distributed, component-based,
     object-oriented, and web services.
* CO-LOCATED EVENTS
   10th Intl. Conf. on Quantitative Evaluation of SysTems (QEST 2013)
   11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems
   (FORMATS 2013)
   8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
   There will be co-located workshops, which take place on August 26
   and August 31, and tutorials (associated with QEST) which take
   place on August 26.
* SUBMISSIONS
   CONCUR 2013 solicits high quality papers reporting research
   results and/or experience reports related to the topics mentioned
   above. All papers must be original, unpublished, and not submitted
   for publication elsewhere.  Contributions should be submitted
   electronically as PDF, using the Springer LNCS style. Papers
   should not exceed 15 pages in length.
   Each paper will undergo a thorough review process. If necessary,
   the paper may be supplemented with a clearly marked appendix,
   which will be reviewed at the discretion of the program committee.
   Papers should be submitted electronically using EasyChair online
   submission system:
   https://www.easychair.org/conferences/?conf=concur2013
   The CONCUR 2013 proceedings will be published by Springer in the
   ArCoSS subseries of LNCS.  The proceedings will be available at
   the conference.
* IMPORTANT DATES
   Abstract Submission:        1st April 2013
   Paper Submission:        8th April 2013
   Paper Notification:        27th May, 2013
   Camera Ready Copy Due:        10t June, 2013
   CONCUR 2012:                27th-30th August, 2013
* AFFILIATED WORKSHOPS
   Proposal for workshops are expected to be sent to the Workshops
   Chairs, Eduardo Bonelli (ebonelli at unq.edu.ar) and Diego
   Garbervetsky (diegog at dc.uba.ar), by January 14, 2013.
* PROGRAM CHAIRS
   - Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina)
   - Hernán Melgratti (Universidad de Buenos Aires, Argentina)
* PROGRAM COMMITTEE
   Christel Baier (Technical University of Dresden, DE)
   Paolo Baldan (Universitá di Padova, IT)
   Eike Best (Universität Oldenburg, DE)
   Patricia Bouyer (LSV, CNRS & ENS Cachan, FR)
   Tomas Brazdil (Masaryk University, CZ)
   Franck van Breugel (York University, CA)
   Krishnendu Chatterjee (IST, AT)
   Rance Cleaveland (University of Maryland, US)
   Wan Fokkink (Vrije Universiteit Amsterdam, NL)
   Daniele Gorla (University of Rome "La Sapienza", IT)
   Holger Hermanns (Saarland University, DE)
   Radha Jagadeesan (DePaul University, US)
   Bengt Jonsson (Uppsala University, SE)
   Kim G. Larsen (Aalborg University, DK)
   Ugo Montanari (Universitá di Pisa, IT)
   Prakash Panangaden (McGill University, CA)
   David Parker (University of Birmingham, UK)
   Frank Pfenning (Carnegie Mellon University, US)
   Nir Piterman (University of Leicester, UK)
   Shaz Qadeer (Microsoft Research, US)
   Jean-Francois Raskin (Universit Libre de Bruxelles, BE)
   Jan Rutten (CWI, NL)
   Davide Sangiorgi (University of Bologna, IT)
   Geoffrey Smith (Florida International University, US)
   P.S. Thiagarajan (National University of Singapore, SG)
   Frits Vaandrager (Radboud University Nijmegen, NL)
   Frank Valencia (CNRS, Ecole Polytechnique de Paris, FR)
   Rob Van Glabbeek (NICTA, AU)
   Nobuko Yoshida (Imperial College London, UK)
   Lijun Zhang (Technical University of Denmark, DK)


22ND EACSL ANNUAL CONFERENCES ON COMPUTER SCIENCE LOGIC (CSL 2013)
   Call for Papers
   Torino, Italy
   September 2-5, 2013
   http://csl13.di.unito.it/
* AIM AND SCOPE
   Computer Science Logic (CSL) is the annual conference of the
   European Association for Computer Science Logic (EACSL). The
   conference is intended for computer scientists whose research
   activities involve logic, as well as for logicians working on
   issues significant for computer science.
* LOCATION
   The 22nd EACSL Annual Conferences on Computer Science Logic
   will be held at Museo di Scienze Naturali in Torino from
   Monday 2nd through Thursday 5th of September 2013.
* LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
   automated deduction and interactive theorem proving, constructive
   mathematics and type theory, equational logic and term rewriting,
   automata and games, game semantics, modal and temporal logic,
   model checking, decision procedures, logical aspects of
   computational complexity, computational proof theory, bounded
   arithmetic and propositional proof complexity, logic programming
   and constraints, lambda calculus and combinatory logic, domain
   theory, categorical logic and topological semantics, database
   theory, specification, extraction and transformation of programs,
   logical aspects of quantum computing, logical foundations of
   programming paradigms, verification and program analysis, linear
   logic, higher-order logic, non-monotonic reasoning.
* IMPORTANT DATES
   Abstract submission: April, 1st 2013
   Paper Submission: April, 8th 2013
   Paper Notification: June, 10th 2013
   Paper final version: July, 1st 2013
   Conference: September, 2nd --- 5th 2013
* SUBMISSION
   Authors are invited to submit papers of not more than 15 pages in
   LIPIcs style presenting work not previously published. Papers are
   to be submitted through Easychair.
* SATELLITE EVENTS
   The 14th International Workshop on Logic and Computational
   Complexity (LCC'13) will be held on 6th of September 2013 as
   a satellite event of CSL'13. An international summer school
   on “Linear logic and related topics” will be held from 28th
   through 31st of August 2013 as a satellite event of CSL'13.
   Further details will appear on this page as soon as possible.
* PROGRAM COMMITTEE
   Zena Ariola (University of Oregon)
   Arnon Avron (Tel-Aviv University)
   Roberto Bagnara (University of Parma, and BUGSENG srl)
   Christel Baier (Technical University of Dresden)
   Marc Bezem (University of Bergen)
   Paola Bruscoli (University of Bath, Computer Science Department)
   Agata Ciabattoni (TU Wien)
   Thierry Coquand (Chalmers University)
   Ugo Dal Lago (Universita di Bologna)
   Valeria De Paiva (Nuance Communications)
   Reinhard Kahle (CENTRIA and DM, UNL, Portugal)
   Stephan Kreutzer (Technical University Berlin)
   Olivier Laurent (CNRS - ENS Lyon)
   Carsten Lutz (Universitaet Bremen)
   Jean-Yves Marion (Universite de Lorraine, LORIA)
   Damian Niwinski (Warsaw University)
   Frank Pfenning (Carnegie Mellon University)
   Elaine Pimentel (UFMG)
   Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS))
   Simona Ronchi Della Rocca CHAIR (Universita di Torino)
   Jan Rutten (CWI)
   Helmut Schwichtenberg (LMU Munich)
   Phil Scott (Dept. of Math & Stats, U. Ottawa)
   Peter Selinger (Dalhousie University)
   Makoto Tatsuta (National Institute of Informatics)
   Tachio Terauchi (Nagoya University)
* ORGANIZING COMMITTEE
   Erika De Benedetti (Dipartimento di Informatica, Torino)
   Paola Giannini (Dipartimento di Scienze e Innovazione Tecnologica
(DISIT), Alessandria)
   Mauro Piccolo (Dipartimento di Informatica, Torino)
   Luca Padovani (Dipartimento di Informatica, Torino)
   Luca Paolini (Dipartimento di Informatica, Torino)
   Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino)
   Luca Roversi (Dipartimento di Informatica, Torino)
   Angelo Troina (Dipartimento di Informatica, Torino)


SIXTH CONFERENCE ON TOPOLOGY, ALGEBRA AND CATEGOREIS IN LOGIC (TACL 2013)
   Call for Presentations
   July 28 - August 1, 2013
   Nashville, Tennessee USA
   http://www.math.vanderbilt.edu/~tacl2013/
* SCOPE
   Studying logics via semantics is a well-established and very
   active branch of mathematical logic, with many applications,
   in computer science and elsewhere. The area is characterized
   by results, tools and techniques stemming from various fields,
   including universal algebra, topology, category theory, order,
   and model theory. The program of the conference TACL 2013 will
   focus on three interconnecting mathematical themes central to
   the semantical study of logics and their applications: algebraic,
   categorical, and topological methods. This is the sixth
   conference in the series Topology, Algebra and Categories in
   Logic (TACL, formerly TANCL). Earlier installments of this
   conference have been organized in Tbilisi (2003), Barcelona
   (2005), Oxford (2007), Amsterdam (2009), Marseilles (2011).
* CONFIRMED INVITED SPEAKERS
   Vladimir Voevodsky, Institute for Advanced Studies, USA
   Nick Bezhanishvili, Utrecht University, The Netherlands
   Leo Cabrer, University of Oxford, UK
   Silvio Ghilardi, University of Milan, Italy
   George Metcalfe, University of Bern, Switzerland
   Alex Simpson, University of Edinburgh, UK
* FEATURED TOPICS
   Contributed talks can deal with any topic dealing with the use
   of algebraic, categorical or topological methods in either
   logic or computer science. This includes, but is not limited to,
   the following areas:
   - Algebraic structures in CS
   - Algebraic logic
   - Coalgebra
   - Categorical methods in logic
   - Domain theory
   - Lattice theory
   - Lattices with operators
   - Many-valued and fuzzy logics
   - Modal logics
   - Non-classical logics
   - Ordered topological spaces
   - Ordered algebraic structures
   - Pointfree topology
   - Proofs and Types
   - Residuated structures
   - Semantics
   - Stone-type dualities
   - Substructural logics
   - Topological semantics of modal logic
* SUBMISSIONS
   Contributed presentations will be of two types:
   - 20 minutes long presentations in parallel sessions and
   - featured, 30 minutes long, plenary presentations.
   The submission of an abstract will be required to be selected
   for a contributed presentation of either kind. While preference
   will be given to new work, results that have already been
   published or presented elsewhere will also be considered.
   More information on the submission procedure, as well as a link
   to the EasyChair system, can be found at the conference web site.
* IMPORTANT DATES
   April 1, 2013: Abstract submission deadline
   May 1, 2013:   Notification to authors
   July 28-August 1, 2013:  Conference
* PROGRAM COMMITTEE
   Steve Awodey, Carnegie Mellon University
   Guram Bezhanishvili, New Mexico State University
   David Gabelaia, Razmadze Mathematical Institute, Tbilisi
   Nick Galatos (co-chair), University of Denver
   Mai Gehrke, LIAFA, University of Paris Diderot
   Rob Goldblatt, Victoria University, Wellington
   John Harding, New Mexico State University
   Ramon Jansana, University of Barcelona
   Peter Jipsen, Chapman University
   Achim Jung, University of Birmingham
   Alexander Kurz (co-chair), University of Leicester
   Vincenzo Marra, University of Milan
   Hiroakira Ono, Japan Advanced Institute of Science and Technology
   Alessandra Palmigiano, University of Amsterdam
   Hilary Priestley, St Anne's College, Oxford
   James Raftery, University of KwaZulu-Natal, Durban
   Thomas Streicher, Technical University of Darmstadt
   Kazushige Terui, Kyoto University
   Constantine Tsinakis, Vanderbilt University
   Yde Venema, University of Amsterdam
   Michael Zakharyaschev, Birkbeck College, University of London
* ORGANIZING COMMITTEE
   Chris Conidis, Vanderbilt University
   Lianzhen Liu, Jiangnan University, China
   Warren McGovern, Florida Atlantic University
   Francesco Paoli, University of Cagliari
   Rebecca Steiner, Vanderbilt University
   Constantine Tsinakis (chair), Vanderbilt University
   William Young, Vanderbilt University


29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
   Call for Papers
   Istanbul, Turkey
   August 24-28, 2013
   http://www.iclp2013.org
* CONFERENCE SCOPE
   Since the first conference held in Marseilles in 1982, ICLP
   has been the premier international conference for presenting
   research in logic programming. Contributions are sought in all
   areas of logic programming including but not restricted to:
   - Theory: Semantic Foundations, Formalisms, Non-monotonic
     Reasoning, Knowledge Representation.
   - Implementation: Compilation, Virtual Machines, Parallelism.
   - Environments: Program Analysis, Transformation, Validation,
     Verification, Debugging, Pro- filing, Testing.
   - Language Issues: Concurrency, Objects, Coordination, Mobility,
     Higher Order, Types, Modes, Assertions, Programming Techniques.
   - Related Paradigms: Inductive Logic Programming, Constraint Logic
     Programming, Answer-Set Programming, SAT-Checking
   - Applications: Databases, Data Integration and Federation,
     Software Engineering, Natural Language Processing, Web and
     Semantic Web, Agents, Artificial Intelligence, Bioinformatics.
   In addition to the presentations of accepted papers, the technical
   program will include invited talks, advanced tutorials, the
   doctoral consortium, and several workshops.
* SUBMISSION DETAILS
   The four broad categories for submissions are as follows. Regular
   papers, including: (1) tech- nical papers for describing
   technically sound, innovative ideas that can advance the state of
   logic programming; (2) application papers, where the emphasis will
   be on their impact on the application domain; (3) system and tool
   papers, where the emphasis will be on the novelty, practicality,
   usability and availability of the systems and tools described.
   Technical communications (4) aimed at describing recent
   developments, new projects, and other materials that are not ready
   for publication as standard papers.  All papers and technical
   communications will be presented during the conference.
   All submissions must describe original, previously unpublished
   research, and must not simultaneously be submitted for publication
   elsewhere. They must be written in English. Technical papers,
   application papers, and system and tool papers must not exceed 12
   pages plus bibliography: however a new condensed TPLP format may
   be used and the papers may include appendices beyond 12 pages.
   The limit for technical communications is 10 pages. Submissions
   must be made in the condensed TPLP format (http://www.iclp2013.org)
   via the Easychair submission system, available at
    http://www.easychair.org/conferences/?conf=iclp2013
* IMPORTANT DATES
   Paper registration (abstract):          April 3, 2013
   Submission deadline:                    April 10, 2013
   Notification to authors:                May 21, 2013
   Revision deadline (when needed):        June 21, 2013
   Camera-ready copy due:                  July 18, 2013
   Conference:                             August 24-28, 2013
* PAPER PUBLICATION
   All accepted papers will be published in the journal Theory and
   Practice of Logic Programming (TPLP), Cambridge University Press
   (CUP), in one or more special issues. In order to ensure the
   quality of the final version, papers may be subject to more than
   one round of refereeing (within the decision period). Accepted
   technical communications will be published in the online abstract
   of the special issue(s).  The program committee may also recommend
   standard papers to be published as technical communications.
* ICLP 2013 ORGANIZATION
   - General Co-Chairs:
     Esra Erdem                                    Sabanci University
     Joohyung Lee                            Arizona State University
   - Program Co-chairs:
     Terrance Swift                          New University of Lisboa
     Evelina Lamma                              University of Ferrara
   - Workshops Chair:
     Hans Tompits                     Vienna University of Technology
   - Publicity Chair:
     Peter Schueller                               Sabanci University
   - Doctoral Consortium:
     Marco Gavanelli                            University of Ferrara
     Martin Gebser                              University of Potsdam
   - Prolog Programming Contest:
     Bart Demoen                                          K.U. Leuven


11TH ANNUAL CONFERENCE ON COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2013)
   Call for Papers
   IST Austria, Klosterneuburg, Austria
   23-25 September, 2013
   http://ist.ac.at/cmsb13
* IMPORTANT DATES
   Abstract deadline               8 April, 2013
   Paper submission deadline      15 April, 2013
   Author notification            27 May, 2013
   Poster submission deadline     27 May, 2013
   Poster notification            10 June, 2013
   Camera-ready deadline          24 June, 2013
* SCOPE
   CMSB 2013 solicits original research articles on the computational
   modeling and analysis of biological systems, pathways, networks,
   data, and corresponding application domains. The conference brings
   together computer scientists, biologists, mathematicians,
   engineers, and physicists interested in a system-level
   understanding of biological processes. It covers theory,
   computation, as well as applications.
* TOPICS
   - original paradigms, formalisms, and languages for modeling
     biological processes
   - original models together with their application domains
   - frameworks, techniques, and tools for verifying, validating,
     analyzing, and simulating biological systems
   - high-performance computational systems biology and parallel
     implementations
   - inference from high-throughput experimental data
   - model integration from biological databases
   - multi-scale modeling and analysis methods
   - synthetic biology.
* POSTER TRACK
   CMSB 2013 also solicits poster submissions. The abstract of each
   poster will get 2 pages in the proceedings. Some selected posters
   will also be given slots of short talks at the conference. We
   especially encourage poster submission from experimental
   biologists! In order to facilitate biologists to attend the
   conference and present their work, a limited number of travel
   stipends for students and postdocs presenting biology posters
   will be available.


9TH SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2013)
   Call for Papers
   Nancy, France
   September 18-20, 2013,
   http://frocos2013.loria.fr
   co-located with TABLEAUX 2013
* AIMS
   The aim of the conference is to publish and promote
   progress in research areas requiring the development of general
   techniques and methods for the combination and integration of
   special, formally defined systems, as well as for the analysis
   and modularization of complex systems.
* TOPICS
   Typical topics of interest include (but are not limited to):
   combinations of logics such as combined higher-order, first-order,
   temporal, modal, or other non-classical logics; combinations and
   modularity in ontologies; combination of decision procedures, of
   satisfiability procedures, of constraint solving techniques or of
   logical frameworks; combination and integration methods in SAT and
   SMT solving; combinations and modularity in term rewriting;
   integration of equational and other theories into deductive
   systems; combination of deduction systems and computer algebra;
   integration of data structures into constraint logic programming
   and deduction; hybrid methods for deduction, resolution and
   constraint propagation; hybrid systems in knowledge representation
   and natural language semantics; combined logics for distributed and
   multi-agent systems; logical aspects of combining and modularizing
   programs and specifications.
* IMPORTANT DATES
   Abstract submission: 15 Apr 2013
   Paper submission: 22 Apr 2013


4TH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND FORMAL
VERIFICATION (GANDALF 2013)
   Preliminary Call for Papers
   Borca di Cadore, Dolomites, Italy
   August 29th-31th, 2013
   http://gandalf.di.univr.it/
* OBJECTIVES
   The aim of the symposium is to bring together researchers from academia
   and industry which are actively working in the fields of Games, Automata,
   Logics, and Formal Verification. The idea is to cover an ample spectrum of
   themes, ranging from theory to applications, and stimulate
   cross-fertilization. Papers focused on formal methods are especially
   welcome. Authors are invited to submit original research or tool papers on
   all relevant topics in these areas. Papers discussing new ideas that are
   at an early stage of development are also welcome.
* LIST OF TOPICS
   The topics covered by the conference include, but are not limited to, the
   following:
     Automata Theory
     Automated Deduction
     Computational aspects of Game Theory
     Concurrency and Distributed computation
     Decision Procedures
     Deductive, Compositional, and Abstraction Techniques for Verification
     Finite Model Theory
     First-order and Higher-order Logics
     Formal Languages
     Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
     Games and Automata for Verification
     Game Semantics
     Logical aspects of Computational Complexity
     Logics of Programs
     Modal and Temporal Logics
     Model Checking
     Models of Reactive and Real-Time Systems
     Program Analysis and Software Verification
     Run-time Verification and Testing
     Specification and Verification of Finite and Infinite-state Systems
     Synthesis
* INVITED SPEAKERS
   Alessandro Cimatti (ITC-IRST, Italy)
   Thomas Henzinger (IST, Austria)
   Christof Loeding (University of Aachen, Germany)
* IMPORTANT DATES
   Abstract submission: May 1, 2013
   Paper submission: May 8, 2013
   Acceptance notification: June 17, 2013
   Final version: June 26, 2013
   Conference: August 29-31, 2013
* PROGRAM CHAIRS
   Tiziano Villa (University of Verona, Italy)
   Gabriele Puppis (LaBRI, Bordeaux, France)
* ORGANIZING CHAIR
   Pietro Sala (University of Verona, Italy)


HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
   Early Call for Participation
   Workshop at Center for Computational Intractability (CCI)
   Princeton University, NJ, USA
   August 27-29, 2013.
   http://intractability.princeton.edu/blog/2013/01/mihalisfest-2013/
* See the workshop's webpage for further information,
   including list of speakers.


ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
   Call for Nominations
* Eligible for the 2013 Ackermann Award are PhD dissertations in topics
   specified by the EACSL and LICS conferences, which were formally
   accepted as PhD theses at a university or equivalent institution
   between 1.1.2011 and 31.12.2012.
* Submission details are available at
   http://www.eacsl.org/submissionsAck.html
* The deadline for submission is April 15, 2013
* Nominations should be sent to the chair of the Jury by
   e-mail: anuj.dawar at cl.cam.ac.uk
* The award consists of
   - a diploma,
   - an invitation to present the thesis at the CSL conference,
   - the publication of the laudation in the CSL proceedings,
   - travel support to attend the conference.
* The 2013 Ackermann Award will be presented to the recipients at the
   annual conference of the EACSL (CSL'13) in Torino (Italy)
   to be held 2-5 September 2013.
* The jury consists of  8  members:
   - T. Coquand (Chalmers University of Gothenburg)
   - A. Dawar (Cambridge, U.K., president of EACSL)
   - T.A. Henzinger (Klosterneuburg, Austria)
   - D. Leivant (Bloomington, USA)
   - D. Niwinski (Warsaw, Poland)
   - L. Ong (Oxford, U.K., LICS representative)
   - S. Ronchi Della Rocca (vice-president of EACSL)
   - W. Thomas (Aachen, Germany)
* The jury is entitled to give more (or less) than one award per year.
* The previous Ackermann Award recipients were:
   2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
   2006: Stefan Milius and Balder ten Cate;
   2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang;
   2008: Krishnendu Chatterjee;
   2009: Jakob Nordstrom;
   2010: ---- (no award given);
   2011: Benjamin Rossman
   2012: Andrew Polonsky and Szymon Torunczyk


POST-DOC POSITION IN ICT IN TRENTO, ITALY
* One post-doc position in ICT on the research project  "Advanced SMT
   Techniques for Word-level Formal Verification - (WOLF)" is available
   in Trento, Italy, under the joint supervision of
   - Alessandro Cimatti, FBK, Trento, and
   - Roberto Sebastiani, DISI, University of Trento.
   The research activity will be carried out jointly within the Embedded
   Systems (ES) Research Unit of the Center for Scientific and
   Technological Research of the Fondazione Bruno Kessler (FBK), Trento,
   and the Software Engineering, Formal Methods & Security  Research
   Program, at Department of Information Engineering and Computer Science
   (DISI) of University of Trento.
* AIM AND SCOPE
   The research activity will aim at investigating and developing novel
   techniques, methodologies and support tools for Satisfiability Modulo
   Theories (SMT) for the formal verification of systems.  This work will
   be part of the "Advanced SMT Techniques for Word-level Formal
   Verification - (WOLF)" project, a three-year research project
   supported by SRC/GRC (http://www.src.org/compete/s201113/), in strict
   collaboration with the Formal Verification Group at Intel, Haifa, and
   other major HW companies.
* The ultimate goal of the WOLF project is to provide a comprehensive
   SMT package to support effective formal verification of systems
   ranging from RTL circuits all the way up to high-level hardware
   description languages (e.g. SystemC) and software. The package will be
   implemented on top of the MathSAT SMT platform
   (http://mathsat.fbk.eu/), and provided as an API.
* CANDIDATE PROFILE
   The ideal candidate should have an PhD in computer science or related
   discipline, and combine solid theoretical background and excellent
   software development skills (in particular C/C++).
   A solid background knowledge and/or previous experience on one of the
   following topics (in order of preference) is required:
   Satisfiability Modulo Theory (SMT), Propositional Satisfiability (SAT),
   Model Checking, Automated Reasoning.
   Previous experience in the following areas will also be considered
   favourably: Constraint Solving and Optimization, Embedded Systems
   Design Languages (e.g. Verilog, VHDL).
   The candidate should be able to work in a collaborative environment,
   with a strong committment to reaching research excellence and achieving
   assigned objectives.
* TERMS AND DATES
   The position will start as soon as possible, and will have to be
   renewed yearly, for a maximum of two years. The expected salary
   will range from about 2200 to 2400 euros net income, and the gross
   will include previdential (social security) contributions.  Facilities
   for meals at the local canteen can be provided.
* APPLICATION AND INQUIRIES
   Interested candidates should inquire for further information and/or
   apply by sending email to wolf-recruit at disi.unitn.it, with subject
   'POSTDOC ON WOLF PROJECT'.
   Applications should contain a statement of interest, with a Curriculum
   Vitae, and the names of reference persons. PDF format is strongly
   encouraged. It should also indicate an estimated starting date.
* CONTACT PERSONS
   Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit,
   FBK-Irst, via Sommarive 18, I-38123 Povo, Trento, Italy
   http://sra.fbk.eu/people/cimatti/
   Prof. ROBERTO SEBASTIANI, Software Engineering, Formal Methods & Security
   Research Program DISI, University of Trento, via Sommarive 14, I-38123 Povo,
   Trento, Italy
   http://disi.unitn.it/~rseba/


You are subscribed to the lics mailing list 
because you have signed up for it in the past.

Submissions to the newsletter:
Send an email to las-lics at lists.tu-berlin.de.

Unsubscribe:
To unsubscribe, please send an email to 
las-lics-request at lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').

Subscribe:
To subscribe,  please send an email to las-lics-request at lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').



More information about the FOM mailing list