LICS Newsletter/SIGLOG Monthly 166
January 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
* LICS-RELATED NEWS
SIGLOG Monthly Bulletin
LICS'15 Preview
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
CiE 2015 - Call for Papers
LICS 2015 - Call for Papers
CRV 2015 - Call for Participation
REASONING CLUB - Call for Abstracts and Participation
CAV 2015 - Call for Papers and CAV Award
TTL 2015 - Call for Papers
CCC 2014 POSTPROCEEDINGS - Call for Submissions
GOEDEL PRIZE 2015 - Call for Nominations
LCTES 2015 - Call for Papers
CICM 2015 - Call for Papers
ICALP 2015 - Call for Papers
JLAMP (ISSUE ON VERIFICATION) - Call for Papers
ACTA INFORMATICA (ISSUE ON SYNTHESIS) - Call for Papers
TACL 2015 - Call for School/Conference Participation and Papers
TbiLLC 2015 - Call for Papers
CALCO 2015 - Call for Papers
CSL 2015 - Call for Papers
MFPS XXXI - Call for Papers
LPNMR 2015 - Preliminary Call for Papers
ICLP 2015 - Call for Papers
ATVA 2015 - Call for Papers
SETTA 2015 - Call for Papers
* JOB ANNOUNCEMENTS
PhD Studentship in Algorithms and Complexity at Royal Holloway, University of London
New Doctoral Program on Logical Methods in Computer Science (LogiCS)
Tenure-Track Positions at Universite du Quebec a Montreal, Canada
SIGLOG MONTHLY BULLETIN
* Happy New Year! From the new year, the preparation of the LICS Newsletter
will be overseen by SIGLOG and its name will change to SIGLOG Monthly Bulletin.
It will be distributed monthly in the same way as before. Conference
announcements should be sent to las-lics@lists.tu-berlin.de.
LICS'15 PREVIEW
http://lics.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. Short abstracts are due on January 12, 2015.
The deadline for extended abstracts is January 19, 2015.
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
* CiE 2015
Submission Deadline for LNCS: January 11, 2015
http://fmi.unibuc.ro/CiE2015/
* LICS 2015
Title and Short Abstracts Due: January 12, 2015
Extended Abstracts Due: January 19, 2015
http://lics.siglog.org/lics15/
* CRV 2015
Declaration of intent: January 15, 2015
Submission deadline: March 1, 2015
http://rv2015.conf.tuwien.ac.at
* REASONING CLUB MEETING
Abstract deadline: January 15, 2015
http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/
* CAV 2015
Abstract submission: January 30, 2015
Paper submission (firm): February 6, 2015
http://i-cav.org/2015/
* TTL 2015
Paper submission: January 30, 2015
http://ttl2015.irisa.fr/
* CCC 2014 POSTPROCEEDINGS
Submission deadline: January 31, 2015
* GOEDEL PRIZE 2015
Deadline for nominations: January 31, 2015
http://www.sigact.org/Prizes/Godel/
* LCTES 2015
Submission deadline: February 15, 2015
http://lctes2015.lctes.org
* CICM 2015
Abstract submission deadline: February 16, 2015
Submission deadline: February 23, 2015
http://cicm-conference.org/2015/cicm.php
* ICALP 2015
Submission deadline: February 17, 2015
http://www.kurims.kyoto-u.ac.jp/icalp2015/
* JLAMP (SPECIAL ISSUE ON VERIFICATION)
Abstract submission: February 25, 2015
Full paper submission: March 15, 2015
* ACTA INFORMATICA (SPECIAL ISSUE ON SYNTHESIS)
Submission deadline: March 1, 2015
http://www.easychair.org/smart-program/VSL2014/SYNT-cfp_specialissue.html
* TACL 2015
Submission deadline: March 1, 2015
http://logica.dmi.unisa.it/tacl/
* TbiLLC 2015
Submission deadline: March 1, 2015
http://www.illc.uva.nl/Tbilisi/Tbilisi2015
* CALCO 2015
Abstract submission: March 22, 2015
Paper submission: April 2, 2015
http://coalg.org/calco15/
* CSL 2015
Abstract submission: April 3, 2015
Paper Submission: April 10, 2015
http://logic.las.tu-berlin.de/csl2015/
* MFPS XXXI
Submission deadline: April 3, 2015
http://events.cs.bham.ac.uk/mfps31/
* LPNMR 2015
Paper registration: April 13, 2015
Paper submission: April 20, 2015
http://lpnmr2015.mat.unical.it/
* ICLP 2015
Abstracts due: April 20, 2015
Papers due: April 27, 2015
http://booleconferences.ucc.ie/iclp2015
* ATVA 2015
Abstract submission: April 22, 2015
Paper submission: April 25, 2015
Workshop proposal submission: May 5, 2015
http://atva2015.ios.ac.cn/
* SETTA 2015
Abstract deadline: June 12,2015
Paper submission: June 19,2015
http://cs.nju.edu.cn/setta/
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Call for Papers
June 29 - July 3, Bucharest, Romania
http://fmi.unibuc.ro/CiE2015/
* CiE 2015 is the 11-th conference organized by CiE (Computability in Europe),
a European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in new developments in
computability and their underlying significance for the real world.
Evolution of the universe, and us within it, invite a parallel evolution
in understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current challenges.
From the origins of life, to the understanding of human mentality, to the
characterizing of quantum randomness - computability theoretic questions
arise in many guises. The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for coherence, depth
and new thinking across this rich and vital field of research.
* We are looking for fundamental and theoretical submissions. In line with
other conferences in this series, CiE 2015 has a broad scope and provides
a forum for the discussion of theoretical and practical issues in
Computability with an emphasis on new paradigms of computation and the
development of their mathematical theory. We particularly invite papers
that build bridges between different parts of the research community.
* Submission Deadline for LNCS: 11 January 2015
Notification of authors: 9 March 2015
Deadline for final revisions: 6 April 2015
For submission instructions consult http://fmi.unibuc.ro/CiE2015/submission.html
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.
2ND INTERNATIONAL COMPETITION ON RUNTIME VERIFICATION (CRV 2015)
Call for Participation
September 22-25, 2015
Vienna, Austria
http://rv2015.conf.tuwien.ac.at
* AIMS
CRV-2015 will draw attention to the invaluable effort of software developers
and researchers who contribute in this field by providing the community with
new or updated tools, libraries and frameworks for the instrumentation and
runtime verification of software. The main goal of CRV 2015 is to compare
tools for runtime verification. We invite and encourage the participation
with benchmarks and tools for the competition.
* TRACKS
The competition will consist of three main tracks based on the input
language used:
- Track on monitoring Java programs (online monitoring).
- Track on monitoring C programs (online monitoring).
- Track on monitoring of traces (offline monitoring).
The competition will follow three phases:
- Benchmarks/Specification collection phase - the participants are invited
to submit their benchmarks (C or Java programs and/or traces).
The organizers will collect them in a common repository (publicly
available). The participants will then train their tools using the shared
benchmarks.
- Monitor collection phase - the participants are invited to submit their
monitors. The participants with the tools/monitors that meet the
qualification requirements will be qualified for the evaluation phase.
- Evaluation phase - the qualified tools will be evaluated on the submitted
benchmarks and they will be ranked using different criteria (i.e., memory
utilization, CPU utilization, ...). The final results will be presented
at the RV 2015 conference.
* ENQUIRIES
Please direct any enquiries to the competition co-organizers
(crv15.chairs@imag.fr)
- Ylies Falcone (Universite Joseph Fourier, France)
- Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)
- Giles Reger (University of Manchester, UK)
- Daniel Thoma (University of Luebeck, Germany)
* CRV-2015 Jury
The CSRV Jury will include a representative for each participating team and
the competition chairs. The Jury will be consulted at each stage of the
competition to ensure that the rules set by the competition chairs are fair
and reasonable.
* IMPORTANT DATES
January 15, 2015: Declaration of intent (email: crv15.chairs@imag.fr)
March 1, 2015 Submission deadline for benchmark programs and the properties to be monitored
March 15, 2015 Tool training starts by participants
May 15, 2015 Monitor submission
June 15, 2015 Notifications
At RV 2015 Presentation of results
4TH ANNUAL MEETING OF THE REASONING CLUB MEETING
http://www.kent.ac.uk/secl/philosophy/jw/reasoning/club/
http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/
School of Mathematics, Manchester University
March 30th-31st, 2015
* TALKS
The Keynote Speakers are Richard Booth (Luxembourg), Leon Horsten (Bristol),
Federico Luzzi (Aberdeen) and Sara Uckelman (Durham). In addition it is
planned to have ten 40 minute contributed talks by Ph.D.students and early
Postdocs, for whom grants will be available to cover the cost of
accommodation and subsistence.
* SUBMISSIONS
If you would like to give a talk please attach a short abstract when returning
your registration form. The deadline for abstracts is 15th January 2015.
Please see http://www.maths.manchester.ac.uk/news-and-events/events/fourth-reasoning-club-conf/
for information on abstract submission and (free) registration.
* ORGANIZERS
Jeff Paris & Alena Vencovska
27TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 2015)
Call for Papers and CAV Award
July 18-24 2015, San Francisco, California
http://i-cav.org/2015/
* AIMS AND SCOPE
CAV 2015 is the 27th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. CAV considers it vital to continue
spurring advances in hardware and software verification while expanding
to new domains such as biological systems and computer security. The
conference covers the spectrum from theoretical results to concrete
applications, with an emphasis on practical verification tools and the
algorithms and techniques that are needed for their implementation. The
proceedings of the conference will be published in the Springer LNCS
series. A selection of papers will be invited to a special issue of
Formal Methods in System Design and the Journal of the ACM.
* TOPICS
Topics of interest include but are not limited to:
- Algorithms and tools for verifying models and implementations
- Hardware verification techniques
- Deductive, compositional, and abstraction techniques for verification
- Program analysis and software verification
- Verification methods for parallel and concurrent hardware/software systems
- Testing and run-time analysis based on verification technology
- Applications and case studies in verification
- Decision procedures and solvers for verification
- Mathematical and logical foundations of practical verification tools
- Verification in industrial practice
- Algorithms and tools for system synthesis
- Hybrid systems and embedded systems verification
- Verification techniques for security
- Formal models and methods for biological systems
* DEADLINES
Abstract submission: January 30 2015
Paper submission (firm): February 6 2015
Author feedback/rebuttal period: March 23-26 2015
Notification of acceptance/rejection: April 17 2015
Final version due: May 1 2015
* CALL FOR CAV AWARD NOMINATIONS
The CAV award is given annually at the CAV conference for fundamental
contributions to the field of Computer-Aided Verification. The award comes
with a cash prize of US$10,000 shared equally among recipients. Nominations
should be submitted by e-mail to a member of the CAV Award committee.
* PC CHAIRS
Daniel Kroening, University of Oxford, UK.
Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
* WORKSHOP CHAIR
Dirk Beyer, University of Passau, Germany
* LOCAL ORGANIZATION CHAIR
Temesghen Kahsai, Carnegie Mellon Silicon Valley/NASA Ames, USA.
* CAV AWARD COMMITTEE
Moshe Vardi (Chair) Rice University
Ahmed Bouajjani Univ. Paris Diderot (Paris 7)
Tom Ball , Microsoft Research
Kim G. Larsen, Aalborg University
TTL 2015 - 4th INT'L CONF ON TOOLS FOR TEACHING LOGIC
2nd Call for Papers
June 9-12, 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, Algebraic Logic,
Knowledge Representation, Model Theory, Philosophy of Logic, and
others; dissemination of logic courseware and logic textbooks;
teaching Logic Thinking.
* IMPORTANT DATES
Paper submission: 30 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.
23RD GOEDEL PRIZE
Call for Nominations
http://www.sigact.org/Prizes/Godel/
* The Goedel Prize for outstanding papers in the area of theoretical computer
science is sponsored jointly by the European Association for Theoretical
Computer Science (EATCS) and the Association for Computing Machinery,
Special Interest Group on Algorithms and Computation Theory (ACM SIGACT).
The award is presented annually, with the presentation taking place
alternately at the International Colloquium on Automata, Languages, and
Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC).
The 23rd Goedel Prize will be awarded at the 47th ACM Symposium on Theory
of Computing, June, 2015 in Portland, Oregon.
The Prize is named in honor of Kurt Goedel in recognition of his major
contributions to mathematical logic and of his interest, discovered in a
letter he wrote to John von Neumann shortly before von Neumann's death,
in what has become the famous "P versus NP" question. The Prize includes
an award of USD 5000.
* AWARD COMMITEE
The winner of the Prize is selected by a committee of six members. The EATCS
President and the SIGACT Chair each appoint three members to the committee,
to serve staggered three-year terms. The committee is chaired alternately by
representatives of EATCS and SIGACT. The 2015 Award Committee consists of
Krzysztof Apt (CWI Amsterdam), Kurt Mehlhorn (Max Planck Institute),
Joseph Mitchell (State University of New York at Stony Brook), Andrew Pitts
(University of Cambridge), Madhu Sudan (Microsoft) and Eva Tardos
(Cornell University).
* ELIGIBILITY
The rules for the 2015 Prize are given below and they supersede any
different interpretation of the generic rule to be found on websites of
both SIGACT and EATCS. Any research paper or series of papers by a single
author or by a team of authors is deemed eligible if
(i) the paper was published in a recognized refereed journal no later than
December 31, 2014;
(ii) the main results were not published (in either preliminary or final
form) in a journal or conference proceedings before January 1st, 2002.
The research work nominated for the award should be in the area of
theoretical computer science. The term 'theoretical computer science'
is meant to encompass, but is not restricted to, research areas covered by
ICALP and STOC. Nominations are encouraged from the broadest spectrum of
the theoretical computer science community so as to ensure that potential
award winning papers are not overlooked. The Award Committee shall have
the ultimate authority to decide whether a particular paper is eligible for
the Prize.
* NOMINATIONS
Nominations for the award should be submitted by email to the Award Committee
Chair Eva Tardos: eva.tardos@cornell.edu. Please make sure that the Subject
line of all nominations and related messages begin with Goedel Prize 2015.
To be considered, nominations for the 2015 Prize must be received by
January 31, 2015.
* MORE DETAILS
http://www.sigact.org/Prizes/Godel/
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2015)
Call for Papers
June 18-19, 2015
Portland, Oregon
(part of the Federated Computing Research Conference 2015)
http://lctes2015.lctes.org
* GENERAL
LCTES provides a link between the programming languages and embedded
systems engineering communities. Researchers and developers in these
areas are addressing many similar problems, but with different
backgrounds and approaches. LCTES is intended to expose researchers
and developers from either area to relevant work and interesting
problems in the other area and provide a forum where they can
interact.
* SUBMISSIONS
LCTES 2015 solicits papers presenting original work on programming
languages, compilers, tools, theory, and architectures that help in
overcoming these challenges. Research papers on innovative techniques
are welcome, as well as experience papers on insights obtained by
experimenting with real-world systems and applications.
* IMPORTANT DATES
Submission deadline: Feb. 15
Notifications by: Apr. 1
Camera-ready deadline: Apr. 11
* SPECIAL ISSUE
A few of the best submissions to LCTES 2015 are planned to be invited
for submission, with some revisions, to a special issue of the ACM
Transactions on Embedded Computing Systems (TECS). The official publication
date is the date the proceedings are made available in the ACM Digital
Library. This date may be up to two weeks prior to the first day of your
conference.
* ORGANIZATION
- General Chair
Sam H. Noh, Hongik University, Republic of Korea
- Program Chairs
Sebastian Fischmesiter, University of Waterloo, Canada
Jason Xue, City University of Hong Kong, China
CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS (CICM 2015)
Call for Papers
13-17 July 2015
Washington DC, USA
http://cicm-conference.org/2015/cicm.php
* AIMS
Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information. Separate communities have developed to investigate and build
computer based systems for computer algebra, automated deduction, and
mathematical publishing as well as novel user interfaces. While all of these
systems excel in their own right, their integration can lead to synergies
offering significant added value. The Conference on Intelligent Computer
Mathematics (CICM) offers a venue for discussing and developing solutions
to the great challenges posed by the integration of these diverse areas.
* HISTORY
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).
* TRACKS
- Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
- DML (Digital Mathematical Libraries)
Chair: Volker Sorge
- MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
- Systems and Data
Chair: Florian Rabe
* ORGANIZATION
Publicity chair is Serge Autexier. The local arrangements will be
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme will be organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK). As in previous years, it is anticipated
that there will be a number co-located workshops, including one to mentor
doctoral students giving presentations. We also solicit for project
descriptions and work-in-progress papers.
* IMPORTANT DATES
- Conference submissions:
Abstract submission deadline: 16 February 2015
Submission deadline: 23 February 2015
Reviews sent to authors: 6 April 2015
Rebuttals due: 9 April 2015
Notification of acceptance: 13 April 2015
Camera ready copies due: 27 April 2015
Conference: 13-17 July 2015
- Work-in-progress and Doctoral Programme submissions:
Submission deadline:
(Doctoral: Abstract+CV) 4 May 2015
Notification of acceptance: 25 May 2015
Camera ready copies due: 1 June 2015
42ND INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2015)
Call for Papers
July 6-10, 2015
Kyoto, Japan
http://www.kurims.kyoto-u.ac.jp/icalp2015/
* GENERAL
ICALP 2015 will co-locate with LICS 2015, the 30th ACM/IEEE Symposium on
Logic in Computer Science. The ICALP 2015 conference chair is Kazuo Iwama
(Kyoto University). ICALP is the main conference and annual meeting of the
European Association for Theoretical Computer Science (EATCS). As usual,
the main conference will be preceded and/or followed by a series of workshops.
* IMPORTANT DATES
Submission deadline: Tuesday, 17 February 2015, 23:59 PST (Pacific Standard Time, UTC-8)
Author notification: 15 April 2015
Final manuscript due: 30 April 2015
Deadlines are firm; late submissions will not be considered.
* PROCEEDINGS
ICALP proceedings are published in the Springer-Verlag ARCoSS
(Advanced Research in Computing and Software Science) subseries of
LNCS (Lecture Notes in Computer Science).
* INVITED SPEAKERS
Ken Kawarabayashi, NII, Japan
Valerie King, University of Victoria, Canada
Thomas Moscibroda, MSR Asia, China
Anca Muscholl, Universite Bordeaux, France (Joint with LICS)
Peter O'Hearn, Facebook, UK (Joint with LICS)
* INVITED TUTORIAL SPEAKERS (JOINT WITH LICS)
Piotr Indyk, MIT, USA
Andrew Pitts, University of Cambridge, UK
Geoffrey Smith, Florida International University, USA
* MASTERCLASS SPEAKER
Ryuhei Uehara, JAIST, Japan
* TOPICS
Papers presenting original research on all aspects of theoretical
computer science are sought.
- Track A: Algorithms, Complexity and Games
- Track B: Logic, Semantics, Automata and Theory of Programming
- Track C: Foundations of Networked Computation: Models, Algorithms and
Information Management
* SUBMISSION GUIDELINES
Authors are invited to submit an extended abstract of no more than 12
pages, including references, in LNCS style presenting original
research on the theory of Computer Science. All submissions will be
electronic via the EasyChair page for the conference, with three
tracks (A, B and C):
https://easychair.org/conferences/?conf=icalp2015
Submissions should be made to the appropriate track of the conference.
No prior publication or simultaneous submission to other publication
outlets (either a conference or a journal) is allowed.
* BEST PAPER AWARDS
As in previous editions of ICALP, there will be best paper and best
student paper awards for each track of the conference. In order to be
eligible for a best student paper award, a paper should be authored
only by students and should be marked as such upon submission.
* CHAIRS
Track A: Bettina Speckmann, TU Eindhoven, The Netherlands
Track B: Naoki Kobayashi, The University of Tokyo, Japan
Track C: Magnus M. Halldorsson, Reykjavik Univ, Iceland
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Call for Papers
Special Issue on Automated Verification of Programs and Web Systems
* SPECIAL ISSUE
This special issue of the Journal of Logical and Algebraic Methods
in Programming (JLAMP) is devoted to the themes of the WWV and VPT
workshop series on Automated Specification and Verification of Web
Systems (WWV) and on Verification and Program Transformation (VPT).
This is however an open call for papers. Both participants of the
most recent editions of the WWV and VPT workshop series and others
working on the themes of this special issue are hereby invited to
submit a paper.
* IMPORTANT DATES
Abstract submission: 25 February 2015
Full paper submission: 15 March 2015
Acceptance notification: 30 June 2015
Final manuscript due: 25 July 2015
Expected publication: Fall 2015
* AIMS AND SCOPE
This special issue provides a forum for researchers working in the
areas of verification, program transformation, software engineering,
rule-based programming, formal methods, and Web-oriented research,
to submit their papers on the Automated Verification of Programs and
Web Systems. We solicit original papers on topics of either theoretical
or applied interest.
* SUBMISSION
We expect original articles (typically 20-30 pages; submission of
larger papers will be evaluated depending on editorial constraints)
that present high-quality contributions, which have not previously
been published and that are also not simultaneously submitted for
publication elsewhere. Each paper will undergo a thorough evaluation
by at least three reviewers.
All contributions must be written in English, must be submitted in
PDF format and must comply with JLAMP's author instructions (the
manuscripts should be prepared using Elsevier's elsart.cls LaTeX
article class) which can be retrieved from the journal's homepage:
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/
Submissions are handled using the Elsevier Editorial System and
can be uploaded via the aforementioned JLAMP homepage. In the
submission process, the authors must select article type "WWVPT".
* GUEST EDITORS
Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Alexei Lisitsa, University of Liverpool, UK
Andrei P. Nemytykh, Russian Academy of Sciences, Russia
Antonio Ravara, Universidade Nova de Lisboa, Portugal
ACTA INFORMATICA: SPECIAL ISSUE ON SYNTHESIS
Call for Papers
http://www.easychair.org/smart-program/VSL2014/SYNT-cfp_specialissue.html
* SCOPE
This special issue is devoted to the scope of the Third Workshop on
Synthesis, SYNT 2014 (see http://vsl2014.at/synt). SYNT 2014 was
co-located with CAV in the scope of the Vienna Summer of Logic 2014 and
was devoted to bringing together researchers from different research
areas who work on the quickly growing field of synthesis. The special
issue is open to all topics related to synthesis.
* SUBMISSIONS
Submission to this special issue is completely open and not limited to
participants of the SYNT 2014 workshop. We expect original articles
(typically 15-30 pages), which present high-quality contributions that
have not been previously published in a journal and are not concurrently
submitted to any other peer reviewed venue. All submissions should
include some theoretical contribution to the area of synthesis. Extended
versions of contributions previously published in proceedings need to
contain significant new material and should be accompanied by a short
description of the extension.
* DATES
Submissions are accepted starting in January 2015, using the "Submit
Online" button of the journal's website:
http://www.springer.com/computer/theoretical+computer+science/journal/236
Submission deadline: 1st of March 2015
TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL 2015)
Call for Participation
School: 15 - 19 June 2015, University of Salerno (Italy)
Conference: 21 - 26 June 2015, Ischia Island (Italy)
http://logica.dmi.unisa.it/tacl/
* PROGRAMME
The programme of the conference TACL 2015 will focus on three
interconnecting mathematical themes central to the semantic study of
logics and their applications: algebraic, categorical, and topological
methods. This is the seventh conference in the series Topology,
Algebra, and Categories in Logic (TACL). Earlier instalments of this
conference have been organised in Tbilisi (2003), Barcelona (2005),
Oxford (2007), Amsterdam (2009), Marseilles (2011), and Nashville
(2013). Starting from 2013, the conference is preceded by a one-week
school. This year the school will be held at the campus of the
University of Salerno and will include four tutorials, each consisting
of 1.5 hour lectures for five days.
* IMPORTANT DATES
The website is now open for submissions and registration.
Deadline for submissions 1 March 2015
Notification of acceptance 30 March 2015
Deadline for early registration (conference) 30 April 2015
Deadline for registration (school) 30 April 2015
School dates: 15 - 19 June 2015, University of Salerno (Italy)
Conference dates: 21 - 26 June 2015, Ischia Island (Italy)
* INVITED SPEAKERS
Olivia Caramello (Institut des Hautes Etudes Scientifiques), Agata
Ciabattoni (Technische Universitaet Wien), Maria Manuel Clementino
(Universidade de Coimbra), Emil Jerabek (Academy of Sciences of the Czech
Republic), Andre Joyal (Universite du Quebec), Keith A. Kearnes (University
of Colorado), Daniele Mundici (University of Florence), Paulo Oliva (Queen
Mary University of London), Jorge Picado (Universidade de Coimbra), Michael
Pinsker (University Paris Diderot)
* SCHOOL LECTURERS
Guram Bezhanishvili (New Mexico State University), Brian Davey (La Trobe
University), Ieke Moerdijk (Nijmegen University), Luke Ong (Oxford University)
THE 11TH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION
Call for Papers
21-26 September 2015
Tbilisi, Georgia
http://www.illc.uva.nl/Tbilisi/Tbilisi2015
* AIMS
The Eleventh International Tbilisi Symposium on Language, Logic and
Computation will be held on 21-26 September 2015 in Tbilisi, Georgia. The
Programme Committee invites submissions for contributions
on all aspects of language, logic and computation. Work of an
interdisciplinary nature is particularly welcome. Areas of interest
include, but are not limited to:
- Algorithmic game theory
- Computational social choice
- Constructive, modal and algebraic logic
- Formal models of multiagent systems
- Historical linguistics, history of logic
- Information retrieval, query answer systems
- Language evolution and learnability
- Linguistic typology and semantic universals
- Logic, games, and formal pragmatics
- Logics for artificial intelligence
- Natural language syntax, semantics, and pragmatics
- Natural logic, inference and entailment in natural language
- Distributional and probabilistic models of information and meaning
* SUBMISSIONS
Authors can submit an abstract of three pages (including references) at the
EasyChair conference system here:
http://www.easychair.org/conferences/?conf=tbillc2015
* PROGRAMME
The programme will include the following invited lectures and tutorials.
- Tutorials
Logic: Brunella Gerla (University of Insubria)
Language: Lisa Matthewson (University of British Columbia)
Computation: Joel Ouaknine (Oxford University)
- Invited Lectures
Rajesh Bhatt (University of Massachusetts )
Melvin Fitting (Graduate School and University Center of New York)
Helle Hansen (Delft University of Technology)
George Metcalfe (Bern University)
Sarah Murray (Cornell University)
Mehrnoosh Sadrzadeh (Queen Mary, University of London)
* WORKSHOPS
There will also be a workshop on Automata and Coalgebra, organised by
Helle Hansen and Alexandra Silva and a workshop on "How to make things
happen in grammar: Encoding Obligatoriness?, organised by Rajesh Bhatt and
Vincent Homer.
* CHAIRS
Daniel Altshuler (Chair, Heinrich-Heine-University Duesseldorf)
Luca Spada (Chair, ILLC, University of Amsterdam and University of Salerno)
* PUBLICATION INFORMATION
Post-proceedings of the symposium will be published in the LNCS series of
Springer.
* IMPORTANT DATES
Submission deadline: 1 March 2015
Notification: 1 May 2015
Final abstracts due: 1 June 2015
Registration deadline: 1 August 2015
Symposium: September 21-26, 2015
6TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2015)
Call for Papers
June 24-26, 2015
Nijmegen, Netherlands
http://coalg.org/calco15/
* SCOPE
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
It is a high-level, bi-annual conference formed by joining the forces
and reputations of CMCS (the International Workshop on Coalgebraic
Methods in Computer Science), and WADT (the Workshop on Algebraic
Development Techniques). Previous CALCO editions took place in
Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009),
Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will
be held in Nijmegen, the Netherlands, colocated with MFPS XXXI.
* INVITED SPEAKERS
Andy Pitts - University of Cambridge, UK (joint with MFPS)
Chris Heunen - University of Oxford, UK
Matteo Mio - CNRS, ENS Lyon, FR
Daniela Petrisan - Radboud University, Nijmegen, NL
* TOPICS OF INTEREST
We invite submissions of technical papers that report results of
theoretical work on the mathematics of algebras and coalgebras, the
way these results can support methods and techniques for software
development, as well as experience with the transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.
- Abstract models and logics
- Specialised models and calculi
- Algebraic and coalgebraic semantics
- System specification and verification
- Corecursion in Programming Languages
- Algebra and Coalgebra in quantum computing
* NEW TOPIC
This edition of CALCO will feature a new topic, and submission of papers
in this area is particularly encouraged.
- String Diagrams and Network Theory
* SUBMISSION GUIDELINES
Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Experience papers are
welcome, but they must clearly present general lessons learned that
would be of interest and benefit to a broad audience of both
researchers and practitioners. Submissions will be handled via EasyChair
https://www.easychair.org/conferences/?conf=calco2015
* IMPORTANT DATES --
Abstract submission: March 22, 2015
Paper submission: April 2, 2015
Author notification: May 6, 2015
Final version due: June 3, 2015
* PC CHAIRS
Larry Moss (co-chair), Indiana University, US
Pawel Sobocinski (co-chair), University of Southampton, UK
* ORGANISING COMMITTEE
Alexandra Silva, Bart Jacobs, Nicole Messink, Sam Staton
* PUBLICITY
Fabio Zanasi
* CALCO Early Ideas Overview
The CALCO Early Ideas Workshop invites submissions on the same topics
as the CALCO conference: reporting results of theoretical work on the
mathematics of algebras and coalgebras, the way these results can
support methods and techniques for software development, as well as
experience with the transfer of the resulting technologies into industrial practice.
The list of topics of particular interest is shown on the main CALCO 2015 page.
We encourage PhD students and young researchers to submit Early Idea papers
to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in
the abstract that the paper is to be considered for an Early Ideas talk.
COMPUTER SCIENCE LOGIC 2015 (CSL 2015)
Call for Papers
7-10 September 2015
Berlin, Germany
http://logic.las.tu-berlin.de/csl2015/
* AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science.
* LOCATION
The 24th EACSL Annual Conference on Computer Science Logic will be
held at the Technical University Berlin from Monday, 7 September 2015
to Thurday, 10 September 2015.
* LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
- automated deduction and interactive theorem proving
- constructive mathematics and type theory
- equational logic and term rewriting
- automata and games, game semantics
- modal and temporal logic
- model checking
- decision procedures
- logical aspects of computational complexity
- finite model theory
- computational proof theory
- bounded arithmetic and propositional proof complexity
- logic programming and constraints
- lambda calculus and combinatory logic
- domain theory
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical aspects of quantum computing
- logical foundations of programming paradigms
- verification and program analysis
- linear logic
- higher-order logic
- nonmonotonic reasoning
* IMPORTANT DATES
Abstract submission: 3 April 2015
Paper Submission: 10 April 2015
Paper Notification: 13 June 2015
Conference: 7 - 10 September 2015
* SUBMISSION
Authors are invited to submit papers of not more than 15 pages in
LIPIcs style presenting work not previously published. Papers are to
be submitted through Easychair. Submitted papers must be in English
and must provide sufficient detail to allow the PC to assess the
merits of the paper. Full proofs may appear in a technical appendix
which will be read at the reviewers' discretion. Authors are strongly
encouraged to include a well written introduction which is directed at
all members of the program committee.
* SATELLITE EVENTS
- The 11th International Workshop on Fixed Points in Computer Science (FICS'15)
will be held on 11 and 12 September 2015 as a co-located event of CSL’15.
- YuriFest: we will celebrate Yuri Gurevich’s 75th birthday with a
symposium in his honour on 11 September 2015 as a co-located event
of CSL’15.
- The annual meeting of the GI Fachgruppe Logik will be organised at
the Technical University Berlin in conjunction with CSL'15.
* PC CHAIR
Stephan Kreutzer (Technical University Berlin, pc chair)
* ORGANISING COMMITTEE:
- Christoph Dittmann (Technical University Berlin)
- Viktor Engelmann (Technical University Berlin)
- Stephan Kreutzer (Technical University Berlin, Chair)
- Jana Pilz (Technical University Berlin)
- Roman Rabinovich (Technical University Berlin)
- Sebastian Siebertz (Technical University Berlin)
MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS XXXI (MFPS 2015)
Call for Papers
22-25 June 2015, Nijmegen, Netherlands
http://events.cs.bham.ac.uk/mfps31/
* MFPS SERIES
MFPS conferences are dedicated to the areas of mathematics, logic,
and computer science that are related to models of computation in general,
and to semantics of programming languages in particular. This is a forum
where researchers in mathematics and computer science can meet
and exchange ideas. The participation of researchers in neighbouring
areas is strongly encouraged. This edition of MFPS will be co-located
with CALCO.
* IMPORTANT DATES
Submission: April 3, 2015
Notification: May 15, 2015
Final version: May 29, 2015
* INVITED SPEAKERS
Andrew Pitts, Thierry Coquand, Paul B. Levy, Guy McCusker, Sam Staton
* INVITED TUTORIAL SPEAKERS
Matija Pretnar, Andrzej Murawski, Martin Escardo
* SPECIAL SESSIONS
algebraic effects, game semantics, homotopy type theory, quantitative semantics
* MORE INFO
For more information please consult the web page.
13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
Preliminary Call for Papers
Lexington, KY, USA
September 27-30, 2015
http://lpnmr2015.mat.unical.it/
(Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
* AIMS AND SCOPE
LPNMR 2015 is the thirteenth in the series of international meetings on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation. The aim of the conference is to facilitate
interactions between researchers and practitioners interested in the
design and implementation of logic-based programming languages and
database systems, and those working in knowledge representation and
nonmonotonic reasoning. LPNMR strives to encompass theoretical and
experimental studies that have led or will lead to the construction of
systems for declarative programming and knowledge representation, as well
as their use in practical applications. This edition of LPNMR will feature
several workshops, a special session dedicated to the 6th ASP Systems
Competition, and will be collocated with the 4th Algorithmic Decision
Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be
a part of the program.
Authors are invited to submit papers presenting original and unpublished
research on all aspects of non-monotonic approaches in logic programming
and knowledge representation. We invite submissions of both long and
short papers.
* TOPICS
Conference topics include, but are not limited to:
1. Foundations of LPNMR Systems
2. Implementation of LPNMR systems
3. Applications of LPNMR
* SUBMISSION
LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
(6 pages) in the following categories:
- Technical papers
- System descriptions
- Application descriptions
The indicated number of pages includes title page, references and
figures. All submissions will be peer-reviewed and accepted papers will
appear in the conference proceedings published in the Springer-Verlag
Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
author of each accepted paper is expected to register for the conference
to present the work.
The Program Committee chairs are planning to arrange for the best papers to
be published in a special issue of a premiere journal in the field.
LPNMR 2015 will not accept any paper which, at the time of submission, is
under review or has already been published or accepted for publication in
a journal or another conference. Authors are also required not to submit
their papers elsewhere during LPNMR's review period. However, these
restrictions do not apply to previous workshops with a limited audience
and without archival proceedings.
* ASSOCIATED WORKSHOPS
LPNMR 2015 will include specialized workshops to be held on September 27
prior to the main conference. Currently planned workshops include:
- Grounding, Transforming, and Modularizing Theories with Variables
Organizers: Marc Denecker, Tomi Janhunen
- Action Languages, Process Modeling, and Policy Reasoning
Organizer: Joohyung Lee
- Natural Language Processing and Automated Reasoning
Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
- Learning and Nonmonotonic Reasoning
Organizers: Alessandra Russo and Alessandra Mileo
* IMPORTANT DATES (TENTATIVE)
- Paper registration: April 13, 2015
- Paper submission: April 20, 2015
- Notification: June 1, 2015
- Final versions due: June 15, 2015
* VENUE
Lexington is a medium size, pleasant and quiet university town. It
is located in the heart of the so-called Bluegrass Region in
Central Kentucky. The city is surrounded by beautiful horse farms
on green pastures dotted with ponds and traditional architecture
stables, and small race tracks, and bordered by white or black
fences. The Horse Museum is as beautifully located as it is
interesting. Overall, the city has a nice feel that mixes well old
and new. The conference will be held in the Hilton Lexington
Downtown hotel.
* GENERAL CHAIR
Victor Marek, University of Kentucky, KY, USA
* PROGRAM CHAIRS
Giovambattista Ianni, University of Calabria, Italy
Mirek Truszczynski, University of Kentucky, KY, USA
* WORKSHOPS CHAIR
Yuliya Lierler, University of Nebraska at Omaha, NE, USA
* PUBLICITY CHAIR
Francesco Calimeri, University of Calabria, Italy
* CONTACT
lpnmr2015@mat.unical.it
31ST INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2015)
Call for Papers
Cork, Ireland
August 31 - September 4, 2015
http://booleconferences.ucc.ie/iclp2015
* HISTORY
Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. ICLP 2015 will be co-located with the 21st International
Conference on Principles and Practice of Constraint Programming (CP
2015) and is part of "The Year of George Boole", a celebration of the
life and work of George Boole who was born in 1815 and worked at the
University College of Cork.
* IMPORTANT DATES
Abstracts due: April 20, 2015
Papers due: April 27, 2015
Notification to authors: June 5, 2015
Camera ready versions due: July 21, 2015
Conference: August 31-September 4, 2015
* CONFERENCE SCOPE
Contributions are sought in all areas of logic programming, including
but not restricted to:
- Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.
- Implementation: Compilation, Virtual Machines, Parallelism, Constraint
Handling Rules and Tabling.
- Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Profiling, Testing.
- Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Assertions, Programming Techniques.
- Related Paradigms: Inductive and Coinductive Logic Programming,
Constraint Logic Programming, Answer-Set Programming, SAT,
Constraints, Computational Argumentation, Abductive Logic Programming,
Functional Logic Programming.
- Applications: Databases, Data Integration and Federation, Software
Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Social Networks and
Social Choice.
In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the doctoral
consortium, the Prolog contest and several workshops.
* SUBMISSION DETAILS
There are two categories for submissions:
-- Regular papers, including: (1) technical papers for describing
technically sound, innovative ideas that can advance the state of
logic programming; (2) application papers, with emphasis on impact
on some application domains; (3) system and tool papers, with
emphasis on novelty, practicality, usability and availability of
the systems and tools described.
-- Technical communications aimed at describing recent developments,
new projects, and other materials not ready for publication as
regular papers.
All regular papers and technical communications will be presented
during the conference. All submissions must be written in English and
describe original, previously unpublished research, and must not
simultaneously be submitted for publication elsewhere.
Regular papers must not exceed 12 pages plus bibliography: however the
papers may include appendices beyond 12 pages. Technical
communications must not exceed 10 pages. Submissions must be made in
the TPLP format (see http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf)
via the EasyChair submission system, available at
www.easychair.org/conferences/?conf=iclp2015.
* PAPER PUBLICATION
All accepted regular papers will be published in the journal Theory
and Practice of Logic Programming (TPLP), Cambridge University Press
(CUP), in one or more special issues. In order to ensure the quality
of the final version, papers may be subject to two rounds of
refereeing (within the decision period). Accepted technical
communications will be published in archival form. The program
committee may also recommend papers submitted as regular to be
published as technical communications.
* ICLP 2015 ORGANIZATION
- General Co-Chairs:
Barry O'Sullivan University College Cork, Ireland
Roland Yap National University of Singapore
- Program Co-Chairs:
Thomas Eiter TU Wien, Austria
Francesca Toni Imperial College London, UK
- Local Arrangements Co-Chairs:
Barry O'Sullivan University College Cork, Ireland
Ken Brown University College Cork, Ireland
- Workshops Chair:
Mats Carlsson SICS, Uppsala, Sweden
- Doctoral Consortium Chairs:
Marina De Vos University of Bath, UK
Yuliya Lierler University of Nebraska at Omaha, USA
- LP/CP Programming Contest Chair:
Neng-Fa Zhou, City University of New York, USA
Peter Stuckey, NICTA and the University of Melbourne, Australia
- Publicity Chair:
Ian Miguel University of St Andrews, UK
13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2015)
October 12-15, 2015
Shanghai, China
http://atva2015.ios.ac.cn/
* BACKGROUND
The purpose of ATVA is to promote research on theoretical and practical
aspects of automated analysis, verification and syn-thesis by providing
a forum for interaction between the regional and the international research
communities and industry in the field.
* SCOPE
ATVA 2015 solicits high-quality submissions in areas related to the theory
and practice of automated analysis and verification of hardware and software
systems. Topics of interest include, but are not limited to:
- Formalisms for modeling hardware, software and embedded systems
- Specification and verification of finite-state, infinite-state and
parameterized systems
- Program analysis and software verification
- Analysis and verification of hardware circuits, systems-on-chip and
embedded systems
- Analysis of real-time, hybrid, priced/weighted and probabilistic systems
- Deductive, algorithmic, compositional, and abstraction refinement
techniques for analysis and verification
- Analytical techniques for safety, security, and dependability
- Testing and runtime analysis based on verification technology
- Analysis and verification of parallel and concurrent hardware/software systems
- Verification in industrial practice
- Applications and case studies
Theory papers should preferably be motivated by practical problems, and
applications should be based on sound theory and should solve problems of
practical interest.
* IMPORTANT DATES
April 22, 2015 Abstract submission deadline (AOE)
April 25, 2015 Paper submission deadline (AOE)
May 5, 2015 Submission of workshop proposals
Jun 8, 2015 Paper acceptance/rejection notification
Jun 10, 2015 Announcement of the accepted papers
July 5, 2015 Camera-ready copy deadline
* GENERAL CHAIR
Jifeng He (East China Normal University, China)
* PROGRAMME CHAIRS
Bernd Finkbeiner (Saarland University, Germany)
Geguang Pu (East China Normal University, China)
Lijun Zhang (Institute of Software, Chinese Academy of Sciences)
* PUBLICITY CHAIRS
David N. Jansen (Radboud Universiteit, Netherlands)
Huibiao Zhu (East China Normal University, China)
* WORKSHOP CHAIR
Jun Sun (National University of Singapore, SG)
* KEYNOTES
Dino Distefano (Queen Mary, University of London, UK)
Joost-Pieter Katoen (RWTH Aachen University, Germany)
Jay Strother Moore (University of Texas-Austin, USA)
SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS AND APPLICATIONS (SETTA 2015)
Call for Papers
November 4-6, 2015
Nanjing University
http://cs.nju.edu.cn/setta/
* BACKGROUND AND OBJECTIVES
The aim of the symposium is to bring together international researchers
and practitioners in the field of software technology. Its focus is on
formal methods and advanced software technologies, especially for engineering
complex, large-scale artefacts like cyber-physical systems, networks of
things, enterprise systems, or cloud-based services. Contributions relating
to formal methods or integrating them with software engineering, as well
as papers advancing scalability or widening the scope of rigorous methods
to new design goals are especially welcome. Being hosted in China, the
symposium will also provide a platform for building up research
collaborations between the rapidly growing Chinese computer science community
and its international counterpart. The symposium will support this process
through dedicated events and therefore welcomes both young researchers
considering international collaboration in formal methods and established
researchers looking for international cooperation and willing to attract
new colleagues to the domain.
* SUBMISSIONS
Authors are invited to submit papers on original research, industrial
applications, or position papers proposing challenges in fundamental
research and technology. The latter two types of submissions are expected
to contribute to the development of formal methods either by substantiating
the advantages of integrating formal methods into the development cycle or
through delineating need for research by demonstrating weaknesses of existing
technologies, especially when addressing new application domains.
Submissions can take the form of either normal or short papers. Short papers
can discuss ongoing research at an early stage, including PhD projects.
Papers should be written in English. Regular Papers should not exceed 15
pages and Short Papers should not exceed 6 pages in LNCS format
(see http://www.springer.de/comp/lncs/authors.html for details).
The proceedings will be published as a volume in Springer's LNCS series.
The authors of a selected subset of accepted papers will be invited to
submit extended versions of their papers to appear in a special issue of
the Formal Aspect Computing journal.
* TOPICS
- Requirements specification and analysis
- Formalisms for modeling, design and implementation
- Model checking, theorem proving, and decision procedures
- Scalable approaches to formal system analysis
- Formal approaches to simulation and testing
- Integration of formal methods into software engineering practice
- Contract-based engineering of components, systems, and systems of systems
- Formal and engineering aspects of software evolution and maintenance
- Parallel and multicore programming
- Embedded, real-time, hybrid, and cyber-physical systems
- Mixed-critical applications and systems
- Formal aspects of service-oriented and cloud computing
- Safety, reliability, robustness, and fault-tolerance
- Empirical analysis techniques and integration with formal methods
- Applications and industrial experience reports
- Tool integration
* IMPORTANT DATES
June 12,2015 Abstracts
June 19,2015 Submission of papers
August 21,2015 Notification to authors
September 4,2015 Camera-ready versions
* KEYNOTE SPEAKERS
Sanjoy Baruah, University of North Carolina at Chapel Hill, USA
David Harel, Weizmann Institute of Science, Israel
Huimin Lin, Institute of Software, CAS, China
* GENERAL CHAIR
Jian Lv, Nanjing University, China
* PROGRAMME CO-CHAIRS
Xuandong Li, Nanjing University, China
Zhiming Liu, Birmingham City University, UK
Yi Wang, Uppsala University, Sweden
* PUBLICITY CHAIRS
Jonathan Bowen, Birmingham City University, UK
Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China
* PUBLICATION CHAIR
Martin Fraenzle, University of Oldenburg, Germany
* LOCAL ORGANIZATION CHAIR
Xin Chen, Nanjing University, China
PHD STUDENTSHIP IN ALGORITHMS AND COMPLEXITY AT ROYAL HOLLOWAY, UNIVERSITY OF LONDON
http://www.cs.rhul.ac.uk/home/tzameret/PhD_Post.html
* The Department of Computer Science at Royal Holloway,
University of London is offering a three-year full-time PhD
studentship in algorithms and complexity starting in October
2015. The studentship includes a full tuition-fee waiver and a
maintenance award in line with the level recommended by
Research Councils UK (exact value to be confirmed, circa GBP
16,000 (USD 25,000 or EUR 20,000)). The student will be hosted
in the Center for Algorithms and Applications and will work
under the supervision of Dr Iddo Tzameret
(http://www.cs.rhul.ac.uk/home/tzameret/).
* THE PROJECT is broadly in the area of computational complexity
with an emphasis on satisfiability and the complexity of
proofs. The successful candidate will investigate fundamental
aspects of the Boolean satisfiability problem SAT from possibly
different aspects - combinatorial, algebraic and logical - with
a possibility to engage as well in applied or empirical study
of SAT-solving and other applications related to SAT, depending
on the preferences and qualifications of the candidate.
* For more information about the post see:
http://www.cs.rhul.ac.uk/home/tzameret/PhD_Post.html
* STARTING DATE: October 1, 2015
* HOW TO APPLY:
Applications should be made as soon as possible through the
online application system at Royal Holloway, University of London:
https://www.royalholloway.ac.uk/studyhere/researchdegrees/applying/home.aspx
and will remain open until the position is filled.
* For any informal inquiries about the position, please contact
Dr Iddo Tzameret at: Iddo.Tzameret@rhul.ac.uk
NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
http://logic-cs.at/phd
* Funded Doctoral Positions in Computer Science
* TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering
(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.
* THE PROGRAM
LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided
verification.
* FACULTY MEMBERS
M. Baaz A. Biere R. Bloem A. Ciabattoni
U. Egly T. Eiter C. Fermueller R. Grosu
A. Leitsch M. Ortiz R. Pichler S. Szeider
H. Tompits H. Veith G. Weissenbacher
* POSITIONS AND FUNDING
We are looking for 1-2 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female
candidates. The doctoral positions are funded for a period of 3 years
according to the funding scheme of the Austrian Science Fund
(details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.
* HOW TO APPLY
Detailed information about the application process is available on the
LogiCS web-page http://logic-cs.at/phd/
The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related
field. Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.
* Applications can be submitted at any time. Next screenings: March 1, 2015.
* HIGHEST QUALITY OF LIFE
The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.
* For further information please contact: info@logic-cs.at
TENURE-TRACK POSITIONS AT UNIVERSITE DU QUEBEC A MONTREAL, CANADA
http://www.rhu.uqam.ca/AffichageProfs/21006378.pdf
http://www.rhu.uqam.ca/AffichageProfs/21006546.pdf
* The departement d'informatique at UQAM invites application for:
- One faculty position in security (content and infrastructure security,
tools and languages for secure software, malicious code detection,
certified compilation, trustworthy computing, e-commerce protocol security,
formal methods and verification for security, secure embedded systems,
etc.);
- One faculty position in cognitive informatics, in the area of semantic
Web and knowledge management (ontology engineering, ontology reasoning
algorithms, Web of data, semantic web services, etc.);
Teaching at UQAM is done in French and the candidate must have an excellent
mastery of this language. The deadline for (electronic) submission is
January 16, 2015.
Back to the LICS web page.