Newsletter 172
July  1, 2015

*******************************************************************
* Past issues of the newsletter are available at
 http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lics.siglog.org/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* NEWS
  LICS'15 Call for Participation
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  WSFM-BEAT 2015 - Call for Papers
  SR 2015 - Call for Papers
  SOAMED - Call for Participation
  LNMR 2015 - Call for Papers
  FSTTCS 2015 - Call for Papers
  BLC 2015 - Call for Papers
  QBF 2015 - Call for Papers
  WoLLIC 2015 - Call for Participation
  CADE 2015 - Call for Participation
  DCM 2015 - Call for Papers
  GBMSC - Call for Participation
  HIGHLIGHTS 2015 - Call for Participation
  LPNMR 2015 - Call for Participation
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS
  PhD Studentship in Algorithms and Complexity at Royal Holloway, University of London
  New Doctoral Program on Logical Methods in Computer Science (LogiCS), Vienna


ICALP/LICS'15
  Call for Participation
  July 4-10, 2015
  Kyoto, Japan
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015
  EARLY REGISTRATION DEADLINE: June 12 (local time)
* Joint Conference of The 42nd International Colloquium on Automata,
  Languages, and Programming (ICALP 2015) and The Thirtieth Annual
  ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
  will be held in July 6-10, 2015, in Kyoto.
* Eleven invited talks and about 240 papers on all areas of theoretical
  computer science and logic in computer science will be presented at
  Grand Prince Hotel Kyoto.  Also, seven workshops will take place at
  Kyoto University on July 4 and 5.
* INVITED SPEAKERS
  Piotr Indyk (MIT, USA)
  Ken-ichi Kawarabayashi (NII, Japan)
  Daniel Kifer (Pennsylvania State University, USA)
  Valerie King (University of Victoria, Canada)
  Thomas Moscibroda (Microsoft Research and Tsinghua University, China)
  Anca Muscholl (Universite Bordeaux, France)
  Peter O'Hearn (Facebook and University College London, UK)
  Luke Ong (University of Oxford, UK)
  Andrew Pitts (University of Cambridge, UK)
  Geoffrey Smith (Florida International University, USA)
  Ryuhei Uehara (JAIST, Japan)
* WORKSHOPS
  Workshop on Logic and Computational Complexity (LCC 2015)
  Workshop on Natural Language and Computer Science 3 (NLCS 3)
  Workshop on Quantum Computational Complexity (QCC)
  Workshop on Realistic Models for Algorithms in Wireless Networks (WRAWN)
  Workshop on Syntax and Semantics for Low-Level Languages (LOLA 2015)
  Workshop on the Verification of Higher-Order Programs (HOPA)
  Young Researchers Forum on Automata, Languages and Programming (YR-ICALP 2015)
* REGISTRATION
  The registration page and the hotel reservation page are already open.
  The early registration deadline is June 12 (local time). For more
  details please visit our conference webpage:
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015
* LOCAL ORGANIZERS
  Masahito Hasegawa (Kyoto University)
  Atsushi Igarashi (Kyoto University)
  Kazuo Iwama (Kyoto University)
  Kazuhisa Makino (Kyoto University)
* CONTACT
  icalp-lics2015@kurims.kyoto-u.ac.jp



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 is the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter (SIGLOG News)
  is also 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).



DATES
* ICALP/LICS 2015
  Conference: July 4-10, 2015
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/
* WSFM-BEAT 2015
  Abstract submission: July 1, 2015 (Wednesday)
  Paper submission: July 3, 2015 (Friday)
  http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php
* SR 2015
  Abstract submission: July 1, 2015
  Paper submission: July 3, 2015
  https://sites.google.com/site/sr2015homepage/
* SOAMED
  Graduate School: October 4-9, 2015
  Registration Deadline: July 1, 2015
  https://www.informatik.hu-berlin.de/de/forschung/gebiete/soamed
* LNMR 2015
  Paper registration:  July 6, 2015 (EXTENDED)
  Submission deadline: July 10, 2015 (EXTENDED)
  http://lnmr2015.insight-centre.org/
* FSTTCS 2015
  Paper submission: July 13, 2015
  http://www.fsttcs.org
* BLC 2015
  Abstract deadline: July 15, 2015
  http://www.newton.ac.uk/event/blc-2015
* QBF 2015
  Extended abstracts submission: Jul 20 2015
  http://fmv.jku.at/qbf15/
* WoLLIC 2015
  Workshop: July 20-23, 2015
  http://www.indiana.edu/~iulg/wollic/
* CADE 2015
  Call for Partipation
  Freie Universitat Berlin, Germany, 1-7 August 2015
  http://www.cade-25.info
* DCM 2015
  Submission Deadline for Extended Abstracts (5 pages): August 3, 2015
  http://dcm-workshop.org.uk/2015/
* GBMSC
  Conference: August 17-28, 2015
  http://booleconferences.ucc.ie/gbmsc2015
* HIGHLIGHTS 2015
  Conference: Prague, 15-18 September 2015
  http://highlights-conference.org
* LPNMR 2015
  Conference: Lexington, KY, USA, September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
* ABZ 2016
  Workshop proposal submissions: October 16, 2015
  Workshop proposal notifications: November 6, 2015
  Research paper and answers to case study submission: January 15, 2016
  Short paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  http://www.cdcc.faw.jku.at/ABZ2016/
* SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY 2016
  April-June 2016
  Chebyshev Laboratory at St.Petersburg State University
  Organized jointly with the Skolkovo Institute of Science and Technology.
  http://en.chebyshev.spb.ru/complexity2016



WSFM-BEAT 2015 - INTERNATIONAL SYMPOSIUM ON WEB SERVICES, FORMAL METHODS AND BEHAVIOURAL TYPES
  Call for Papers
  September 4-5, 2015, Madrid, Spain
  http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php
* The Symposium on International Symposium on Web Services, Formal
  Methods and Behavioural Types (WS-FM/BEAT 2015) results from joining
  the Workshop on Web Services and Formal Methods (WS-FM) and the
  Workshop on Behavioural Types. The former was mainly devoted to formal
  aspects of service-oriented and cloud computing. The latter addressed
  type languages and systems to specify, characterise, and reason about
  dynamic aspects of program execution.
  Topics of either theoretical or applied interest include, but are not limited to:
  Foundational aspects of large behavioural software systems; Specification, verification,
  analysis, and testing of large behavioural software systems; Language-based approaches
  to large behavioural software systems; Security, trust, QoS, dependability, and privacy
  in large behavioural software systems; Ontologies, standards and technologies for large
  behavioural software systems; Case-studies on formal methods in large behavioural software
  systems; Innovative application scenarios of large behavioural software systems
* Proceedings:All accepted regular papers will be included in the proceedings, which
  will be published after the symposium as a volume of the LNCS series.
  Selected short papers will be invited to the proceedings.
* Important dates:
  - Abstract submission: July 1 2015 (Wednesday)
  - Paper submission: July 3 2015 (Friday)
  - Notification: July 31 2015 (Friday)
  - Camera Ready version: August 14 2015 (Friday)
* Invited Speakers: Cosimo Laneve, University of Bologna, Italy, One more TBA
* Workshop co-chairs: Antonio Ravara, Universidade Nova de Lisboa, Portugal and Jan Martijn
  van der Werf, Universiteit Utrecht, Netherlands
* Detailed information can be found in the webpage above.



SR 2015 - 3rd INTERNATIONAL WORKSHOP ON STRATEGIC REASONING
  Call for Papers
  September 21-22, 2015, Oxford, England
  https://sites.google.com/site/sr2015homepage/
* The SR international workshop is an annual event that aims to bring
  together researchers working on different aspects of strategic reasoning
  and game-based approaches to logic, semantics, and formal verification
  in computer science, artificial intelligence, and multi-agent systems,
  both from a theoretical and a practical point of view.
* Proceedings: We plan to produce a special issue of the Journal of
  Information and Computation with extended versions of selected papers.
* Important dates:
  - July      1  2015:  Abstract submission deadline
  - July      3  2015:  Paper submission deadline
  - July     31  2015:  Acceptance notification
  - Sept  21-22  2015:  SR 2015 Workshop
* Invited Speakers: Johan van Benthem (Stanford/Amsterdam Universities),
  Joseph Halpern (Cornell University), Marta Kwiatkowska (Oxford University),
  Moshe Vardi (Rice University)
* Detailed information can be found in the webpage above.



SOAMED 2015
  Call for Participation
  October 4-9, 2015, Steinhofel Castle (near Berlin), Germany
  https://www.informatik.hu-berlin.de/de/forschung/gebiete/soamed
* REGISTRATION:
  https://www.informatik.hu-berlin.de/de/forschung/gebiete/soamed/Herbstschule/HS%20SOAMED
* AIMS:  The DFG-funded graduate school SOAMED invites applications to participate in its
  autumn school on "processes and data". This school addresses master students and young
  PhD students in informatics or related fields, interested in up?to?date research on the
  integration of service oriented architectures, data management, and their application to
  healthcare systems. It will be organized in the form of talks and tutorials given by a
  number of international experts in these fields. The course language is English.
  Participation is free of charge (travelling not included), but there is only limited space
  available.
* Organisers: Wolfgang Reisig and Ulf Leser



2ND INTERNATIONAL WORKSHOP ON LEARNING AND NONMONOTONIC REASONING (LNMR 2015)
  Call for Papers
  27-30 September 2015, Lexington, KY, USA
  http://lnmr2015.insight-centre.org/
  co-located with the
  13th International Conference on Logic Programming and
  Nonmonotonic Reasoning (LPNMR 2015)
  http://lpnmr2015.mat.unical.it/
* AIMS AND SCOPE
  This workshop follows from its first edition in 2013 in an attempt to
  provide an open forum for the identification of problems and discussion of
  possible collaborations among researchers with complementary expertise.
  To facilitate interactions between researchers in the areas of (machine)
  learning and nonmonotonic reasoning, we welcome contributions focusing on
  problems and perspectives concerning both learning and nonmonotonic reasoning.
* SUBMISSIONS
  We solicit original papers which are not published elsewhere. Papers should
  be written in English and be formatted according to the Springer Verlag
  LNCS style, which can be obtained from http://www.springeronline.com. Every
  paper should not exceed 12 pages including the title page, references and
  figures. All submissions will be peer-reviewed and all accepted papers must
  be presented at the workshop. Paper submission will be electronic through
  the LNMR-15 Easychair site: https://easychair.org/conferences/?conf=lnmr2015.
* PROCEEDINGS
  Workshop organizers are considering to publish an on-line proceedings in
  a formal way. The details will be announced later. Based on the quality of
  submissions, a special journal issue will also be considered.
* IMPORTANT DATES
  Paper registration: July 6 (EXTENDED)
  Submission deadline: July 10 (EXTENDED)
  Notification: August 17
  Final version due: September 1
  Workshop: 1 or 2 days in September 27-30
* WORKSHOP CO-CHAIRS
  Alessandra Mileo, INSIGHT Centre for Data Analytics, NUI Galway, Ireland
  Alessandra Russo, Dept. of Computing, Imperial College London, UK



35TH FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2015)
  Call for Papers
  December 16-18, 2015, Bangalore, India
  http://www.fsttcs.org
* AIMS
  The FSTTCS conference, organized by IARCS (the Indian Association for
  Research in Computing Science), is a forum for presenting original results
  in foundational aspects of Computer Science and Software Technology.
* SCOPE
  Representative areas include, but are not limited to, the following:
  algorithms and data structures, algorithmic graph theory and combinatorics,
  approximation algorithms, automata and formal languages, combinatorial
  optimization, communication complexity, computational biology, computational
  complexity, computational geometry, computational learning theory,
  cryptography and security, game theory and mechanism design, logic in computer
  science, model theory, modal and temporal logics, models of concurrent and
  distributed systems, models of timed, reactive, hybrid and stochastic systems,
  parallel, distributed, and online algorithms, parameterized complexity,
  principles and semantics of programming languages, program analysis and
  transformation, proof complexity, quantum computing, randomness in computing,
  specification, verification, and synthesis, theorem proving, decision
  procedures, and model checking, theoretical aspects of mobile and high
  performance computing.
* IMPORTANT DATES
  Paper submission: July 13, 2015; Notification: October 16, 2015.



BRITISH LOGIC COLLOQUIUM (BLC 2015)
  Call for Abstracts
  Cambridge, England
  2-4 September 2015
  http://www.newton.ac.uk/event/blc-2015
* MEETING
  The 2015 meeting of the British Logic Colloquium will be held in
  Cambridge on 2nd-4th September.  It will be preceded by BLC PhD day
  (1st-2nd September).  This is a general Logic meeting covering a
  variety of topics within mathematical, philosophical and computer
  science logic.  The meeting will include ten invited talks (speakers
  listed below) and a number of contributed talks.  Anyone wishing to
  contibute a talk should send an abstract (of about 250 words) to
  blc-2015@cl.cam.ac.uk by 15 July, 2015.
* REGISTRATION
  Registration is now open: http://www.newton.ac.uk/event/blc-2015
* INVITED SPEAKERS
  Andreas Blass (Michigan); Victoria Gitman (New York); Ian Pratt-Hartman
  (Manchester); Alexander Kechris (Pasadena); Jonathan Kirby (East Anglia);
  Agi Kurucz (London); Itay Neeman (Los Angeles); Arno Pauly (Cambridge);
  Andrew Pitts (Cambridge); Mehrnoosh Sadrzadeh (London)
* BURSARIES
  There is a limited number of bursaries available for students who wish
  to attend.  See webpage for details
* PHD DAY
  The BLC PhD day provides an opportunity for postgraduates
  to meet and discuss their research or area of interest with fellow
  young logicians. If you wish to attend the PhD day, please email
  blc-2015-phd@maths.cam.ac.uk, including your Name, Affiliation and
  whether or not you would like to present a talk or a poster.



QBF 2015 - 3rd INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN FORMULAS
  Call for Papers
  September 23 2015, Austin, Texas, USA.
  http://fmv.jku.at/qbf15/
* The goal of the Third International Workshop on Quantified Boolean Formulas
  (QBF 2015) is to bring together researchers working on theoretical and
  practical aspects of QBF solving and applications. The workshop is
  affiliated to and co-located with the SAT conference 2015, September 24-27,
  2015.
* Important dates:
   - Jul 20 2015: submission of extended abstracts (max. four pages)
   - Aug 12 2015: notification of acceptance
   - Sep 23 2015: workshop
* Topics of interest (not limited to the following): QBF applications;
  encodings; benchmarks; certificates; proofs; proof formats; proof checkers;
  decision procedures; QBF solving; implementation details; structural QBF
  solving; heuristics; preprocessing;
* Please see the workshop website for further information:
    http://fmv.jku.at/qbf15/



22ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2015)
  Call for Participation
  July 20th-23rd, 2015, Bloomington, IN, USA
  http://www.indiana.edu/~iulg/wollic
* AIMS
  WoLLIC is an annual international forum on inter-disciplinary research
  involving formal logic, computing and programming theory, and natural
  language and reasoning. Each meeting includes invited talks and tutorials
  as well as contributed papers.
* INVITED SPEAKERS
  Adriana Compagnoni (Stevens Institute, USA)
  Nina Gierasimczuk (University of Amsterdam)
  John Harrison (Intel, USA)
  Peter Jipsen (Chapman U, USA)
  Andre Joyal (U du Quebec Montreal, Canada)
  Chung-chieh Shan (Indiana U, USA)
  Alexandra Silva (Radboud U Nijmegen, The Netherlands)
  Mehrnoosh Sadrzadeh (Queen Mary, UK)
* STUDENT GRANTS
  ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply
  for a modest travel grant (deadline: May 1st, 2015).
* DETAIS
  Detailed information can be found on the webpage
  www.indiana.edu/~iulg/wollic



25TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-25)
  Call for Partipation
  Freie Universitat Berlin, Germany, 1-7 August 2015
  http://www.cade-25.info
* CADE is the major forum for the presentation of research in all
  aspects of automated deduction.
* IMPORTANT DATES:
  Early Registation Deadline:   21 June 2015
* INVITED SPEAKERS:
  CADE-25 jubilee session
  * Ursula Martin, University of Oxford
  * Frank Pfenning, Carnegie Mellon University
  * David Plaisted, University of North Carolina at Chapel Hill
  * Andrei Voronkov, University of Manchester
  CADE-25 main conference
  * Ulrich Furbach, University of Koblenz, ECCAI invited talk
  * Edward Zalta, Stanford University
  * Michael Genesereth, Stanford University (joint with RuleML Symposium)
  Reception and dinner speeches will be given by Wolfgang Bibel and
  Jorg Siekmann.
* WORKSHOPS
  Bridging: Bridging the gap between human and automated reasoning
  DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme
  HOL4: HOL4 Workshop
  IWC: The 4th International Workshop on Confluence
  LFMTP: International Workshop on Logical Frameworks and
         Meta-Languages: Theory and Practice
  LOCAS: Low-level Code Analysis for Security
  PxTP: Workshop on Proof eXchange for Theorem Proving
  QUANTIFY: 2nd International Workshop on Quantification
  Vampire: The Vampire Workshop
* TUTORIALS
  Abella: Reasoning about Computational Systems using Abella
  Beluga: Programming proofs about formal systems
  CPROVER: From Programs to Logic: The CPROVER verification tools
  Isabelle: Isabelle Tutorial
  Lean: Lean Theorem Prover: a Tutorial
  Superposition: 25th Anniversary of Superposition: Status and Future
* COMPETITIONS
  CASC: The CADE ATP System Competition
  CoCo: The 4th Confluence Competition
  termCOMP: Termination Competition
* POSTER EVENT
  EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems
* ORGANIZERS:
  Conference Chair:
      Christoph Benzmueller (Freie Universitat Berlin)
  Program Committee Co-Chairs:
      Amy Felty (University of Ottawa)
      Aart Middeldorp (University of Innsbruck)
  Workshop, Tutorial, and Competition Co-Chairs:
      Jasmin Blanchette (Technische Universitat Muenchen
      Andrew Reynolds (EPFL Lausanne)
  Publicity and Web Chair:
      Julian Roder (Freie Universitat Berlin)



11TH WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2015)
  Call for Papers
  October 28, 2015, Cali - Colombia
  http://dcm-workshop.org.uk/2015/
  Satellite event of ICTAC 2015 (http://www.ictac2015.co)
* AIM
  The DCM workshop aims to bring together researchers who are currently
  developing new computational models or new features for traditional
  computational models, in order to foster their interaction, to provide
  a forum for presenting new ideas and work in progress, and to enable
  newcomers to learn about current activities in this area.
* TOPICS OF INTEREST
  Topics of interest include all abstract models of computation and
  their applications to the development of programming languages and
  systems. This includes (but is not limited to):
  - Functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
  - Quantum computation, including implementations and formal methods in
  quantum protocols;
  - Probabilistic computation and verification in modelling situations;
  - Chemical, biological and bio-inspired computation, including spatial models,
  self-assembly, growth models;
  - Models of concurrency, including the treatment of mobility, trust, and security;
  - Infinitary models of computation;
  - Information-theoretic ideas in computing.
* IMPORTANT DATES
  - Submission Deadline for Extended Abstracts (5 pages): 3 Aug 2015
  - Notification:13 Sep 2015;
  - Pre-proceedings version due: 5 Oct 2015
  - Workshop: 28 Oct 2015
  - Deadline for EPTCS Proceedings : 7 Dec 2015
* CHAIRS
  - Cesar Munoz, NASA (USA)
  - Jorge A. Perez, University of Groningen (NL)



GEORGE BOOLE MATHEMATICAL SCIENCES CONFERENCE (GBMSC 2015)
  Call for Participation
  17-25 August 2015
  Cork, Ireland
  http://booleconferences.ucc.ie/gbmsc2015
* CONTEXT
  As part of the celebrations of Boole's bicentenary, the George Boole
  Mathematical Sciences (GBMS) Conference (including Domains XII) will be
  held in University College Cork (UCC) during the last two weeks of
  August 2015. George Boole (1815-1864) was the first professor of
  mathematics at Cork. Boole's efforts to mathematize logical thinking
  caused a lasting paradigm shift in the 19th century which enlarged the
  scope and potency of modern mathematics, and provided a wealth of ideas
  for applications in diverse scientific areas resulting in ground-breaking
  innovations during the 20th century and beyond. This event will include
  100-150 lectures on selected areas:
  - Theme 1: Boole and Beyond in Quantum Information Theory
  - Theme 2: From Boole's Algebra of Logic to Boolean Algebra, and Beyond
  - Theme 3: Complex and Boolean NetworksGeometry and Visualization
  - Theme 4: Geometry and Visualization
  - Theme 5: Harmonic Analysis
  - Theme 6: Invariants from Moduli Spaces
  - Theme 7: Mathematical Financial Modelling Post-Crisis
  - Theme 8: Quantum Probabilistic Symmetries and Quantized Boolean Algebras
  The following events are embedded in and associated with the conference:
  - 2015 Annual Meeting of the Irish Mathematical Society (IMS)
  - Domains XII
  - When Boole Meets Shannon



HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2015)
  Call for Presentations
  Prague, 15-18 September 2015
  http://highlights-conference.org
* AIMS
  HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
  and Automata which aims at integrating the community working in these
  fields. A visit to Highlights conference should offer a wide picture
  of the latest research in the area and a chance to meet everybody in
  the field, not just those who happen to publish in one particular
  proceedings volume. The participants present their best work, be it
  published elsewhere or yet unpublished.
* DATES
  The conference is three days long (Sept. 16-18) and it is preceeded
  by the Highlights tutorial day (Sept. 15). The contributed talks are
  around ten minutes. The participation costs are modest (around 80 Euro)
  and some cheap accomodation close to conference site is arranged.
  Prague is easy to reach.
* SUBMISSION DEADLINE
  June 12, 2015
  The instructions and detailed information about Highlights 2015
  are available at http://highlights-conference.org.



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Call for Participation
  Lexington, KY, USA, September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
* REGISTRATION: Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/.
* AIMS:
  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 program will include three invited talks:
  - Stable Models for Temporal Theories - By Pedro Cabalar, University of
    Corunna, Spain
  - Algorithmic decision theory meets logic - By Jerome Lang, Universite
    Paris-Dauphine, France (Plenary session with ADT 2015).
  - Relational and Semantic Data Mining - By Nada Lavrac, Jozef Stefan
    Institute and University of Nova Gorica, Slovenia



5TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, Alloy, B, TLA, VDM, Z)
  Call for Papers, Answers to the case study, Workshops, Tutorials
  May 23-27, 2016
  Linz, Austria
  http://www.cdcc.faw.jku.at/ABZ2016/
* The ABZ conference is dedicated to the cross-fertilization of six related
  state-based and machine-based formal methods, Abstract State Machines (ASM),
  Alloy, B, TLA, VDM and Z. Contributions are solicited on all aspects of the
  theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
  software/hardware engineering, including the development of tools and
  industrial applications.
* Types of submission:
  -- Research papers: full papers of not more than 14 pages in LNCS format,
  which have to be original, unpublished and not submitted elsewhere.
  -- Short presentations of work in progress, and tool demonstrations. An
  extended abstract of not more than 4 pages is expected and will be reviewed.
  -- Answers to case study papers: full papers of not more than 14 pages in
  LNCS format reporting on the experiments conducted with any of the state
  based techniques in the scope of ABZ 2014.
  -- Application in industry papers reporting on work or experiences on the
  application of state based formal methods in industry. An extended abstract
  of not more than 4 pages is expected and will be reviewed.
* Submission site: https://easychair.org/conferences/?conf=abz2016
* Important Dates:
  Workshop proposal submission: October 16, 2015
  Research paper, Answers to case study submission: January 15, 2016
  Short and industry paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  Tutorial proposal notifications: March 14, 2016
* Detailed information can be found on the conference website
* Contact: Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at)



SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY
* April-June 2016
* Chebyshev Laboratory at St.Petersburg State University
  Organized jointly with the Skolkovo Institute of Science and Technology.
* Events include a WORKSHOP ON PROOF COMPLEXITY, May 17-20, 2016, St. Petersburg,
  organized by Sam Buss and Pavel Pudlak, keynote speaker Jan Krajicek;
  and a WORKSHOP ON LOW-DEPTH COMPLEXITY, May 23-25, 2016, St. Petersburg,
  organized by Ben Rossman and Rahul Santhanam, keynote speaker Ryan Williams.
* Short courses will be held before each workshop.
* Graduate student, postdocs and other researchers may apply for funding for
  both short or extended visits throughout the semester.
* To inquire about participation, or apply for funding, please fill out the
  form on the web page or email the organizers directly.
* Web page: http://en.chebyshev.spb.ru/complexity2016.
* Organizers: Sam Buss and Edward A. Hirsch.



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.
* CURRENT RESEARCH AREAS
  At the moment we are particularly looking for people in the following areas:
  - Answer Set Programming
  - Model Checking
  - Proof Theory and Automated Deduction
  - QBF-solving
  - Static Analysis and Abstract Interpretation
* 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 application Deadline: July 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.