Newsletter 164
November  1, 2014

*******************************************************************
* 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
  LICS'15 Preview
  ICALP/LICS'15 Call for Workshops
  LICS 2015 Call for Papers
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  EDBT/ICDT 2015 - Call for Tutorials
  NASA FORMAL METHODS SYMPOSIUM - Call for Papers
  CADE 2015 - Call for Workshops, Tutorials, System Competitions, and Papers
  PODS 2015 - Call for Papers
  JAIST LOGIC WORKSHOP 2015 - Call for Abstracts
  TTL 2015 - Call for Papers
  CCC 2014 POSTPROCEEDINGS - Call for Submissions
  TACL 2015 - Call for School/Conference Participation and Papers
  LPNMR 2015 - Preliminary Call for Papers
* JOB ANNOUNCEMENTS
  Funded PhD Positions in Dynamic Adaptive Automated Software Engineering (DAASE)
  Two PhD positions in Information Security at ETH Zurich
  New Doctoral Program on Logical Methods in Computer Science (LogiCS)
  Postdoc in Verification at the University of Warwick
* BOOK ANNOUNCEMENT
  Logic, Computation, Hierarchies (Festschrift in honour of Victor L. Selivanov)


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. The first call for papers is available at
  http://lics.rwth-aachen.de/lics15/.



ICALP/LICS 2015 CALL FOR WORKSHOP PROPOSALS
  July 4-12, 2015
  Kyoto, Japan
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/
* ICALP 2015 (The 42nd International Colloquium on Automata, Languages,
  and Programming) and LICS 2015 (The 30th ACM/IEEE Symposium on Logic
  In Computer Science) will co-locate in Kyoto, July 6-10, 2015.  Their
  affiliated workshops will be jointly held on July 4-5 and July 11-12
  as Workshops at ICALP/LICS 2015.  Proposals for them are now being
  sought.
* PROPOSALS
  Each workshop proposal should include:
  1. Name of the workshop, its format, a short scientific summary of the
  topic, and its relevance to the main conferences, including
  information on the same or similar workshops organized previously.
  2. Preferences for duration (from a half day to two days), before or
  after the main conference, specific dates, the size of the lecture
  room, etc., and whether the preferences are strict.
  3. List of expected organizers/invited speakers/participants
  4. Procedures for selecting participants and papers.
  5. Plans for dissemination (for example, special issues of journals)
* FORMAT
  The format (invited speakers, talk submission, workshop records, etc.)
  of each workshop is determined by the workshop organizers.  The selection
  of proposals will be done by the local organizing chairs and workshop
  chairs of ICALP/LICS 2015.
* SUBMISSION
  All proposals should be sent to icalp-lics2015@kurims.kyoto-u.ac.jp.
  For further information contact icalp-lics2015@kurims.kyoto-u.ac.jp, also.
* IMPORTANT DATES
  Submission due:  Nov 14, 2014
  Notification:    Dec 5, 2014
  Final Program:   Apr-May, 2015



30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2015)
  Call for Papers
  July 6-10, 2015
  Kyoto, Japan
  http://lics.rwth-aachen.de/lics15/
  (colocated with ICALP 2015)
* AIMS
  The LICS Symposium is an annual international forum on theoretical and
  practical topics in computer science that relate to logic, broadly construed.
  We invite submissions on topics that fit under that rubric. Suggested,
  but not exclusive, topics of interest include: automata theory, automated
  deduction, categorical models and logics, concurrency and distributed
  computation, constraint programming, constructive mathematics, database
  theory, decision procedures, description logics, domain theory, finite model
  theory, formal aspects of program analysis, formal methods, foundations of
  computability, higher-order logic, lambda and combinatory calculi, linear
  logic, logic in artificial intelligence, logic programming, logical aspects
  of bioinformatics, logical aspects of computational complexity, logical
  aspects of quantum computation, logical frameworks, logics of programs,
  modal and temporal logics, model checking, probabilistic systems, process
  calculi, programming language semantics, proof theory, real-time systems,
  reasoning about security and privacy, rewriting, type systems and type theory,
  and verification.
* INSTRUCTIONS
  Authors are required to submit a paper title and a short abstract of about
  100 words in advance of submitting the extended abstract of the paper.
  The exact deadline time on these dates is given by anywhere on earth (AoE).
  - Title and Short Abstracts Due: January 12, 2015
  - Extended Abstracts Due: January 19, 2015
  - Author Feedback/Rebuttal Period: March 12-16, 2015
  - Author Notification: March 30, 2015
  - Final Versions Due for Proceedings: April 27, 2015
  Deadlines are firm; late submissions will not be considered. All submissions
  will be electronic via https://www.easychair.org/conferences/?conf=lics2015.
  Every extended abstract must be submitted in the IEEE Proceedings 2-column
  10pt format and may not be longer than 12 pages, including references.
  LaTeX style files are available from the website.
* CONFERENCE CHAIR
  Masahito Hasegawa, RIMS, Kyoto U.
* PROGRAM COMMITTEE CHAIR
  Catuscia Palamidessi, INRIA & E. Polytechnique
* WORKSHOP CHAIR
  Patricia Bouyer-Decitre, CNRS & ENS Cachan
* GENERAL CHAIR
  Luke Ong, U. Oxford
* SHORT PRESENTATIONS
  A session of short presentations, intended for descriptions of student
  research, works in progress, and other brief communications, is planned.
  These abstracts will not be published. Dates and guidelines will be posted
  on the conference website.
* KLEENE AWARD FOR BEST STUDENT PAPER
  An award in honor of the late Stephen C. Kleene will be given for the best
  student paper(s), as judged by the program committee.
* SPECIAL ISSUES
  Full versions of up to three accepted papers, to be selected by the program
  committee, will be invited for submission to the Journal of the ACM.
  Additional selected papers will be invited to a special issue of Logical
  Methods in Computer Science.
* SPONSORSHIP
  The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee
  on Mathematical Foundations of Computing, in cooperation with the Association
  for Symbolic Logic and the European Association for Theoretical Computer Science.



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
* EDBT/ICDT 2015
  Proposal submission: 7 November 2014
  http://edbticdt2015.be/index.php/edbt-icdt-call-for-tutorials
* NASA FORMAL METHODS 2015
  Paper submission: November 10, 2014
  http://www.NASAFormalMethods.org/nfm2015
* CADE 2015
  Submission deadline (Workshop/Tutorials/System Competitions): November 14, 2014
  Abstract deadline: February 16, 2015
  Submission deadline: February 23, 2015
  http://www.cade-25.info
* ICALP/LICS 2015
  Workshop Proposal deadline: November 14, 2014
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/
* PODS 2015
  Cycle 2: 28 Nov 2014 (abstract); 5 Dec 2014 (paper)
  http://www.sigmod2015.org
* JAIST LOGIC WORKSHOP 2015
  Abstract deadline: November 30, 2014
  http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
* LICS 2015
  Title and Short Abstracts Due: January 12, 2015
  Extended Abstracts Due: January 19, 2015
  http://lics.rwth-aachen.de/lics15/
* TTL 2015
  Paper submission: January 18, 2015
  http://ttl2015.irisa.fr/
* CCC 2014 POSTPROCEEDINGS
  Submission deadline: January 31, 2015
* TACL 2015
  Submission deadline (tentative): February 1, 2015
  http://logica.dmi.unisa.it/tacl/
* LPNMR 2015
  Paper registration: April 13, 2015
  Paper submission:   April 20, 2015
  http://lpnmr2015.mat.unical.it/



EDBT/ICDT 2015
  Call for Tutorials
  March 23-27, 2015 - Brussels, Belgium
  http://edbticdt2015.be/index.php/edbt-icdt-call-for-tutorials
* The EDBT series of conferences is an established and prestigious forum
  for the exchange of the latest research results in data management.
  The series of ICDT conferences provides an international forum for the
  communication of research advances on the theoretical foundations of
  database systems.
* We solicit proposals for tutorials for presentation at the EDBT/ICDT
  joint conference. Proposals must provide an in-depth survey of the
  chosen area with the option of describing some particular pieces of work in
  detail.  Proposals must be no more than four pages, in the ACM
  double-column format used for EDBT/ICDT submissions, and must include
  enough details to provide a sense of both the scope of material to be
  covered and the depth to which it will be covered.
* Important dates:
  Submission of proposals for tutorials: 7 November 2014
  Notification to authors: 12 December 2014
  Conference: March 23-27, 2015
* Please submit your proposals (in PDF) via e-mail to the Tutorial Chair,
  Pablo Barcelo  pbarcelo@dcc.uchile.cl



7TH NASA FORMAL METHODS SYMPOSIUM (NFM 2015)
  Call for Papers
  27-29 April 2015
  Pasadena, California, USA
  http://www.NASAFormalMethods.org/nfm2015
* THEME
  The widespread use and increasing complexity of mission- and safety-critical
  systems require advanced techniques that address their specification,
  verification, validation, and certification. The NASA Formal Methods
  Symposium is a forum for theoreticians and practitioners from academia,
  industry, and government, with the goals of identifying challenges and
  providing solutions to achieving assurance in mission- and safety-critical
  systems. Within NASA such systems include for example autonomous robots,
  separation assurance algorithms for aircraft, Next Generation Air
  Transportation (NextGen), and autonomous rendezvous and docking for
  spacecraft. Moreover, emerging paradigms such as property-based design,
  code generation, and safety cases are bringing with them new challenges
  and opportunities. The focus of the symposium will be on formal techniques,
  their theory, current capabilities, and limitations, as well as their
  application to aerospace, robotics, and other mission- and safety-critical
  systems in all design life-cycle stages. We encourage submissions on
  cross-cutting approaches marrying formal verification techniques with
  advances in critical system development, such as requirements generation,
  analysis of aerospace operational concepts, and formal methods integrated
  in early design stages and carrying throughout system development.
* TOPICS
  Topics of interest include, but are not limited to: Model checking, Theorem
  proving, SAT and SMT solving, Symbolic execution, Static analysis, Runtime
  verification, Program refinement, Compositional verification, Modeling and
  specification formalisms, Model-based development, Model-based testing,
  Requirement engineering, Formal approaches to fault tolerance, Security and
  intrusion detection, Applications of formal methods to aerospace systems,
  Applications of formal methods to cyber-physical systems, Applications of
  formal methods to human-machine interaction analysis
* IMPORTANT DATES
  Paper Submission: 10 Nov 2014
  Paper Notifications: 12 Jan 2015
  Camera-ready Papers: 9 Feb 2015
  Symposium: 27-29 April 2015
* INVITED SPEAKERS
  - Dino Distefano (Software Engineer at Facebook, California, USA and Professor
  at Queen Mary University of London, UK)
  - Viktor Kuncak (Leads Lab for Automated Reasoning and Analysis at EPFL,
  Lausanne, Switzerland)
  - Rob Manning (Chief Engineer at NASA/JPL)
* LOCATION AND COST
  The symposium will take place at the Hilton Hotel, Pasadena, California,
  USA, April 27-29, 2015. There will be no registration fee for participants.
  All interested individuals, including non-US citizens, are welcome to submit,
  to attend, to listen to the talks, and to participate in discussions;
  however, all attendees must register.
* SUBMISSION DETAILS
  There are two categories of submissions:
  Regular papers describing fully developed work and complete results (15 pages)
  Short papers describing tools, experience reports, or descriptions of work
  in progress with preliminary results (6 pages) All papers should be in English
  and describe original work that has not been published or submitted elsewhere.
  All submissions will be fully reviewed by members of the Programme Committee.
  Papers will appear in a volume of Springer's Lecture Notes on Computer
  Science (LNCS), and must use LNCS style formatting. Papers should be
  submitted in PDF format.
* PC CHAIRS
  Klaus Havelund, NASA Jet Propulsion Laboratory
  Gerard Holzmann, NASA Jet Propulsion Laboratory
  Rajeev Joshi, NASA Jet Propulsion Laboratory



25TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-25)
  Call for Workshops, Tutorials, System Competitions, and Papers (CADE-25)
  1-7 August 2015, Berlin, Germany
  http://www.cade-25.info
* CADE is the major international forum at which research on all
  aspects of automated deduction is presented.
* INVITED SPEAKERS
  The 25th jubilee edition will feature a special session on the past, present,
  and future of automated deduction, with the following invited speakers:
  Ursula Martin (University of Oxford)
  Frank Pfenning (Carnegie Mellon University)
  David Plaisted (University of North Carolina at Chapel Hill)
  Andrei Voronkov (University of Manchester)
  In addition, there will be invited presentations by:
  Ulrich Furbach (University of Koblenz)
  Edward Zalta (Stanford University)
* IMPORTANT DATES
  Workshop/Tutorials/System Competitions:
  Submission deadline:      14 November 2014
  Notification:             28 November 2014
  Papers:
  Abstract deadline:        16 February 2015
  Submission deadline:      23 February 2015
  Rebuttal phase:           15-18 April 2015
  Notification:             26 April 2015
  Final version:            17 May 2015
  Workshops and Tutorials:      1 August to 3 August (morning) 2015
  Competitions:                 1 to 7 August 2015
  Conference:                   3 August (afternoon) to 7 August 2015
* 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)



34TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2015)
  Call for Papers
  June 1-3, 2015, Melbourne, Victoria, Australia
  http://www.sigmod2015.org
* The PODS symposium series, held in conjunction with the SIGMOD
  conference series, provides a premier annual forum for the
  communication of new advances in the theoretical foundation of
  management, traditional or non-traditional.  For the 34th edition,
  PODS aims at broadening its scope, and calls for research papers
  providing original, substantial contributions along one or more of
  the following aspects: (1) deep theoretical exploration of topical
  areas central to data management; (2) new formal frameworks that
  aim at providing the basis for deeper theoretical investigation of
  important emerging issues in data management; and (3) validation of
  theoretical approaches from the lens of practical applicability in
  data management.
* Topics that fit the interests of the symposium include the following
  (as they pertain to databases): design, semantics, optimization;
  data modeling; data structures and algorithms; tree- and
  graph-structured data; search; information retrieval; approximation;
  model theory; logics; algebras and complexity; dynamic aspects;
  foundations of "big data" and "small data"; data analytics;
  streaming, real-time, and sensor data; processes, workflows, web
  services; verification and synthesis; incompleteness; inconsistency;
  uncertainty; constraints; metadata; semantic, linked, networked, and
  crowdsourced data; data and knowledge integration and exchange;
  distribution and parallelism; cloud computing; domain-specific data;
  mining and learning; privacy; security; provenance.
* Important dates:
  Cycle 1: Abstract 3 Oct 2014; Paper 10 Oct 2014; Notif 19 Dec 2014;
           Revised paper 30 Jan 2015; Notif 9 Mar 2015
  Cycle 2: Abstract 28 Nov 2014; Paper 5 Dec 2014; Notif 20 Feb 2015;
  Camera ready for both cycles: 22 Mar 2015



JAIST LOGIC WORKSHOP SERIES 2015: CONSTRUCTIVISM AND COMPUTABILITY
  Call for Abstracts
  2-6 March 2015, Kanazawa, Japan
  http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
* The JAIST Logic Workshop Series is aimed at bringing together researchers
  from mathematical logic and its applications, especially to artificial
  intelligence and software science. Each workshop has its own focus on
  a specific area of research in mathematical logic and its application.
  Previous events have been held in 2013, 2014 and 2014. In 2015, the focus
  is on “Constructivism and Computability”, aiming at interaction and
  knowledge transfer between constructive mathematics and computability theory.
  The workshop is
  - affiliated with the EU FP7 Marie Curie IRSES projects COMPUTAL and CORCON
  (http://computal.uni-trier.de/ and http://corcon.net/), but is open to all
  researchers active in related areas;
  - co-located with the JSPS-NUS Joint Workshop in Mathematical Logic and
  Foundations of Mathematics (6-7 March 2015, same venue)
* INVITED TALKS
  Ulrich Berger (Swansea University), Takayuki Kihara (JAIST), Graham Leigh
  (Vienna University of Technology), Michael Rathjen (University of Leeds),
  Masahiko Sato (Kyoto University), Makoto Tatsuta (National Institute of
  Informatics).
* INVITED TUTORIALS
  Giovanni Sambin (University of Padova), Hideki Tsuiki (Kyoto University),
  Stanley Wainer (University of Leeds).
* IMPORTANT DATES
  30 November 2014: deadline for abstract submissions
  25 December 2014: notification of accepted contributions
  15 February 2015: deadline for registrations
* PC CHAIRS
  Hajime Ishihara (co-chair, JAIST)
  Helmut Schwichtenberg (co-chair, LMU Munich)
* SUBMISSIONS
  Submissions of short abstracts (1 page PDF) are accepted through
  easychair.org: https://easychair.org/conferences/?conf=jlws2015
* SCOPE
  Constructive mathematics and computability, and related areas
  including but not limited to: intuitionistic logic and type theory,
  proof theory, constructive analysis and topology, program extraction
  from proofs, recursion theory, computable analysis and topology,
  classical/constructive reverse mathematics, algorithmic randomness,
  real number computation etc.
* LOCAL ORGANISERS
  Hajime Ishihara (JAIST), Takayuki Kihara (JAIST), Takako Nemoto (JAIST),
  Keita Yokoyama (JAIST).
* SUPPORT
  Japan Advanced Institute of Science and Technology (JAIST).



4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
  Call for Papers
  June 1-4, 2015, Rennes, France
  http://ttl2015.irisa.fr/
* TOPICS
  Topics that fit the interests of Tools for Teaching Logic include
  (but are not limited to): teaching logic in sciences and humanities;
  teaching logic at different levels of instruction (secondary education,
  university level, and postgraduate); didactic software; facing some
  difficulties concerning what to teach; international postgraduate
  programs; resources and challenges for e-Learning Logic; teaching
  Argumentation Theory, Critical Thinking and Informal Logic; teaching
  specific topics, such as modal logic, computability and logic, and
  others; dissemination of logic courseware and logic textbooks;
  teaching Logic Thinking.
* IMPORTANT DATES
  Paper submission: 18 Jan 2015;
  Notification: 1 Mar 2015;
  Final camera-ready due: 29 Mar 2015.



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.



TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL 2015)
  Conference and School
  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/
* 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.
* Please express you interest on the website
* TENTATIVE DATES
  Call for papers            15 November 2014
  Deadline for submissions   1 February 2015
  Notification of acceptance 15 March 2015
* Detailed information can be found on the webpage.



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 Nebrska at Omaha, NE, USA
* PUBLICITY CHAIR
  Francesco Calimeri, University of Calabria, Italy
* CONTACT
  lpnmr2015@mat.unical.it



FUNDED PHD POSITIONS IN DYNAMIC ADAPTIVE AUTOMATED SOFTWARE ENGINEERING (DAASE)
  http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/
* DAASE is a four site project funded by the Engineering and Physical Sciences
  Research Council involving University College London, Birmingham, Stirling
  and York and with a growing list of industrial partners, including: Berner
  and Mattner, BT Laboratories, Ericsson, GCHQ, Honda Research Institute
  Europe,IBM,Microsoft Research and Motorola UK.
* The project seeks to use Search Based Software Engineering to develop
  optimised software development processes, combining aspects of software
  engineering activities into a single combined and optimising process.
  This new form of software engineering will be supported by the development
  and evaluation of theory, algorithms and methods for advanced exact,
  metaheuristic and hyper-heuristic techniques. The goal is to produce
  software that is dynamically adaptive; not only able to respond to and fix
  problems that arise before deployment and during operation, but that
  continually optimises, re-configures and evolves to adapt to new operating
  conditions, platforms and environmental challenges (as most broadly
  construed). DAASE will create an array of new processes, methods, techniques
  and tools for a new kind of software engineering, radically transforming
  the theory and practice of software engineering.
* DAASE is a highly collaborative project. PhD students working on the project
  will have at least one other "buddy partner site" (one of the four academic
  partners specifically designated to collaborate) with which they will
  collaborate, supported by visits to the partner site (of one to four weeks
  duration), the full expenses of which will be met by the project. PhDs will
  also have opportunities to visit and collaborate with industrial and other
  partners and to be fully engaged with the international community through
  conferences, workshops and other networking activities. This will enhance
  training and development and open new opportunities for collaboration and
  intellectual development. A total of four studentships are available.
* Contact John R. Woodward jrw@cs.stir.ac.uk http://www.cs.stir.ac.uk/~jrw/
* Studentships will provide funding for tuition fees, a stipend of 13,590 per
  annum plus Research Training Support Grant of 750 pa. Formal applications
  should be made via the online PG application form at
  http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/
  Click the "apply now" button at the top right of the page. Select 'Research
  Degree in Computing Science' and 'register as a new user' on the system to
  proceed to the application form.



TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND
  http://www.infsec.ethz.ch/news/positions
* The Information Security group headed by Prof. David Basin at ETH
  Zurich has two open PhD positions in two projects:
  (1) Formalizing computational soundness for protocol implementations
  (2) Testing access control systems
* We are looking for enthusiastic outstanding researchers with a strong
  background and interest in one or more of the following areas:
  - formal methods or mathematical logic,
  - information security or cryptography,
  - (project 1) interactive theorem proving
    (project 2) software testing.
  Candidates with a strong theoretical background in related areas are
  also encouraged to apply. ETH Zurich regulations require PhD
  candidates to hold a Masters or equivalent degree (e.g. Diplom). The
  preferred starting date for both positions is as soon as possible, at
  the latest by the end of 2014.
* Contact: Andreas Lochbihler and Mohammad Torabi Dashti
  infsec.positions@inf.ethz.ch



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 screening: December 1, 2014.
* 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



VERIFICATION POSTDOC AT WARWICK (FIXED-TERM CONTRACT FOR 24 MONTHS)
  https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5062452&ownertype=fair&jcode=1443402&vt_template=1457&adminview=1
* Applications are invited for a two-year postdoctoral position on an
  EPSRC-funded project entitled "Counter Automata: Verification and Synthesis".
  You will have a strong background in automata theory and/or program
  verification and will be able to contribute to the design and analysis
  of algorithms for verification and synthesis of infinite-state systems.
  The project will be led by Ranko Lazic and Marcin Jurdzinski (University of
  Warwick), in collaboration with James Worrell and Joel Ouaknine (University
  of Oxford), and in partnership with Microsoft Research Ltd. You will be
  a member of the Foundations of Computer Science research group, and of the
  inter-disciplinary Centre for Discrete Mathematics and Its Applications (DIMAP).
  The closing date for applications is Monday 1st December 2014. Candidates
  are requested to submit their full Curriculum Vitae and contact details of
  three referees. The post is available from 12 January 2015. Informal
  enquiries to R.S.Lazic@warwick.ac.uk are welcome.



LOGIC, COMPUTATION, HIERARCHIES (FESTSCHRIFT IN HONOUR OF VICTOR L. SELIVANOV)
  http://www.degruyter.com/view/product/429641?rskey=gsPvAq&result=9
* V. Brattka, H. Diener, D. Spreen (eds.), Logic, Computation, Hierarchies
  (Festschrift in honour of Victor L. Selivanov), DeGruyter, Berlin, Boston,
  2014, x + 414. See the URL for further details.




Back to the LICS web page.