Newsletter 164
November 1, 2014
*******************************************************************
* 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
* 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.siglog.org/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.siglog.org/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.siglog.org/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.siglog.org/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.