LICS Newsletter/SIGLOG Monthly 167
February  1, 2015

*******************************************************************
* 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
* LICS-RELATED NEWS
  SIGLOG Monthly Bulletin
  LICS'15 Preview
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  LCTES 2015 - Call for Papers
  CICM 2015 - Call for Papers
  ICALP 2015 - Call for Papers
  HCSS 2015 - Call for Presentations
  JLAMP (ISSUE ON VERIFICATION) - Call for Papers
  CCC 2014 POSTPROCEEDINGS - Call for Submissions
  ACTA INFORMATICA (ISSUE ON SYNTHESIS) - Call for Papers
  TACL 2015 - Call for School/Conference Participation and Papers
  TbiLLC 2015 - Call for Papers
  WWV 2015 - Call for Papers
  CALCO 2015 - Call for Papers
  NLCS 2015 - Call for Papers
  CSL 2015 - Call for Papers
  MFPS XXXI - Call for Papers
  FroCoS 2015 - Call for Papers
  NAT@LOGIC 2015 - Call for Papers
  LPNMR 2015 - Preliminary Call for Papers
  ACKERMANN AWARD 2015 - Call for Nominations
  CADE-25 - Call for Posters and Encyclopedia Entries (Proof Systems)
  ICLP 2015 - Call for Papers
  ATVA 2015 - Call for Papers
  TIME 2015 - Call for Papers
  QPL 2015 - Call for Papers
  ICTAC 2015 - Call for Papers
  SETTA 2015 - Call for Papers
* BOOK ANNOUNCEMENT
  All about Proofs, Proofs for All
* JOB ANNOUNCEMENTS
  Ph.D. Position in Model-Based Testing, Halmstad University, Sweden
  PhD Studentship in Algorithms and Complexity at Royal Holloway, University of London
  New Doctoral Program on Logical Methods in Computer Science (LogiCS)


SIGLOG MONTHLY BULLETIN
* From the new year, the preparation of the LICS Newsletter is overseen by
  SIGLOG and its name will change to SIGLOG Monthly Bulletin. The newsletter
  will be distributed monthly in the same way as before. Conference
  announcements should be sent to las-lics@lists.tu-berlin.de.



LICS'15 PREVIEW
  http://lics.rwth-aachen.de/lics15/
* LICS'15 will colocate with ICALP 2015, 6-10 July, in Kyoto. Masahito Hasegawa
  (RIMS, Kyoto) is the Conference Chair. The PC is chaired by Catuscia
  Palamidessi. There will be 4 invited talks, 2 of which joint with ICALP
  Track B. The 2 invited tutorial talks of 1.5 hours each will be embedded
  in the main programme.



ACM SIGLOG ANNOUNCEMENT
  http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
  Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
  the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
  and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science will be the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter will be published
  quarterly in an electronic format with community news, technical columns,
  members' feedback, conference reports, book reviews and other items of
  interest to the community.
* One can join SIGLOG by visiting
  https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
  It is possible to join SIGLOG without joining ACM (the SIGLOG membership
  fee is $25 and $15 for students).



DEADLINES
* LCTES 2015
  Submission deadline: February 15, 2015
  http://lctes2015.lctes.org
* CICM 2015
  Abstract submission deadline: February 16, 2015
  Submission deadline: February 23, 2015
  http://cicm-conference.org/2015/cicm.php
* ICALP 2015
  Submission deadline: February 17, 2015
  http://www.kurims.kyoto-u.ac.jp/icalp2015/
* HCSS 2015
  Abstract/poster topic submission deadline: February 19, 2015
  http://cps-hcss.org
* JLAMP (SPECIAL ISSUE ON VERIFICATION)
  Abstract submission: February 25, 2015
  Full paper submission: March 15, 2015
* CCC 2014 POSTPROCEEDINGS
  Submission deadline: February 28, 2015
* ACTA INFORMATICA (SPECIAL ISSUE ON SYNTHESIS)
  Submission deadline: March 1, 2015
  http://www.easychair.org/smart-program/VSL2014/SYNT-cfp_specialissue.html
* TACL 2015
  Submission deadline: March 1, 2015
  http://logica.dmi.unisa.it/tacl/
* TbiLLC 2015
  Submission deadline: March 1, 2015
  http://www.illc.uva.nl/Tbilisi/Tbilisi2015
* WWV 2015
  Abstract submission: March 18, 2015
  Paper submission: March 25, 2015
  http://wwv2015.isti.cnr.it/
* CALCO 2015
  Abstract submission: March 22, 2015
  Paper submission: April 2, 2015
  http://coalg.org/calco15/
* NLCS '15
  Paper submission deadline: April 2, 2015
  http://www.indiana.edu/~iulg/nlcs.html
* CSL 2015
  Abstract submission: April 3, 2015
  Paper Submission: April 10, 2015
  http://logic.las.tu-berlin.de/csl2015/
* MFPS XXXI
  Submission deadline: April 3, 2015
  http://events.cs.bham.ac.uk/mfps31/
* FroCoS 2015
  Abstract submission: April 10, 2015
  Full paper submission: April 19, 2015
  http://frocos2015.ii.uni.wroc.pl/
* LOGIC AT NATAL 2015
  Submission deadline: April 12, 2015
  http://natalogic-2015.dimap.ufrn.br/
* LPNMR 2015
  Paper registration: April 13, 2015
  Paper submission:   April 20, 2015
  http://lpnmr2015.mat.unical.it/
* ACKERMANN AWARD 2015
  Nomination deadline: April 15, 2015
* CADE-25 POSTERS & ENCYCLOPEDIA ENTRIES
  Submission deadline: April 19, 2015
  http://proofsystem.github.io/Encyclopedia/
* ICLP 2015
  Abstracts due:  April 20, 2015
  Papers due:  April 27, 2015
  http://booleconferences.ucc.ie/iclp2015
* ATVA 2015
  Abstract submission: April 22, 2015
  Paper submission: April 25, 2015
  Workshop proposal submission: May 5, 2015
  http://atva2015.ios.ac.cn/
* TIME 2015
  Submission deadline: April 30, 2015
  http://time2015.uni-kassel.de
* QPL 2015
  Submission deadline: 1 May 2015
  http://www.cs.ox.ac.uk/qpl2015
* ICTAC 2015
  Abstract submission: June 1, 2015
  Paper submission: June 5, 2015
  Submission deadline: June 5, 2015
  http://www.ictac2015.co
* SETTA 2015
  Abstract deadline: June 12,2015
  Paper submission: June 19,2015
  http://cs.nju.edu.cn/setta/



ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2015)
  Call for Papers
  June 18-19, 2015
  Portland, Oregon
  (part of the Federated Computing Research Conference 2015)
  http://lctes2015.lctes.org
* GENERAL
  LCTES provides a link between the programming languages and embedded
  systems engineering communities. Researchers and developers in these
  areas are addressing many similar problems, but with different
  backgrounds and approaches. LCTES is intended to expose researchers
  and developers from either area to relevant work and interesting
  problems in the other area and provide a forum where they can
  interact.
* SUBMISSIONS
  LCTES 2015 solicits papers presenting original work on programming
  languages, compilers, tools, theory, and architectures that help in
  overcoming these challenges. Research papers on innovative techniques
  are welcome, as well as experience papers on insights obtained by
  experimenting with real-world systems and applications.
* IMPORTANT DATES
  Submission deadline: Feb. 15
  Notifications by: Apr. 1
  Camera-ready deadline: Apr. 11
* SPECIAL ISSUE
  A few of the best submissions to LCTES 2015 are planned to be invited
  for submission, with some revisions, to a special issue of the ACM
  Transactions on Embedded Computing Systems (TECS). The official publication
  date is the date the proceedings are made available in the ACM Digital
  Library. This date may be up to two weeks prior to the first day of your
  conference.
* ORGANIZATION
  - General Chair
    Sam H. Noh, Hongik University, Republic of Korea
  - Program Chairs
    Sebastian Fischmesiter, University of Waterloo, Canada
    Jason Xue, City University of Hong Kong, China



CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS (CICM 2015)
  Call for Papers
  13-17 July 2015
  Washington DC, USA
  http://cicm-conference.org/2015/cicm.php
* AIMS
  Digital and computational solutions are becoming the prevalent means for the
  generation, communication, processing, storage and curation of mathematical
  information. Separate communities have developed to investigate and build
  computer based systems for computer algebra, automated deduction, and
  mathematical publishing as well as novel user interfaces. While all of these
  systems excel in their own right, their integration can lead to synergies
  offering significant added value. The Conference on Intelligent Computer
  Mathematics (CICM) offers a venue for discussing and developing solutions
  to the great challenges posed by the integration of these diverse areas.
* HISTORY
  CICM has been held annually as a joint meeting since 2008, co-locating
  related conferences and workshops to advance work in these
  subjects. Previous meetings have been held in Birmingham (UK 2008),
  Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
  Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).
* TRACKS
  - Calculemus (Symbolic Computation and Mechanised Reasoning)
    Chair: Jacques Carette
  - DML (Digital Mathematical Libraries)
    Chair: Volker Sorge
  - MKM (Mathematical Knowledge Management)
    Chair: Cezary Kaliszyk
  - Systems and Data
    Chair: Florian Rabe
* ORGANIZATION
  Publicity chair is Serge Autexier. The local arrangements will be
  coordinated by the Local Arrangements Chairs, Bruce R. Miller
  (National Institute of Standards and Technology, USA) and Abdou
  Youssef (The George Washington University, Washington, D.C.), and the
  overall programme will be organized by the General Programme Chair,
  Manfred Kerber (U. Birmingham, UK). As in previous years, it is anticipated
  that there will be a number co-located workshops, including one to mentor
  doctoral students giving presentations. We also solicit for project
  descriptions and work-in-progress papers.
* IMPORTANT DATES
  - Conference submissions:
    Abstract submission deadline:      16 February 2015
    Submission deadline:               23 February 2015
    Reviews sent to authors:            6 April    2015
    Rebuttals due:                      9 April    2015
    Notification of acceptance:        13 April    2015
    Camera ready copies due:           27 April    2015
    Conference:                     13-17 July     2015
  - Work-in-progress and Doctoral Programme submissions:
    Submission deadline:
    (Doctoral: Abstract+CV)             4 May      2015
    Notification of acceptance:        25 May      2015
    Camera ready copies due:            1 June     2015



42ND INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2015)
  Call for Papers
  July 6-10, 2015
  Kyoto, Japan
  http://www.kurims.kyoto-u.ac.jp/icalp2015/
* GENERAL
  ICALP 2015 will co-locate with LICS 2015, the 30th ACM/IEEE Symposium on
  Logic in Computer Science. The ICALP 2015 conference chair is Kazuo Iwama
  (Kyoto University). ICALP is the main conference and annual meeting of the
  European Association for Theoretical Computer Science (EATCS). As usual,
  the main conference will be preceded and/or followed by a series of workshops.
* IMPORTANT DATES
  Submission deadline: Tuesday, 17 February 2015, 23:59 PST (Pacific Standard Time, UTC-8)
  Author notification: 15 April 2015
  Final manuscript due: 30 April 2015
  Deadlines are firm; late submissions will not be considered.
* PROCEEDINGS
  ICALP proceedings are published in the Springer-Verlag ARCoSS
  (Advanced Research in Computing and Software Science) subseries of
  LNCS (Lecture Notes in Computer Science).
* INVITED SPEAKERS
  Ken Kawarabayashi, NII, Japan
  Valerie King, University of Victoria, Canada
  Thomas Moscibroda, MSR Asia, China
  Anca Muscholl, Universite Bordeaux, France (Joint with LICS)
  Peter O'Hearn, Facebook, UK (Joint with LICS)
* INVITED TUTORIAL SPEAKERS (JOINT WITH LICS)
  Piotr Indyk, MIT, USA
  Andrew Pitts, University of Cambridge, UK
  Geoffrey Smith, Florida International University, USA
* MASTERCLASS SPEAKER
  Ryuhei Uehara, JAIST, Japan
* TOPICS
  Papers presenting original research on all aspects of theoretical
  computer science are sought.
  - Track A: Algorithms, Complexity and Games
  - Track B: Logic, Semantics, Automata and Theory of Programming
  - Track C: Foundations of Networked Computation: Models, Algorithms and
    Information Management
* SUBMISSION GUIDELINES
  Authors are invited to submit an extended abstract of no more than 12
  pages, including references, in LNCS style presenting original
  research on the theory of Computer Science.  All submissions will be
  electronic via the EasyChair page for the conference, with three
  tracks (A, B and C):
  https://easychair.org/conferences/?conf=icalp2015
  Submissions should be made to the appropriate track of the conference.
  No prior publication or simultaneous submission to other publication
  outlets (either a conference or a journal) is allowed.
* 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.
* CHAIRS
  Track A: Bettina Speckmann, TU Eindhoven, The Netherlands
  Track B: Naoki Kobayashi, The University of Tokyo, Japan
  Track C: Magnus M. Halldorsson, Reykjavik Univ, Iceland



15th ANNUAL HIGH CONFIDENCE SOFTWARE AND SYSTEMS CONFERENCE (HCSS 2015)
  Call for Presentations
  5-8 May 2015, Annapolis, Maryland
  http://cps-hcss.org
* INTRODUCTION
  The fifteenth annual HCSS Conference will be held May 5-8, 2015 at the
  Historic Inns of Annapolis in Annapolis, Maryland. You are invited to
  submit a proposal to present a talk at this year¹s conference. As in
  previous years, you are also invited to participate in a poster session.
* CONFERENCE THEMES
  We invite submissions on any topic related to high-confidence software and
  systems that align with the conference scope and goals. In addition, the
  2015 HCSS Conference will highlight the following themes:
  - PROOF ENGINEERING
  - SUSTAINABLE INTEGRITY
  - PRIVACY
* IMPORTANT DATES
  - Thursday, February 19, 2015 - Abstracts of proposed talks and poster
    topics submission deadline
  - Friday, March 13, 2015 - Notifications of acceptance/rejection
  - Monday, April 13, 2015 - Camera-Ready Abstracts Due
  - Friday, April 24, 2015 - Poster Files Due
  - Monday, May 4, 2015 - Presentation Files Due
  - May 5-8, 2015 - HCSS Conference
* PLANNING COMMITTEE
  - Co-Chairs: Kathleen Fisher, Tufts University and John Hatcliff, Kansas
    State University
  - Steering Group: Byron Cook (MS Research), John Launchbury (DARPA), Brad
    Martin (NSA), Stephen Magill (Galois), Bill Scherlis (CMU), Tim Thimmesch
    (NSA)
  - Organizer: Katie Dey, Vanderbilt University
  - Sponsor Agency: NITRD HCSS Coordinating Group



JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
  Call for Papers
  Special Issue on Automated Verification of Programs and Web Systems
* SPECIAL ISSUE
  This special issue of the Journal of Logical and Algebraic Methods
  in Programming (JLAMP) is devoted to the themes of the WWV and VPT
  workshop series on Automated Specification and Verification of Web
  Systems (WWV) and on Verification and Program Transformation (VPT).
  This is however an open call for papers. Both participants of the
  most recent editions of the WWV and VPT workshop series and others
  working on the themes of this special issue are hereby invited to
  submit a paper.
* IMPORTANT DATES
  Abstract submission: 25 February 2015
  Full paper submission: 15 March 2015
  Acceptance notification: 30 June 2015
  Final manuscript due: 25 July 2015
  Expected publication: Fall 2015
* AIMS AND SCOPE
  This special issue provides a forum for researchers working in the
  areas of verification, program transformation, software engineering,
  rule-based programming, formal methods, and Web-oriented research,
  to submit their papers on the Automated Verification of Programs and
  Web Systems. We solicit original papers on topics of either theoretical
  or applied interest.
* SUBMISSION
  We expect original articles (typically 20-30 pages; submission of
  larger papers will be evaluated depending on editorial constraints)
  that present high-quality contributions, which have not previously
  been published and that are also not simultaneously submitted for
  publication elsewhere. Each paper will undergo a thorough evaluation
  by at least three reviewers.
  All contributions must be written in English, must be submitted in
  PDF format and must comply with JLAMP's author instructions (the
  manuscripts should be prepared using Elsevier's elsart.cls LaTeX
  article class) which can be retrieved from the journal's homepage:
  http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/
  Submissions are handled using the Elsevier Editorial System and
  can be uploaded via the aforementioned JLAMP homepage. In the
  submission process, the authors must select article type "WWVPT".
* GUEST EDITORS
  Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
  Alexei Lisitsa, University of Liverpool, UK
  Andrei P. Nemytykh, Russian Academy of Sciences, Russia
  Antonio Ravara, Universidade Nova de Lisboa, Portugal



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2014 POSTPROCEEDINGS
  Call for Submissions
* After a further year of successful work in the EU-IRSES project COMPUTAL and
  an excellent workshop in Ljubljana (Slovenia) in September this year, we are
  planning to publish a collection of papers dedicated to the meeting and the
  project in the JOURNAL OF LOGIC AND ANALYSIS. The issue should reflect
  progress made in Computable Analysis and related areas, not only work in
  the project. Submissions are welcome from all scientists and should be on
  topics in the spectrum from logic to algorithms including, but not limited to,
  - Computable analysis
  - Complexity of real number computations
  - Computing with continuous data
  - Domain theory and analysis
  - Randomness and computable measure theory
  - Models of computation with real numbers
  - Realizability theory and analysis
  - Reverse analysis
  - Exact real number computation
  - Program extraction in analysis.
* EDITORS
  Andrej Bauer (Ljubljana, Slovenia)
  Ulrich Berger (Swansea, UK)
  Willem Fouche (Pretoria, South Africa)
  Dieter Spreen (Siegen, Germany & Pretoria, South Africa)
  Hideki Tsuiki (Kyoto, Japan)
  Martin Ziegler (Darmstadt, Germany)
* DEADLINE FOR SUBMISSION:
  31 January 2015
  Please prepare your manuscript using the JLA class file jlogana.cls and
  the bibliography style file jloganal.bst which can be downloaded from
  http://logicandanalysis.org/latex/latexinstructions.html
  For submissions go to the JLA webpage
  http://logicandanalysis.org/index.php/jla/information/authors
  and follow the instructions given there. In addition, important,
  When submitting to JLA, write CCC2014 POSTPROCEEDINGS in the
  Comments-for-the-Editor box. Send a separate copy of your submission to
  spreen@math.uni-siegen.de. And, if appropriate, identify one or more members
  of the Issue Editors mentioned above whose interests are closest to the
  subject matter of the paper in the mail.



ACTA INFORMATICA: SPECIAL ISSUE ON SYNTHESIS
  Call for Papers
  http://www.easychair.org/smart-program/VSL2014/SYNT-cfp_specialissue.html
* SCOPE
  This special issue is devoted to the scope of the Third Workshop on
  Synthesis, SYNT 2014 (see http://vsl2014.at/synt). SYNT 2014 was
  co-located with CAV in the scope of the Vienna Summer of Logic 2014 and
  was devoted to bringing together researchers from different research
  areas who work on the quickly growing field of synthesis. The special
  issue is open to all topics related to synthesis.
* SUBMISSIONS
  Submission to this special issue is completely open and not limited to
  participants of the SYNT 2014 workshop. We expect original articles
  (typically 15-30 pages), which present high-quality contributions that
  have not been previously published in a journal and are not concurrently
  submitted to any other peer reviewed venue. All submissions should
  include some theoretical contribution to the area of synthesis. Extended
  versions of contributions previously published in proceedings need to
  contain significant new material and should be accompanied by a short
  description of the extension.
* DATES
  Submissions are accepted starting in January 2015, using the "Submit
  Online" button of the journal's website:
  http://www.springer.com/computer/theoretical+computer+science/journal/236
  Submission deadline: 1st of March 2015



TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL 2015)
  Call for Participation
  School: 15 - 19 June 2015, University of Salerno (Italy)
  Conference: 21 - 26 June 2015, Ischia Island (Italy)
  http://logica.dmi.unisa.it/tacl/
* PROGRAMME
  The programme of the conference TACL 2015 will focus on three
  interconnecting mathematical themes central to the semantic study of
  logics and their applications: algebraic, categorical, and topological
  methods. This is the seventh conference in the series Topology,
  Algebra, and Categories in Logic (TACL). Earlier instalments of this
  conference have been organised in Tbilisi (2003), Barcelona (2005),
  Oxford (2007), Amsterdam (2009), Marseilles (2011), and Nashville
  (2013). Starting from 2013, the conference is preceded by a one-week
  school.  This year the school will be held at the campus of the
  University of Salerno and will include four tutorials, each consisting
  of 1.5 hour lectures for five days.
* IMPORTANT DATES
  The website is now open for submissions and registration.
  Deadline for submissions                                1 March 2015
  Notification of acceptance                              30 March 2015
  Deadline for early registration (conference)            30 April 2015
  Deadline for registration (school)                      30 April 2015
  School dates: 15 - 19 June 2015, University of Salerno (Italy)
  Conference dates: 21 - 26 June 2015, Ischia Island (Italy)
* INVITED SPEAKERS
  Olivia Caramello (Institut des Hautes Etudes Scientifiques), Agata
  Ciabattoni (Technische Universitaet Wien), Maria Manuel Clementino
  (Universidade de Coimbra), Emil Jerabek (Academy of Sciences of the Czech
  Republic), Andre Joyal (Universite du Quebec), Keith A. Kearnes (University
  of Colorado), Daniele Mundici (University of Florence), Paulo Oliva (Queen
  Mary University of London), Jorge Picado (Universidade de Coimbra), Michael
  Pinsker (University Paris Diderot)
* SCHOOL LECTURERS
  Guram Bezhanishvili (New Mexico State University), Brian Davey (La Trobe
  University), Ieke Moerdijk (Nijmegen University), Luke Ong (Oxford University)



THE 11TH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION
  Call for Papers
  21-26 September 2015
  Tbilisi, Georgia
  http://www.illc.uva.nl/Tbilisi/Tbilisi2015
* AIMS
  The Eleventh International Tbilisi Symposium on Language, Logic and
  Computation will be held on 21-26 September 2015 in Tbilisi, Georgia. The
  Programme Committee invites submissions for contributions
  on all aspects of language, logic and computation. Work of an
  interdisciplinary nature is particularly welcome. Areas of interest
  include, but are not limited to:
  - Algorithmic game theory
  - Computational social choice
  - Constructive, modal and algebraic logic
  - Formal models of multiagent systems
  - Historical linguistics, history of logic
  - Information retrieval, query answer systems
  - Language evolution and learnability
  - Linguistic typology and semantic universals
  - Logic, games, and formal pragmatics
  - Logics for artificial intelligence
  - Natural language syntax, semantics, and pragmatics
  - Natural logic, inference and entailment in natural language
  - Distributional and probabilistic models of information and meaning
* SUBMISSIONS
  Authors can submit an abstract of three pages (including references) at the
  EasyChair conference system here:
  http://www.easychair.org/conferences/?conf=tbillc2015
* PROGRAMME
  The programme will include the following invited lectures and tutorials.
  - Tutorials
    Logic: Brunella Gerla (University of Insubria)
    Language: Lisa Matthewson (University of British Columbia)
    Computation: Joel Ouaknine (Oxford University)
  - Invited Lectures
    Rajesh Bhatt (University of Massachusetts )
    Melvin Fitting (Graduate School and University Center of New York)
    Helle Hansen (Delft University of Technology)
    George Metcalfe (Bern University)
    Sarah Murray (Cornell University)
    Mehrnoosh Sadrzadeh (Queen Mary, University of London)
* WORKSHOPS
  There will also be a workshop on Automata and Coalgebra, organised by
  Helle Hansen and Alexandra Silva and a workshop on "How to make things
  happen in grammar: Encoding Obligatoriness?, organised by Rajesh Bhatt and
  Vincent Homer.
* CHAIRS
  Daniel Altshuler (Chair, Heinrich-Heine-University Duesseldorf)
  Luca Spada (Chair, ILLC, University of Amsterdam and University of Salerno)
* PUBLICATION INFORMATION
  Post-proceedings of the symposium will be published in the LNCS series of
  Springer.
* IMPORTANT DATES
  Submission deadline: 1 March 2015
  Notification: 1 May 2015
  Final abstracts due: 1 June 2015
  Registration deadline: 1 August 2015
  Symposium: September 21-26, 2015



11TH INTERNATIONAL WORKSHOP ON AUTOMATED SPECIFICATION AND VERIFICATION OF WEB SYSTEMS (WWV 2015)
  Call for Papers
  June 23rd, 2015
  Oslo (Norway)
  affiliated with FM 2015
  http://wwv2015.isti.cnr.it/
* IMPORTANT DATES
  Abstract submission             March 18, 2015
  Paper submission                March 25, 2015
  Notification of acceptance      May 8, 2015
  Camera ready versions           May 31, 2015
  Workshop WWV 2015               June 23, 2015
* SCOPE
  The Workshop on Automated Specification and Verification of Web
  Systems (WWV) is a yearly interdisciplinary forum for researchers
  originating from the following areas: declarative, rule-based
  programming, formal methods, software engineering and web-based
  systems. WWV fosters the cross-fertilisation and advancement of
  hybrid methods from such areas. During its ten earlier editions,
  the WWV workshop series has established itself as a lively,
  friendly event with many interactions and discussions.
* PAPERS
  WWV welcomes papers of either theoretical or applied interest,
  including case studies or experience reports, in all areas of
  web-based systems (web services, cloud platforms,
  Internet-of-Things, social networks, big data), including but
  not limited to:
  - Formal methods and rigorous software and system engineering
  - Declarative, rule-based approaches
  - Product line and feature-oriented engineering
  - Programming and design languages and models
  - Specification, certification, transformation, and synthesis
  - Analysis, verification, model checking, and debugging
  - Semi-structured data, linked data, and semantic web
  - Security, trust, privacy, reputation, confidentiality, and integrity
  - Quality, metrics, usability, and accessibility
  - Testing, evaluation, and optimisation
  - Middleware, platforms, and frameworks
* INVITED SPEAKERS
  Dino Distefano         Queen Mary University, London, UK
  Jose Meseguer          University of Illinois, USA
* SUBMISSION
  We solicit the submission of original, unpublished contributions
  not under review for publication elsewhere. Contributions are
  expected to comprise research papers (with novel, previously
  unpublished results), experience reports of real-world
  applications, tool descriptions, and short papers (e.g. describing
  work-in-progress or exploratory ideas). All papers must be
  prepared in LaTeX using the EPTCS style
  - Full papers should not exceed 16 pages (typeset 11 points).
  - Short papers should not exceed 8 pages.
* PUBLICATION
  All contributions will be evaluated by at least three reviewers,
  chosen by the Program Committee. The PC will select the best
  papers based on their quality, relevance to the workshop, and
  potential to instigate discussion.
  An open call for a special issue in a highly-reputed journal on
  the topic of the WWV workshop is envisaged. This has been common
  practice for WWV since 2009.
* PROGRAM CHAIRS
  Maurice H. ter Beek    ISTI-CNR, Pisa, Italy
  Alberto Lluch Lafuente Technical University of Denmark



6TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2015)
  Call for Papers
  June 24-26, 2015
  Nijmegen, Netherlands
  http://coalg.org/calco15/
* 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),
  Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will
  be held in Nijmegen, the Netherlands, colocated with MFPS XXXI.
* INVITED SPEAKERS
  Andy Pitts - University of Cambridge, UK (joint with MFPS)
  Chris Heunen - University of Oxford, UK
  Matteo Mio - CNRS, ENS Lyon, FR
  Daniela Petrisan - Radboud University, Nijmegen, NL
* 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
  - Specialised models and calculi
  - Algebraic and coalgebraic semantics
  - System specification and verification
  - Corecursion in Programming Languages
  - Algebra and Coalgebra in quantum computing
* NEW TOPIC
  This edition of CALCO will feature a new topic, and submission of papers
  in this area is particularly encouraged.
- String Diagrams and Network Theory
* 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. Submissions will be handled via EasyChair
  https://www.easychair.org/conferences/?conf=calco2015
* IMPORTANT DATES --
  Abstract submission:    March 22, 2015
  Paper submission:       April 2, 2015
  Author notification:    May 6, 2015
  Final version due:      June 3, 2015
* PC CHAIRS
  Larry Moss (co-chair), Indiana University, US
  Pawel Sobocinski (co-chair), University of Southampton, UK
* ORGANISING COMMITTEE
  Alexandra Silva, Bart Jacobs, Nicole Messink, Sam Staton
* PUBLICITY
  Fabio Zanasi
* CALCO Early Ideas Overview
  The CALCO Early Ideas Workshop invites submissions on the same topics
  as the CALCO conference: reporting 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.
  The list of topics of particular interest is shown on the main CALCO 2015 page.
  We encourage PhD students and young researchers to submit Early Idea papers
  to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in
  the abstract that the paper is to be considered for an Early Ideas talk.



THIRD WORKSHOP ON NATURAL LANGUAGE AND COMPUTER SCIENCE (NLCS'15)
  July 5, 2015
  Kyoto, Japan
  http://www.indiana.edu/~iulg/nlcs.html
  Affiliated with ICALP 2015 & LICS 2015
  Endorsed by the Association for Computational Linguistics Special Interest
  Group on Computational Semantics
* AIMS AND SCOPE
  Formal tools coming from logic and category theory are important in both
  natural language semantics and in computational semantics. Moreover,
  work on these tools borrows heavily from all areas of theoretical computer
  science. In the other direction, applications having to do with natural
  language has inspired developments on the formal side. The workshop invites
  papers on both topics. Specific topics includes, but are not limited to:
  - logic for semantics of lexical items, sentences, discourse and dialog
  - continuations in natural language semantics
  - formal tools in textual inference, such as logics for natural language inference
  - applications of category theory in semantics
  - linear logic in semantics
  - formal approaches to unifying data-driven and declarative approaches to semantics
* INVITED SPEAKERS
  Makoto Kanazawa, National Institute of Informatics
  Gerard de Melo, Tsinghua University
* PAPER SUBMISSIONS
  Extended abstracts of up to 10 pages may be submitted through Easychair:
  https://easychair.org/conferences/?conf=nlcs15
* ORGANIZERS
  Valeria de Paiva
  Makoto Kanazawa
  Larry Moss
* IMPORTANT DATES
  Paper submission deadline:      April 2, 2015
  Author notification:    May 1, 2015
  Electronic versions of papers due:      May 14, 2015
  Workshop: July 5, 2015



COMPUTER SCIENCE LOGIC 2015 (CSL 2015)
  Call for Papers
  7-10 September 2015
  Berlin, Germany
  http://logic.las.tu-berlin.de/csl2015/
* 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 24th EACSL Annual Conference on Computer Science Logic will be
  held at the Technical University Berlin from  Monday, 7 September 2015
  to Thurday, 10 September 2015.
* 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
  - finite model theory
  - 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
  - nonmonotonic reasoning
* IMPORTANT DATES
  Abstract submission: 3 April 2015
  Paper Submission:    10 April 2015
  Paper Notification:   13 June 2015
  Conference:       7 - 10 September 2015
* 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. Submitted papers must be in English
  and must provide sufficient detail to allow the PC to assess the
  merits of the paper. Full proofs may appear in a technical appendix
  which will be read at the reviewers' discretion. Authors are strongly
  encouraged to include a well written introduction which is directed at
  all members of the program committee.
* SATELLITE EVENTS
  - The 11th  International Workshop on Fixed Points in Computer Science (FICS'15)
  will be held on 11 and 12 September 2015 as a co-located event of CSL'15.
  - YuriFest: we will celebrate Yuri Gurevich's 75th birthday with a
  symposium in his honour on 11 September 2015 as a co-located event
  of CSL'15.
  - The annual meeting of the GI Fachgruppe Logik will be organised at
  the Technical University Berlin in conjunction with CSL'15.
* PC CHAIR
  Stephan Kreutzer (Technical University Berlin, pc chair)
* ORGANISING COMMITTEE:
  - Christoph Dittmann (Technical University Berlin)
  - Viktor Engelmann (Technical University Berlin)
  - Stephan Kreutzer (Technical University Berlin, Chair)
  - Jana Pilz (Technical University Berlin)
  - Roman Rabinovich (Technical University Berlin)
  - Sebastian Siebertz (Technical University Berlin)



MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS XXXI (MFPS 2015)
  Call for Papers
  22-25 June 2015, Nijmegen, Netherlands
  http://events.cs.bham.ac.uk/mfps31/
* MFPS SERIES
  MFPS conferences are dedicated to the areas of mathematics, logic,
  and computer science that are related to models of computation in general,
  and to semantics of programming languages in particular. This is a forum
  where researchers in mathematics and computer science can meet
  and exchange ideas. The participation of researchers in neighbouring
  areas is strongly encouraged. This edition of MFPS will be co-located
  with CALCO.
* IMPORTANT DATES
  Submission: April 3, 2015
  Notification: May 15, 2015
  Final version: May 29, 2015
* INVITED SPEAKERS
  Andrew Pitts, Thierry Coquand, Paul B. Levy, Guy McCusker, Sam Staton
* INVITED TUTORIAL SPEAKERS
  Matija Pretnar, Daniela Petrisan, Andrzej Murawski
* SPECIAL SESSIONS
  algebraic effects, game semantics, homotopy type theory, quantitative semantics
* MORE INFO
  For more information please consult the web page.



10TH INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2015)
  Call for Papers
  Wroclaw, Poland
  September 21-24, 2015
  http://frocos2015.ii.uni.wroc.pl/
* GENERAL INFORMATION
  The 10th International Symposium on Frontiers of Combining Systems
  (FroCoS 2015) will be held in Wroclow, Poland, from September 21 to
  September 24, 2015. Its main goal is to disseminate and promote
  progress in research areas related to the development of techniques
  for the integration, combination, and modularization of formal
  systems together with their analysis.
  FroCos 2015 will be co-located with the 23rd International
  Conference on Automated Reasoning with Analytic Tableaux and Related
  Methods (TABLEAUX 2015) to be held also on September 21-24, 2015.
  The local organization of both events is handled by Hans de Nivelle.
* SCOPE OF CONFERENCE
  FroCoS 2015 seeks to offer a common forum for research in the general
  area of combination, modularization, and integration of systems, with
  emphasis on logic-based ones, and of their practical use.
  Typical topics of interest include (but are not limited to):
  - combinations of logics (such as higher-order, first-order, temporal,
    modal, description or other non-classical logics);
  - combination and integration methods in SAT and SMT solving;
  - combination of decision procedures, satisfiability procedures, constraint
    solving techniques, or logical frameworks;
  - combinations and modularity in ontologies;
  - integration of equational and other theories into deductive systems;
  - 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;
  - integration of data structures into constraint logic programming and deduction;
  - combinations and modularity in term rewriting;
  - applications of methods and techniques to the verification and analysis of information systems.
* PUBLICATION DETAILS
  The proceedings of the symposium will be published in the Springer LNAI/LNCS series.
* PAPER SUBMISSIONS
  The program committee seeks high-quality submissions describing
  original work, written in English, not overlapping with published or
  simultaneously submitted work to a journal or conference with
  archival proceedings. Selection criteria include accuracy and
  originality of ideas, clarity and significance of results, and
  quality of presentation. The page limit in Springer LNCS style is 16 pages.
* IMPORTANT DATES (TENTATIVE)
  April 10, 2015: Abstract submission deadline
  April 19, 2015: Full paper submission deadline
  June  5, 2015: Author notification
  July  3, 2015: Camera-ready due
  September 19-20, 2015: Workshop/Tutorials
  September 21-24, 2015: FroCoS Conference
  September    25, 2015: Workshop/Tutorials
* PROGRAM CHAIRS
  Carsten Lutz, University of Bremen [co-chair]
  Silvio Ranise, Fondazione Bruno Kessler [co-chair]



LOGIC AT NATAL (NAT@LOGIC 2015)
  Call for Papers
  Aug 31-Sep 4, 2015
  Natal, Brazil
  http://natalogic-2015.dimap.ufrn.br/
* NAT@Logic 2015 is a pool of workshops related to Logic
  in Computer Science, in Philosophy, and in Mathematics.
  These include:
  + LSFA X
    (10th Workshop on Logical and Semantic Frameworks, with Applications)
  + GeTFun 3.0
    (3rd Workshop on Generalizations of Truth-Functionality)
  + Filomena 2
    (2nd Workshop on Philosophy, Logic and Applied Metaphysics)
  + LFIs^15
    (Workshop commemorating the 15 years of the LFIs)
  + TRS Reasoning School
    (TRS = TRS Reasoning School)
  The full programme will boast 10 keynote speakers, plus at least 60
  contributed talks and 15 tutorials.
* Paper submission: 12 Apr 2015.



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Preliminary Call for Papers
  Lexington, KY, USA
  September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
  (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
* AIMS AND SCOPE
  LPNMR 2015 is the thirteenth in the series of international meetings on
  logic programming and non-monotonic reasoning. LPNMR is a forum for
  exchanging ideas on declarative logic programming, non-monotonic reasoning,
  and  knowledge representation. The aim of the conference is to facilitate
  interactions between researchers and practitioners interested in the
  design and implementation of logic-based programming languages and
  database systems, and those working in knowledge representation and
  nonmonotonic reasoning. LPNMR strives to encompass theoretical and
  experimental studies that have led or will lead to the construction of
  systems for declarative programming and knowledge representation, as well
  as their use in practical applications. This edition of LPNMR will feature
  several workshops, a special session dedicated to the 6th ASP Systems
  Competition, and will be collocated with the 4th Algorithmic Decision
  Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be
  a part of the program.
  Authors are invited to submit papers presenting original and unpublished
  research on all aspects of non-monotonic approaches in logic programming
  and knowledge representation. We invite submissions of both long and
  short papers.
* TOPICS
  Conference topics include, but are not limited to:
  1. Foundations of LPNMR Systems
  2. Implementation of LPNMR systems
  3. Applications of LPNMR
* SUBMISSION
  LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
  (6 pages) in the following categories:
  - Technical papers
  - System descriptions
  - Application descriptions
  The indicated number of pages includes title page, references and
  figures. All submissions will be peer-reviewed and accepted papers will
  appear in the conference proceedings published in the Springer-Verlag
  Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
  author of each accepted paper is expected to register for the conference
  to present the work.
  The Program Committee chairs are planning to arrange for the best papers to
  be published in a special issue of a premiere journal in the field.
  LPNMR 2015 will not accept any paper which, at the time of submission, is
  under review or has already been published or accepted for publication in
  a journal or another conference. Authors are also required not to submit
  their papers elsewhere during LPNMR's review period. However, these
  restrictions do not apply to previous workshops with a limited audience
  and without archival proceedings.
* ASSOCIATED WORKSHOPS
  LPNMR 2015 will include specialized workshops to be held on September 27
  prior to the main conference. Currently planned workshops include:
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo
* IMPORTANT DATES (TENTATIVE)
  - Paper registration: April 13, 2015
  - Paper submission:   April 20, 2015
  - Notification:       June 1, 2015
  - Final versions due: June 15, 2015
* VENUE
  Lexington is a medium size, pleasant and quiet university town. It
  is located in the heart of the so-called Bluegrass Region in
  Central Kentucky. The city is surrounded by beautiful horse farms
  on green pastures dotted with ponds and traditional architecture
  stables, and small race tracks, and bordered by white or black
  fences. The Horse Museum is as beautifully located as it is
  interesting. Overall, the city has a nice feel that mixes well old
  and new. The conference will be held in the Hilton Lexington
  Downtown hotel.
* GENERAL CHAIR
  Victor Marek, University of Kentucky, KY, USA
* PROGRAM CHAIRS
  Giovambattista Ianni, University of Calabria, Italy
  Mirek Truszczynski, University of Kentucky, KY, USA
* WORKSHOPS CHAIR
  Yuliya Lierler, University of Nebraska at Omaha, NE, USA
* PUBLICITY CHAIR
  Francesco Calimeri, University of Calabria, Italy
* CONTACT
  lpnmr2015@mat.unical.it



ACKERMANN AWARD 2015 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
  Call for Nominations
* Nominations are now invited for the 2015 Ackermann Award.
  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.2013 and 31.12.2014
  are eligible for nomination for the award. The deadline for submission
  is 15 April 2015.
* SUBMISSION DETAILS
  Nominations can be submitted from 1 January 2015 and should be sent
  to the chair of the Jury, Anuj Dawar, by e-mail:anuj.dawar@cl.cam.ac.uk
* THE AWARD
  The 2015 Ackermann award will be presented to the recipient(s) at the
  annual conference of the EACSL, 7-10 September 2015, in Berlin (Germany).
  The award consists of
  - a certificate,
  - an invitation to present the thesis at the CSL/LICS conference,
  - the publication of the laudatio in the CSL/LICS proceedings,
  - travel support to attend the conference, and
  - an invitation to present the work to the Kurt Goedel Society in Vienna.
  The jury is entitled to give the award to more (or less) than one
  dissertation in a year.
* JURY
  The jury consists of:
  - Thierry Coquand (Chalmers University of Gothenburg);
  - Anuj Dawar (University of Cambridge), the president of EACSL;
  - Dexter Kozen (Cornell University), ACM SigLog representative;
  - Orna Kupferman (Hebrew University of Jerusalem);
  - Daniel Leivant (Indiana University, Bloomington);
  - Luke Ong (University of Oxford);
  - Jean-Eric Pin (CNRS and University of Paris 7);
  - Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
* HOW TO SUBMIT
  The candidate or his/her supervisor should submit
  1. the thesis (ps or pdf file);
  2. a detailed description (not longer than 20 pages) of the thesis
     in ENGLISH (ps or pdf file);
  3. a supporting letter by the PhD advisor and two supporting letters by
     other senior researchers (in English); supporting letters can also be
     sent directly to Anuj Dawar (anuj.dawar@cl.cam.ac.uk);
  4. a short CV of the candidate;
  5. a copy of the document asserting that the thesis was accepted as
     a PhD thesis at a recognized University (or equivalent institution) and
     that the candidate has received his/her PhD within the specified period.
  The submission should be sent by e-mail as attachments to the chairman of
  the jury, Anuj Dawar: anuj.dawar@cl.cam.ac.uk, with the following subject
  line and text:
  - Subject: Ackermann Award Submission
  - Text: Name of candidate, list of attachments
  Submission can be sent via several e-mail messages. If this is the case,
  please indicate it in the text. Letters of support and documents can
  also be faxed to: Anuj Dawar, Ackermann Award, +44 1223 334678.
  The Jury has the right to declare submissions to be out of scope or not
  to meet the requirements.
* The Award is sponsored by the Kurt Goedel Society.



CADE-25 POSTER SESSION & TASK-FORCE TOWARDS AN ENCYCLOPEDIA OF PROOF SYSTEMS (EPS)
  Call for Posters and Encyclopedia Entries
  1st of August 2015
  Berlin, Germany
  http://proofsystem.github.io/Encyclopedia/
* DESCRIPTION
  In this jubilee edition of CADE, we would like to commemorate the
  multitude of proof systems that form the theoretical foundations for
  automated deduction. To achieve this goal, this alternative workshop
  proposes to bring the whole community together in a task-force to
  produce a concise encyclopedia of proof systems. Every entry in this
  encyclopedia will follow a given template and will preferably be
  exactly one page long, displaying the inference rules of the proof
  system and possibly a few clarifying remarks. The one-page
  encyclopedia entries will be displayed as posters during CADE (the
  Conference on Automated Deduction). Submission instructions are
  available in the website: http://proofsystem.github.io/Encyclopedia/
* IMPORTANT DATES
  - Submission: April 19
  - Notification: May 15



31ST INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2015)
  Call for Papers
  Cork, Ireland
  August 31 - September 4, 2015
  http://booleconferences.ucc.ie/iclp2015
* HISTORY
  Since the first conference held in Marseilles in 1982, ICLP has been
  the premier international conference for presenting research in logic
  programming. ICLP 2015 will be co-located with the 21st International
  Conference on Principles and Practice of Constraint Programming (CP
  2015) and is part of "The Year of George Boole", a celebration of the
  life and work of George Boole who was born in 1815 and worked at the
  University College of Cork.
* IMPORTANT DATES
  Abstracts due:  April 20, 2015
  Papers due:  April 27, 2015
  Notification to authors:    June 5, 2015
  Camera ready versions due:  July 21, 2015
  Conference: August 31-September 4, 2015
* CONFERENCE SCOPE
  Contributions are sought in all areas of logic programming, including
  but not restricted to:
  - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
    Knowledge Representation.
  - Implementation: Compilation, Virtual Machines, Parallelism, Constraint
    Handling Rules and Tabling.
  - Environments: Program Analysis, Transformation, Validation,
    Verification, Debugging, Profiling, Testing.
  - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
    Order, Types, Modes, Assertions, Programming Techniques.
  - Related Paradigms: Inductive and Coinductive Logic Programming,
    Constraint Logic Programming, Answer-Set Programming, SAT,
    Constraints, Computational Argumentation, Abductive Logic Programming,
    Functional Logic Programming.
  - Applications: Databases, Data Integration and Federation, Software
    Engineering, Natural Language Processing, Web and Semantic Web,
    Agents, Artificial Intelligence, Bioinformatics, Social Networks and
    Social Choice.
  In addition to the presentations of accepted papers, the technical
  program will include invited talks, advanced tutorials, the doctoral
  consortium, the Prolog contest and several workshops.
* SUBMISSION DETAILS
  There are two categories for submissions:
  -- Regular papers, including: (1) technical papers for describing
     technically sound, innovative ideas that can advance the state of
     logic programming; (2) application papers, with emphasis on impact
     on some application domains; (3) system and tool papers, with
     emphasis on novelty, practicality, usability and availability of
     the systems and tools described.
  -- Technical communications aimed at describing recent developments,
     new projects, and other materials not ready for publication as
     regular papers.
  All regular papers and technical communications will be presented
  during the conference. All submissions must be written in English and
  describe original, previously unpublished research, and must not
  simultaneously be submitted for publication elsewhere.
  Regular papers must not exceed 12 pages plus bibliography: however the
  papers may include appendices beyond 12 pages. Technical
  communications must not exceed 10 pages. Submissions must be made in
  the TPLP format (see http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf)
  via the EasyChair submission system, available at
  www.easychair.org/conferences/?conf=iclp2015.
* PAPER PUBLICATION
  All accepted regular 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 two rounds of
  refereeing (within the decision period). Accepted technical
  communications will be published in archival form. The program
  committee may also recommend papers submitted as regular to be
  published as technical communications.
* ICLP 2015 ORGANIZATION
  - General Co-Chairs:
    Barry O'Sullivan      University College Cork, Ireland
    Roland Yap            National University of Singapore
  - Program Co-Chairs:
    Thomas Eiter          TU Wien, Austria
    Francesca Toni        Imperial College London, UK
  - Local Arrangements Co-Chairs:
    Barry O'Sullivan      University College Cork, Ireland
    Ken Brown             University College Cork, Ireland
  - Workshops Chair:
    Mats Carlsson         SICS, Uppsala, Sweden
  - Doctoral Consortium Chairs:
    Marina De Vos         University of Bath, UK
    Yuliya Lierler        University of Nebraska at Omaha, USA
  - LP/CP Programming Contest Chair:
    Neng-Fa Zhou,         City University of New York,  USA
    Peter Stuckey,        NICTA and the University of Melbourne, Australia
  - Publicity Chair:
    Ian Miguel            University of St Andrews, UK



13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2015)
  October 12-15, 2015
  Shanghai, China
  http://atva2015.ios.ac.cn/
* BACKGROUND
  The purpose of ATVA is to promote research on theoretical and practical
  aspects of automated analysis, verification and syn-thesis by providing
  a forum for interaction between the regional and the international research
  communities and industry in the field.
* SCOPE
  ATVA 2015 solicits high-quality submissions in areas related to the theory
  and practice of automated analysis and verification of hardware and software
  systems. Topics of interest include, but are not limited to:
  - Formalisms for modeling hardware, software and embedded systems
  - Specification and verification of finite-state, infinite-state and
    parameterized systems
  - Program analysis and software verification
  - Analysis and verification of hardware circuits, systems-on-chip and
    embedded systems
  - Analysis of real-time, hybrid, priced/weighted and probabilistic systems
  - Deductive, algorithmic, compositional, and abstraction refinement
    techniques for analysis and verification
  - Analytical techniques for safety, security, and dependability
  - Testing and runtime analysis based on verification technology
  - Analysis and verification of parallel and concurrent hardware/software systems
  - Verification in industrial practice
  - Applications and case studies
  Theory papers should preferably be motivated by practical problems, and
  applications should be based on sound theory and should solve problems of
  practical interest.
* IMPORTANT DATES
  April 22, 2015 Abstract submission deadline (AOE)
  April 25, 2015 Paper submission deadline (AOE)
  May 5, 2015 Submission of workshop proposals
  Jun 8, 2015 Paper acceptance/rejection notification
  Jun 10, 2015 Announcement of the accepted papers
  July 5, 2015 Camera-ready copy deadline
* GENERAL CHAIR
  Jifeng He (East China Normal University, China)
* PROGRAMME CHAIRS
  Bernd Finkbeiner (Saarland University, Germany)
  Geguang Pu (East China Normal University, China)
  Lijun Zhang (Institute of Software, Chinese Academy of Sciences)
* PUBLICITY CHAIRS
  David N. Jansen (Radboud Universiteit, Netherlands)
  Huibiao Zhu (East China Normal University, China)
* WORKSHOP CHAIR
  Jun Sun (National University of Singapore, SG)
* KEYNOTES
  Dino Distefano (Queen Mary, University of London, UK)
  Joost-Pieter Katoen (RWTH Aachen University, Germany)
  Jay Strother Moore (University of Texas-Austin, USA)



22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2015)
  Call for papers
  Symposium on September 23 - 25, 2015, Kassel Germany
  http://time2015.uni-kassel.de
  Submission deadline on April 30th
* TIME 2015 aims to bring together researchers interested in reasoning about
  temporal aspects of information in any area of Computer Science. The
  symposium has a wide remit and intends to cater both for theoretical aspects
  and well-founded applications. One of the key aspects of the time symposium
  is its interdisciplinarity with attendees from distinct areas such as
  artificial intelligence, database management, logic and verification, and
  beyond. The symposium will encompass three tracks on temporal representation
  and reasoning in AI, Databases, as well as Logic and Verification.
* Submissions of high quality papers describing research results are solicited.
  Submitted papers should contain original, previously unpublished content,
  should be written in English, and must not be simultaneously submitted for
  publication elsewhere. Submitted papers will be refereed for quality,
  correctness, originality, and relevance.
* Invited Speakers: Giuseppe de Giacomo, Sapienza Universita di Roma;
  Carlo Zaniolo, UCLA; Benedikt Bollig, ENS Cachan
* Proceedings and Special Issue: Accepted papers will be presented at the
  symposium and included in the published by the IEEE Conference Publishing
  Services (CPS). The authors of the best papers of the conference will be
  invited to submit an extended version of their contribution to a special
  issue appearing in the journal Information & Computation.



12TH INTERNATIONAL WORKSHOP ON QUANTUM PHYSICS AND LOGIC (QPL 2015)
  Call for Papers and Participation
  July 13-17, 2015
  Oxford, United Kingdom
  http://www.cs.ox.ac.uk/qpl2015
* SERIES
  QPL is a workshop that brings together researchers working on mathematical
  foundations of quantum physics, quantum computing, spatio-temporal causal
  structures, and related areas such as computational linguistics. Of
  particular interest are topics that use logical tools, ordered algebraic
  and category-theoretic structures, formal languages, semantical methods
  and other computer science methods for the study of physical behaviour in general.
* IMPORTANT DATES
  Submission deadline: 1 May 2015;
  Notification: 1 June 2015
* INVITED SPEAKERS
  Paul Busch (York), Dan Browne (London), Chris Douglas (Oxford)
* TUTORIALS
  Paul Busch (York), Dan Browne (London), Oscar Dahlsten (Oxford),
  Pawel Sobocinski (Southampton)
* Registration is now open
* Detailed information can be found on the webpage.



12TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING
  Call for Papers
  29-31 October 2015
  Cali, Colombia
  http://www.ictac2015.co
* SERIES
  The ICTAC conference series aims at bringing together practitioners and
  researchers to exchange ideas and experiences addressing challenges in
  theoretical aspects of computing as well as in exploiting theory through
  methods and tools for system development.  ICTAC also aims to promote
  cooperation between participants and institutions from developing and
  industrial countries in research and education.
* THEMES AND TOPICS OF PAPERS
  Topics of interest include theories of computation and programming,
  foundations of software engineering and formal techniques in software design
  and verification, as well as  tools that support formal techniques for
  software modeling, system design and verification.
* INVITED SPEAKERS
  Jean-Raymond Abrial
  Volker Diekert
  Cesar Munoz
  Catuscia Palamidessi
  Davide Sangiorgi
  Moshe Vardi
  Glynn Winskel
* ASSOCIATED EVENTS
  - ICTAC Summer School on Formal Methods (October 25-27)
  - DCM 2015: 11th International Workshop on Developments in Computational Models (October 28)
* PAPER SUBMISSION
  Important Dates
  - Abstract submission: Monday, June 1, 2015.
  - Paper submission:   Friday, June 5, 2015.
  - Author notification:  Monday, July 20, 2015.
  - Camera ready:  Monday, August 3, 2015.
* PAPER CATEGORIES AND FORMAT
  We call for submissions, related to the above areas and topics, according
  to the following three categories:
  - Regular papers, with original research contributions;
  - Short papers, on recent work or proposals of emerging challenges;
  - Tool papers, on tools that support formal techniques for software modeling,
    system design and verification. Submissions should adhere to the LNCS
    format (see http://www.springer.de/comp/lncs/authors.html for details).
    Regular papers should not exceed 18 pages. Short and tool papers should
    not exceed 10 pages.
  Submissions to the colloquium must not have been published or be concurrently
  considered for publication elsewhere. All submissions will be judged on the
  basis of originality, contribution to the field, technical and presentation
  quality, as well as their relevance to the conference.
  Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2015.
* PROCEEDINGS
  As for the past editions, the proceedings of ICTAC 2015 will be published
  by Springer in the series Lecture Notes in Computer Science (LNCS).
* SPECIAL ISSUE
  Extended versions of selected papers from ICTAC 2015 will be invited to
  a special issue of Mathematical Structures in Computer Science
  (http://journals.cambridge.org/action/displayJournal?jid=MSC).
* CHAIRS
  - Martin Leucker, University of Luebeck (DE).
  - Camilo Rueda, Pontificia Universidad Javeriana - Cali (CO).
  - Frank Valencia, CNRS and LIX, Ecole Polytechnique (FR).
* CONTACT CHAIR
  - Frank D. Valencia (frank.valencia@gmail.com).



SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS AND APPLICATIONS (SETTA 2015)
  Call for Papers
  November 4-6, 2015
  Nanjing University
  http://cs.nju.edu.cn/setta/
* BACKGROUND AND OBJECTIVES
  The aim of the symposium is to bring together international researchers
  and practitioners in the field of software technology. Its focus is on
  formal methods and advanced software technologies, especially for engineering
  complex, large-scale artefacts like cyber-physical systems, networks of
  things, enterprise systems, or cloud-based services. Contributions relating
  to formal methods or integrating them with software engineering, as well
  as papers advancing scalability or widening the scope of rigorous methods
  to new design goals are especially welcome. Being hosted in China, the
  symposium will also provide a platform for building up research
  collaborations between the rapidly growing Chinese computer science community
  and its international counterpart. The symposium will support this process
  through dedicated events and therefore welcomes both young researchers
  considering international collaboration in formal methods and established
  researchers looking for international cooperation and willing to attract
  new colleagues to the domain.
* SUBMISSIONS
  Authors are invited to submit papers on original research, industrial
  applications, or position papers proposing challenges in fundamental
  research and technology. The latter two types of submissions are expected
  to contribute to the development of formal methods either by substantiating
  the advantages of integrating formal methods into the development cycle or
  through delineating need for research by demonstrating weaknesses of existing
  technologies, especially when addressing new application domains.
  Submissions can take the form of either normal or short papers. Short papers
  can discuss ongoing research at an early stage, including PhD projects.
  Papers should be written in English. Regular Papers should not exceed 15
  pages and Short Papers should not exceed 6 pages in LNCS format
  (see http://www.springer.de/comp/lncs/authors.html for details).
  The proceedings will be published as a volume in Springer's LNCS series.
  The authors of a selected subset of accepted papers will be invited to
  submit extended versions of their papers to appear in a special issue of
  the Formal Aspect Computing journal.
* TOPICS
  - Requirements specification and analysis
  - Formalisms for modeling, design and implementation
  - Model checking, theorem proving, and decision procedures
  - Scalable approaches to formal system analysis
  - Formal approaches to simulation and testing
  - Integration of formal methods into software engineering practice
  - Contract-based engineering of components, systems, and systems of systems
  - Formal and engineering aspects of software evolution and maintenance
  - Parallel and multicore programming
  - Embedded, real-time, hybrid, and cyber-physical systems
  - Mixed-critical applications and systems
  - Formal aspects of service-oriented and cloud computing
  - Safety, reliability, robustness, and fault-tolerance
  - Empirical analysis techniques and integration with formal methods
  - Applications and industrial experience reports
  - Tool integration
* IMPORTANT DATES
  June 12,2015  Abstracts
  June 19,2015  Submission of papers
  August 21,2015  Notification to authors
  September 4,2015  Camera-ready versions
* KEYNOTE SPEAKERS
  Sanjoy Baruah, University of North Carolina at Chapel Hill, USA
  David Harel,   Weizmann Institute of Science, Israel
  Huimin Lin,    Institute of Software, CAS, China
* GENERAL CHAIR
  Jian Lv, Nanjing University, China
* PROGRAMME CO-CHAIRS
  Xuandong Li, Nanjing University, China
  Zhiming Liu, Birmingham City University, UK
  Yi Wang, Uppsala University, Sweden
* PUBLICITY CHAIRS
  Jonathan Bowen, Birmingham City University, UK
  Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China
* PUBLICATION CHAIR
  Martin Fraenzle, University of Oldenburg, Germany
* LOCAL ORGANIZATION CHAIR
  Xin Chen, Nanjing University, China



ALL ABOUT PROOFS, PROOFS FOR ALL
  http://www.collegepublications.co.uk/logic/mlf/?00023
  http://www.easychair.org/smart-program/VSL2014/APPA-index.html
* EDITORS
  David Delahaye and Bruno Woltzenlogel Paleo
* CHAPTERS AND THEIR AUTHORS
  - Proofs for Satisfiability Problems
    Armin Biere, Marijn Heule
  - Proofs in Satisfiability Modulo Theories
    Clark Barrett, Pascal Fontaine, Leonardo de Moura
  - Proof Generation for Saturating First-Order Theorem Provers
    Stephan Schulz, Geoff Sutcliffe
  - Higher-Order Automated Theorem Provers
    Christoph Benzmueller
  - Interactive Theorem Provers from the Perspective of Isabelle/Isar
    Makarius Wenzel
  - Introduction to the Calculus of Inductive Constructions
    Christine Paulin-Mohring
  - Deduction Modulo Theory
    Gilles Dowek
  - Foundational Proof Certificates
    Dale Miller
  - Deep Inference
    Alessio Guglielmi
  - On Proof Mining by Cut-Elimination
    Alexander Leitsch
  - Event-B
    Jean-Raymond Abrial
  - Computer-Aided Proofs in Cryptography
    Gilles Barthe, François Dupressoir, Benjamin Gregoire,
    Benedikt Schmidt, Pierre-Yves Strub
  College Publication 2015, 247 Pages
  ISBN: 978-1-84890-166-7
* This book provides a snapshot of the current state of the art
  in proof search and proof production as implemented in contemporary
  automated reasoning tools. Furthermore, various trends in proof theory
  are surveyed; and applications of formal proofs are illustrated.
* The chapter in this book are based on the tutorials given at the
  APPA workshop affiliated to the Vienna Summer of Logic.



PHD POSITION IN COMPUTER SCIENCE ON MODEL-BASED TESTING, HALMSTAD UNIVERSITY, SWEDEN
  http://ceres.hh.se/mediawiki/index.php/Research_in_Model-Based_Testing_and_Verification
* BACKGROUND
  The position is in the context of the EFFEMBAC (Effective Model-Based
  Testing of Concurrent System) project, which is on combining model-based-
  and symbolic execution, funded by a project grant from the Swedish Research
  Council (VR).
* TERMS
  The position will be a 5-year Ph.D position (with a 1-year probation period).
  The position is supposed to start on April 1, 2015, or any time later
  (within an interval of ca. 3 months) depending the availability of the candidate.
  The teaching assistance load will be about 20% of the time (usually 1-2
  courses in a year). The salary level is fixed at ca. 25 SEK/month gross.
* APPLICATION PROCEDURE
  The application should comprise a single PDF file and should be received
  no later than March 1, 2015. The application package shall consist of:
  1. a cover letter stating the purpose of the application and a brief
     statement of why you believe that your goals and past experience are
     well-matched with the goals of this position,
  2. a CV that includes at least a list of previous degrees, dates, and
     institution, transcripts for higher-education studies until most recent
     available, a complete list of publications and a description of previous
     research and other work experience and links to online copies of the
     most important publications
  3. contact information for three references.
  We ask the candidates to send the required material to rekrytering153@hh.se
  with a CC to m.r.mousavi@hh.se , mentioning "Ph.D. Position EFFEMBAC" in the
  subject line. Application must be received before 2015-03-01 to receive full
  consideration. The expected starting date is 2015-04-01, but is negotiable
  depending on the successful candidate's conditions.
* FURTHER INFORMATION
  Please contact Prof. Mohammad Mousavi (m.r.mousavi@hh.se), lab leader
  Dr. Joergen Carlsson (jorgen.carlsson@hh.se) or head of school Dr. Magnus
  Hallander (Magnus.Hallander@hh.se).



PHD STUDENTSHIP IN ALGORITHMS AND COMPLEXITY AT ROYAL HOLLOWAY, UNIVERSITY OF LONDON
  http://www.cs.rhul.ac.uk/home/tzameret/PhD_Post.html
* The Department of Computer Science at Royal Holloway,
  University of London is offering a three-year full-time PhD
  studentship in algorithms and complexity starting in October
  2015. The studentship includes a full tuition-fee waiver and a
  maintenance award in line with the level recommended by
  Research Councils UK (exact value to be confirmed, circa GBP
  16,000 (USD 25,000 or EUR 20,000)). The student will be hosted
  in the Center for Algorithms and Applications and will work
  under the supervision of Dr Iddo Tzameret
  (http://www.cs.rhul.ac.uk/home/tzameret/).
* THE PROJECT is broadly in the area of computational complexity
  with an emphasis on satisfiability and the complexity of
  proofs. The successful candidate will investigate fundamental
  aspects of the Boolean satisfiability problem SAT from possibly
  different aspects - combinatorial, algebraic and logical - with
  a possibility to engage as well in applied or empirical study
  of SAT-solving and other applications related to SAT, depending
  on the preferences and qualifications of the candidate.
* For more information about the post see:
  http://www.cs.rhul.ac.uk/home/tzameret/PhD_Post.html
* STARTING DATE: October 1, 2015
* HOW TO APPLY:
  Applications should be made as soon as possible through the
  online application system at Royal Holloway, University of London:
  https://www.royalholloway.ac.uk/studyhere/researchdegrees/applying/home.aspx
  and will remain open until the position is filled.
* For any informal inquiries about the position, please contact
  Dr Iddo Tzameret at: Iddo.Tzameret@rhul.ac.uk



NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
  http://logic-cs.at/phd
* Funded Doctoral Positions in Computer Science
* TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
  motivated students for their joint doctoral program LogiCS. The LogiCS
  doctoral college focuses on interdisciplinary research topics covering
  (i) computational logic, and applications of logic to
  (ii) databases and artificial intelligence as well as to
  (iii) computer-aided verification.
* THE PROGRAM
  LogiCS is a doctoral college focusing on logic and its applications in
  computer science. Successful applicants will work with and be
  supervised by leading researchers in the fields of computational
  logic, databases and knowledge representation, and computer-aided
  verification.
* FACULTY MEMBERS
  M. Baaz     A. Biere  R. Bloem         A. Ciabattoni
  U. Egly     T. Eiter  C. Fermueller    R. Grosu
  A. Leitsch  M. Ortiz  R. Pichler       S. Szeider
  H. Tompits  H. Veith  G. Weissenbacher
* POSITIONS AND FUNDING
  We are looking for 1-2 doctoral students per faculty member, where 30%
  of the positions are reserved for highly qualified female
  candidates. The doctoral positions are funded for a period of 3 years
  according to the funding scheme of the Austrian Science Fund
  (details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html)
  The funding can be extended for one additional year contingent on a
  placement at one of our international partner institutions.
* HOW TO APPLY
  Detailed information about the application process is available on the
  LogiCS web-page http://logic-cs.at/phd/
  The applicants are expected to have completed an excellent diploma or
  master's degree in computer science, mathematics, or a related
  field. Candidates with comparable achievements will be considered on a
  case-by-case basis. Applications by the candidates need to be
  submitted electronically.
* Applications can be submitted at any time. Next screenings: March 1, 2015.
* HIGHEST QUALITY OF LIFE
  The Austrian cities Vienna, Graz, and Linz, located close to the Alps
  and surrounded by beautiful nature, provide an exceptionally high
  quality of life, with a vibrant cultural scene, numerous cultural
  events, world-famous historical sites, a large international
  community, a varied cuisine and famous coffee houses.
* For further information please contact: info@logic-cs.at



Back to the LICS web page.