SIGLOG Monthly 174
September 1, 2015
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
CSL'15 Final Call for Participation
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
WS-FM/BEAT - Call for Participation
FOCLASA - Call For Participation
HaPoC 2015 - Call For Participation
FICS 2015 - Call For Participation
TIME 2015 - Call for Participation
AVACS Final Colloquium - Call for Participation
AVACS Autumn School 2015 - Call for Participation
HIGHLIGHTS 2015 - Call for Participation
RV 2015 - Call for Participation
SAFECOMP 2015 - Call for Participation
LPNMR 2015 - Call for Participation
CPS 2016 - Call for workshop and tutorial proposals
PODS 2016 - Call for Papers
ETAPS 2016 - Call for Papers
ATVA 2015 - Call for Participation
ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
ISAIM 2016 - Call for Papers
KR 2016 - Call for Papers
COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS
PHD POSITIONS AT THE UNIVERSITY OF PISA
POSTDOC POSITION AT VIENNA UNIVERSITY OF TECHNOLOGY
CSL 2015
Final Call for Participation
COMPUTER SCIENCE LOGIC 2015
Berlin, 7 - 10 September 2015
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 Thursday, 10 September 2015.
INVITED SPEAKERS
Martin Abadi (Google and Santa Cruz)
Elham Kashefi (Edinburgh)
Markus Lohrey (Siegen)
Ryan Williams (Stanford)
REGISTRATION
The conference fee is 300 EUR for non-students and 250 EUR for
students. There is a discount for members of EATCS and ACM SIGLOG.
For details about registration see
http://logic.las.tu-berlin.de/csl2015/registration.html.
HOTELS
There are a few rooms left in the conference hotels reserved for
conference participants. These can be booked through the registration
page for a reduced price.
CO-LOCATED EVENTS
FICS: Workshop in fixed-points in computer science
YuriFest: a symposium in the honour of Yuri Gurevich's 75th birthday
LogInf: the meeting of the GI Fachgruppe Logic in der Informatik.
You can register for any of these events independently and also
independent on conference participation. The registration page is the
same as for CSL, see http://logic.las.tu-berlin.de/csl2015/registration.html.
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science is the flagship
conference of SIGLOG. SIGLOG will also actively seek association agreements
with other conferences in the field. A SIGLOG newsletter (SIGLOG News)
is also published quarterly in an electronic format with community news,
technical columns, members' feedback, conference reports, book reviews
and other items of interest to the community.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG membership
fee is $25 and $15 for students).
DATES
* WS-FM/BEAT FOCLASA
Symposium: September 4-5, Madrid, Spain
http://www.projects.science.uu.nl/WSFM-BEAT2015/
Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
http://mafalda.fdi.ucm.es/madrid2015/
* FOCLASA
Workshop: September 4-5, Madrid, Spain
http://foclasa.lcc.uma.es/
Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
http://mafalda.fdi.ucm.es/madrid2015/
* HaPoC 2015
Call for Participation
Conference on October 8-11, 2015, Pisa, Italy
Early Registration until September 6, 2015
* FICS 2015
Call for Participation
Satellite Workshop of CSL 2015: September 11-12, 2015, Berlin, Germany
* TIME 2015
Call for Participation
Symposium on September 23 - 25, 2015, Kassel Germany
http://time2015.uni-kassel.de
* AVACS Final Colloquium
September 29, 2015, Oldenburg, Germany
http://www.avacs.org/concluding-colloq/?L=4
Registration deadline: September 18, 2015.
* AVACS Autumn School 2015
Oldenburg, Germany, September 30 to October 2, 2015
http://www.avacs.org/autumn2015
* HIGHLIGHTS 2015
Conference: Prague, 15-18 September 2015
http://highlights-conference.org
* RV 2015
Conference: Vienna, Austria, September 22-25, 2015
http://rv2015.conf.tuwien.ac.at/
* SAFECOMP 2015
Conference + workshops: Delft, the Netherlands, 22-25 September 2015
http://safecomp2015.tudelft.nl
* LPNMR 2015
Call for Participation
Conference: Lexington, KY, USA, September 27-30, 2015
http://lpnmr2015.mat.unical.it/
* CPS WEEK
Call for workshop and tutorial proposals
Proposal submission deadline : October 1, 2015
April 11-14, 2016, Vienna, Austria
http://www.cpsweek.org/2016/
* PODS 2016
Call for Research Papers (First submission cycle)
June 27-29, 2016, San Francisco, California, USA
Abstract submission: October 2, 2015
http://www.sigmod2016.org
* ETAPS 2016
Call for papers
Conferences: 2-8 April 2016, Eindhoven, The Netherlands
Submission deadline for abstracts: 9 October 2015
http://www.etaps.org/2016
* ATVA 2015
Call for participation
October 12-15, 2015, Shanghai, China
http://atva2015.ios.ac.cn/
* ABZ 2016
Workshop proposal submissions: October 16, 2015
Workshop proposal notifications: November 6, 2015
Research paper and answers to case study submission: January 15, 2016
Short paper submission: February 4, 2016
Tutorial proposal submissions: February 15, 2016
http://www.cdcc.faw.jku.at/ABZ2016/
* ISAIM 2016
Call for Papers
January 4-6, 2016, Fort Lauderdale FL, USA
http://isaim2016.cs.virginia.edu
* KR 2016
Call for papers
Conference: Cape Town, South Africa, 25-29 April 2016
Submission of title and abstract deadline: 21 November 2015
http://kr.org/KR2016/
* SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY 2016
April-June 2016
Chebyshev Laboratory at St.Petersburg State University
Organized jointly with the Skolkovo Institute of Science and Technology.
http://en.chebyshev.spb.ru/complexity2016
INTERNATIONAL SYMPOSIUM ON WEB SERVICES, FORMAL METHODS AND BEHAVIOURAL TYPES (WS-FM/BEAT 2015)
Call for Participation
Symposium: September 4-5, Madrid, Spain
* DETAILED INFORMATION
http://www.projects.science.uu.nl/WSFM-BEAT2015/
Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
http://mafalda.fdi.ucm.es/madrid2015/
14TH INTERNATIONAL WORKSHOP ON FOUNDATIONS OF COORDINATION LANGUAGES AND SELF-ADAPTATION
Call for Participation
Workshop: September 4-5, Madrid, Spain
* DETAILED INFORMATION
http://foclasa.lcc.uma.es/
Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
http://mafalda.fdi.ucm.es/madrid2015/
3RD INTERNATIONAL CONFERENCE ON THE HISTORY AND PHILOSOPHY OF COMPUTING (HaPoC 2015)
First Call For Participation
Early Registration until September 6, 2015
Conference: October 8-11, 2015, Pisa, Italy
http://hapoc2015.di.unipi.it
* AIMS
The conference brings together researchers interested in the historical
developments of computers and their sciences, as well as those reflecting
on the sociological and philosophical issues springing from the rise and
ubiquity of computing machines in the contemporary landscape. The conference
is composed of 30 research presentations, with no parallels sessions, and 6
invited talks from renowned experts in the relevant fields. The conference
will take place in Pisa, at the Museum of Computing Machinery.
* INVITED SPEAKERS
Nicola Angius, Universita' di Sassari
Lenore Blum, Carnegie Mellon University
David Alan Grier, IEEE & George Washington University
Furio Honsell, Universita' di Udine
Pierre Mounier-Kuhn, CNRS & Universite' Paris-Sorbonne
Franck Varenne, Universite' de Rouen
10TH INTERNATIONAL WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (FICS 2015)
Call for participation
Workshop: September 11-12, 2015, Berlin, Germany
http://www.irit.fr/FICS2015/
* AIMS
The aim of this workshop is to provide a forum for researchers to present
their results to those members of the computer science and logic communities
who study or apply the theory of fixed points.
* INVITED SPEAKERS
Bartek Klin, Warsaw University
James Worrell, University of Oxford
* REGISTARTION
No registration deadline, but registration through the CSL 2015 registration
page http://logic.las.tu-berlin.de/csl2015/registration.html required
* PROGRAMME
There are two invited speakers, 11 contributed talks with paper at EPTCS,
plus the following invited speakers of the annual meeting of the
GI-Fachgruppe "Logik in der Informatik":
Ulrich Schopp, LMU Munchen
Michael Elberfeld, RWTH Aachen
All the details are on the web site (titles, abstracts of FICS talks,
registration fee).
22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2015)
Call for participation
Early registration deadline: July 31st
Symposium on September 23 - 25, 2015, Kassel Germany
http://time2015.uni-kassel.de
* AIMS
TIME 2015 aims to bring together researchers interested in reasoning about
temporal aspects of information in any area of Computer Science. The
symposium has a wide remit and intends to cater both for theoretical aspects
and well-founded applications. One of the key aspects of the time symposium
is its interdisciplinarity with attendees from distinct areas such as
artificial intelligence, database management, logic and verification,
and beyond. The symposium will encompass three tracks on temporal
representation and reasoning in AI, Databases, as well as Logic and
Verification. The two-and-a-half-days scientific programme with 3 invited
presentations, 17 contributed talks and a panel session on temporal
databases will be complemented with two social events on the first and
second evening. Please consult the TIME 2015 website for further
information, including the list of accepted papers.
* INVITED SPEAKERS
Giuseppe de Giacomo, Sapienza Universita di Roma;
Carlo Zaniolo, UCLA;
Benedikt Bollig, ENS Cachan
AUTOMATIC VERIFICATION AND ANALYSIS OF COMPLEX SYSTEMS FINAL COLLOQUIUM
Call for Participation
Registration deadline: September 18, 2015
September 30 to October 2, 2015
Oldenburg, Germany
* OVERVIEW
We would like to invite you to the 12 years celebration of the Transregional
Collaborative Research Center AVACS - Automatic Verification and Analysis of
Complex Systems, see www.avacs.org with a final colloquium held at the
University of Oldenburg, Germany.
This event is followed by the three days AVACS Autumn School -
see http://www.avacs.org/autumn2015/.
* REGISTRATION
Please register for participation by sending an e-mail to Mrs. Kathrin Kuper:
kathrin.kuper@uni-oldenburg.de by September 18, 2015.
2ND AUTUMN SCHOOL ON AUTOMATIC ANALYSIS AND VERIFICATION OF COMPLEX SYSTEMS
Call for Participation
September 30 to October 2, 2015
Oldenburg, Germany
http://www.avacs.org/autumn2015
* AIMS
"Automatic Verification and Analysis of Complex Systems" is an autumn
school focussing on automated formal methods in computer science and
their application to the analysis and verification of complex embedded
systems. Targeting primarily PhD students and young researchers with
an interest in safety-critical embedded systems, the technical program
comprises talks from 12 specialists in the field of automated formal
methods, covering the range from hard real-time systems over hybrid
systems to dynamically restructuring systems of systems.
* LECTURERS
Overview:
- Werner Damm (Carl von Ossietzky Universitat Oldenburg, D)
Hybrid Systems:
- Goran Frehse (Universite Joseph Fourier Grenoble, F)
- Andre Platzer (Carnegie Mellon University, PA, USA)
- Thomas Sturm (Max-Planck-Institut fur Informatik, D)
Real-Time:
- Kim G. Larsen (Aalborg Universitet, DK)
- Ernst-Rudiger Olderog (Carl von Ossietzky Universitat Oldenburg, D)
- Andrey Rybalchenko (Microsoft Research, UK)
- Mani Swaminathan (Carl von Ossietzky Universitat Oldenburg, D)
Systems of Systems:
- Paolo Marin (Albert-Ludwigs-Universitat Freiburg, D)
- David Parker (University of Birmingham, UK)
- Sven Schewe (University of Liverpool, UK)
- Ralf Wimmer (Albert-Ludwigs-Universitat Freiburg, D)
* VENUE AND REGISTRATION
The autumn school will be held at the Carl von Ossietzky University
Oldenburg. Please see the autumn school's website
www.avacs.org/autumn2015 for detailed information.
Inquiries can be addressed to the local organizers Martin Franzle,
Thomas Scheidsteger, and Jurgen Niehaus via email: autumn2015@avacs.org .
HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2015)
Call for Participation
Prague, 15-18 September 2015
http://highlights-conference.org
* AIMS
HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
and Automata which aims at integrating the community working in these
fields. A visit to Highlights conference should offer a wide picture
of the latest research in the area and a chance to meet everybody in
the field, not just those who happen to publish in one particular
proceedings volume. The participants present their best work, be it
published elsewhere or yet unpublished.
* INVITED SPEAKERS
Christel Baier
Thomas Colcombet
Giuseppe De Giacomo
Philippe Schnoebelen
The program is further enriched by a special Mathematical Colloquia
talk by Moshe Vardi that takes place in Karolinum, the historical
seat of the Charles University in Prague.
* DATES
The conference is three days long (Sept. 16-18) and it is preceeded
by the Highlights tutorial day (Sept. 15). The contributed talks are
around ten minutes.
* REGISTRATION
The registration form and detailed information about Highlights 2015
are available at http://highlights-conference.org. There is a
small registration fee of 80 Euro which includes lunches and conference
dinner. Although the deadline for early registration already elapsed, the
organizers still offer several cheap rooms close to the conference
venue (the available capacity is almost booked, so this option remains
open only for a very limited period of time). All potential
participants are recommended to register as soon as possible.
15TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2015)
Call for Participation
Vienna, Austria, September 22-25, 2015
http://rv2015.conf.tuwien.ac.at/
* OVERVIEW
Runtime verification is concerned with monitoring and analysis of software
and hardware system executions. Runtime verification techniques are important
for system correctness, reliability, and robustness; they are complementary
to conventional testing, and more practical than exhaustive formal
verification. Topics of interest to the conference include:
- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies
* INVITED TALKS
- Patrice Godefroid, Microsoft Research, USA
- Sriram Sankaranarayanan, University of Colorado Boulder, USA
- Georg Weissenbacher, Vienna University of Technology, Austria
* TUTORIALS
- M. Isberner, B. Steffen, F. Howar
- P. Daian, Y. Falcone, P. Meredith, T. F. Serbanuta, S. Shiriashi, A. Iwai, G. Rosu
- D. Nickovic
- L. Bortolussi, D. Milos, G. Sanguinetti
* REGISTRATION
Full details available at the registration link:
http://rv2015.conf.tuwien.ac.at/?page_id=522
* CHAIRS AND ORGANIZERS
General Chair: Radu Grosu (Vienna University of Technology, Austria).
PC co-Chairs:
- Ezio Bartocci (Vienna University of Technology, Austria)
- Rupak Majumdar (Max Planck Institute, Germany)
Tools Track Chair: Dejan Nickovic (Austrian Institute of Technology, Austria)
Runtime Monitoring Competition Co-Chairs:
- 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)
INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP 2015)
Call for Participation
Delft, the Netherlands, 22-25 September 2015
http://safecomp2015.tudelft.nl/
* The registration for participation in SAFECOMP 2015 or one or more of the
related workshops ASSURE, DECSoS, ISSE, ReSA4CI and SASSUR in Delft, the
Netherlands is still possible! For the provisional programmes see
http://safecomp2015.tudelft.nl/programme.
* PROGRAM CHAIR
Floor Koornneef
Coen van Gulijk
13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
Call for Participation
Lexington, KY, USA, September 27-30, 2015
http://lpnmr2015.mat.unical.it/
* REGISTRATION: Registration procedure is available via
http://www.cs.uky.edu/lpnmr2015/.
Hotel Special rate DEADLINE Sep. 2nd
* AIMS:
LPNMR 2015 is the thirteenth in the series of international meetings on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation.
* The program will include three invited talks:
- Stable Models for Temporal Theories - By Pedro Cabalar, University of
Corunna, Spain
- Algorithmic decision theory meets logic - By Jerome Lang, Universite
Paris-Dauphine, France (Plenary session with ADT 2015).
- Relational and Semantic Data Mining - By Nada Lavrac, Jozef Stefan
Institute and University of Nova Gorica, Slovenia
* ASSOCIATED EVENTS
This edition of LPNMR will also 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.
Currently planned workshops
include:
- Grounding, Transforming, and Modularizing Theories with Variables
Organizers: Marc Denecker, Tomi Janhunen
Website: https://sites.google.com/site/gttv2015/
- Action Languages, Process Modeling, and Policy Reasoning
Organizer: Joohyung Lee, Gail-Joon Ahn
Website: https://sites.google.com/site/alpp2015/
- Natural Language Processing and Automated Reasoning
Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
Website: https://sites.google.com/site/nlpar2015/
- Learning and Nonmonotonic Reasoning
Organizers: Alessandra Russo and Alessandra Mileo
Website: http://lnmr2015.insight-centre.org/
Full info are available via the official conference website
http://lpnmr2015.mat.unical.it/.
* 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
* NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS
The organizing committee has limited funds to partially support students
attending LPNMR, with priority to authors of accepted papers that are not
funded by the doctoral consortium and have no other funding available.
CYBER-PHYSICAL SYSTEMS WEEK (CPS WEEK)
Call for workshop and tutorial proposals
April 11-14, 2016, Vienna, Austria
http://www.cpsweek.org/2016/
* AIMS
CPS Week is the premier event on Cyber-Physical Systems. It brings
together four top conferences, HSCC, ICCPS, IPSN, and RTAS,
10-15 workshops, a localization competition, tutorials and various
exhibitions from both industry and academia. Altogether the CPS Week
program covers a multitude of complementary aspects of CPS, and
reunites the leading researchers in this dynamic field.
CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room
availability) and 2-3 tutorials on Monday April 11 and is soliciting
proposals for new and recurring workshops as well as for tutorials.
We invite you to submit workshop proposals on any topic related
to the broad set of research, education, and application areas in
cyber-physical systems.
* GUIDELINES FOR WORKSHOP PROPOSALS
Proposals should be submitted at the latest by October 1, 2015
Detailed information available at
http://www.cpsweek.org/2016/ws.html
Notification of acceptance: October 15, 2015
* WORKSHOP AND TUTORIAL CO-CHAIRS
Christoph Kirsch
Ana Sokolova.
35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2016)
Call for Research Papers (First submission cycle)
June 27-29, 2016, San Francisco, California, USA
http://www.sigmod2016.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 foundations of data
management, traditional or non-traditional (see
http://www.sigmod.org/the-pods-pages).For the 35th edition, PODS continues
to aim to broaden its scope, and calls for research papers providing
original, substantial contributions along one or more of the following aspects:
- deep theoretical exploration of topical areas central to data management;
- new formal frameworks that aim at providing the basis for deeper
theoretical investigation of important emerging issues in data management;
- validation of theoretical approaches from the lens of practical
applicability in data management.
* TOPICS that fit the interests of the symposium include the following:
- design, semantics, query languages
- data models, data structures, algorithms for data management
- concurrency and recovery, distributed and parallel databases, cloud computing
- model theory, logics, algebras, computational complexity
- graph databases and (semantic) Web data
- data mining, information extraction, search
- data streams
- data-centric (business) process management, workflows, web services
- incompleteness, inconsistency, uncertainty in databases
- data and knowledge integration and exchange, data provenance, views and data
warehouses, metadata management
- domain-specific databases (multi-media, scientific, spatial, temporal, text)
- deductive databases
- data privacy and security
* KEYNOTE SPEAKER
Moshe Vardi (Rice University)
* TUTORIAL SPEAKERS
Sara Cohen (The Hebrew University of Jerusalem)
Frank Neven (Hasselt University)
* IMPORTANT DATES
Dates for first submission cycle:
- October 2, 2015, 4:59pm PST: Abstract submission
- October 9, 2015, 4:59pm PST: Paper submission
- December 18, 2015, 4:59pm PST: Accept/Reject/Revise notification
- January 29, 2016, 4:59pm PST: Revised submission
- March 4, 2016:, 4:59pm PST: Accept/Reject notification
Dates for second submission cycle:
- November 27, 2015, 4:59pm PST: Abstract submission
- December 4, 2015, 4:59pm PST: Paper submission
- March 4, 2016, 4:59pm PST: Accept/Reject notification
19TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2016)
Call for papers
Eindhoven, The Netherlands, 2-8 April 2016
http://www.etaps.org/2016
* OVERVIEW
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
nineteenth event in the series.
* MAIN CONFERENCES (4-7 April)
-- ESOP: European Symposium on Programming
(PC chair Peter Thiemann, Universitat Freiburg, Germany)
-- FASE: Fundamental Approaches to Software Engineering
(PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
-- FOSSACS: Foundations of Software Science
and Computation Structures
(PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
The Netherlands, and Christof Loding, RWTH Aachen, Germany)
-- POST: Principles of Security and Trust
(PC chairs Frank Piessens, Katholieke Universiteit Leuven,
Belgium, and Luca Vigano, King's College London, UK)
-- TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-Francois Raskin (Universite Libre de Bruxelles,
Belgium)
-- TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).
* INVITED SPEAKERS
-- Unifying speakers:
Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)
-- ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
-- FASE invited speaker:
Oscar Nierstrasz (Universitt Bern, Switzerland)
-- POST invited speaker:
Vitaly Shmatikov (University of Texas at Austin, USA)
* IMPORTANT DATES
- 9 October 2015: Submission deadline for abstracts
- 16 October 2015: Submission deadline for full papers
- 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
- 18 December 2015: Notification of acceptance
- 8 January 2016: Camera-ready versions due
* SATELLITE EVENTS (2-3 April, 8 April)
Around 20 satellite workshops will take place before and after the
main conferences.
* FURTHER INFORMATION
Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.
13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015
Call for participation
October 12-15, 2015, Shanghai, China
http://atva2015.ios.ac.cn/
* CONTEXT
ATVA promotes research on theoretical and practical aspects of automated
analysis, verification and synthesis by providing a forum for interaction
between the regional and the international research communities and
industry in the field. The conference will be held at East China Normal
University (old campus) in Shanghai.
* KEYNOTES and TUTORIALS
Dino Distefano (Facebook and Queen Mary University of London, UK)
Martin Fraenzle (Carl von Ossietzky Universitaet, Oldenburg, Germany)
Joost-Pieter Katoen (RWTH Aachen University, Germany)
J Strother Moore (University of Texas-Austin, USA)
* REGISTRATION
Registration is open now.
Early registration deadline: August 15, 2015
For details see http://atva2015.ios.ac.cn/participation.html#registration
* 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)
* WORKSHOP CHAIR
Jun Sun (Singapore University of Technology and Design, SG)
5TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, Alloy, B, TLA, VDM, Z)
Call for Papers, Answers to the case study, Workshops, Tutorials
May 23-27, 2016
Linz, Austria
http://www.cdcc.faw.jku.at/ABZ2016/
* The ABZ conference is dedicated to the cross-fertilization of six related
state-based and machine-based formal methods, Abstract State Machines (ASM),
Alloy, B, TLA, VDM and Z. Contributions are solicited on all aspects of the
theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
software/hardware engineering, including the development of tools and
industrial applications.
* Types of submission:
-- Research papers: full papers of not more than 14 pages in LNCS format,
which have to be original, unpublished and not submitted elsewhere.
-- Short presentations of work in progress, and tool demonstrations. An
extended abstract of not more than 4 pages is expected and will be reviewed.
-- Answers to case study papers: full papers of not more than 14 pages in
LNCS format reporting on the experiments conducted with any of the state
based techniques in the scope of ABZ 2014.
-- Application in industry papers reporting on work or experiences on the
application of state based formal methods in industry. An extended abstract
of not more than 4 pages is expected and will be reviewed.
* Submission site: https://easychair.org/conferences/?conf=abz2016
* Important Dates:
Workshop proposal submission: October 16, 2015
Research paper, Answers to case study submission: January 15, 2016
Short and industry paper submission: February 4, 2016
Tutorial proposal submissions: February 15, 2016
Tutorial proposal notifications: March 14, 2016
* Detailed information can be found on the conference website
* Contact: Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at)
14th INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND MATHEMATICS (ISAIM 2016)
Call for Papers
January 4-6, 2016, Fort Lauderdale FL, USA
http://isaim2016.cs.virginia.edu
* AIMS AND SCOPE
The International Symposium on Artificial Intelligence and Mathematics (ISAIM)
is a biennial meeting that fosters interactions between mathematics,
theoretical computer science, and artificial intelligence. This is the
fourteenth Symposium in the series, which is sponsored by Annals of
Mathematics and Artificial Intelligence. We seek submissions of recent
results with particular emphasis on the foundations of AI and mathematical
methods used in AI. Papers describing applications are also encouraged,
but the focus should be on principled lessons learned from the development
of the application. Traditionally, the Symposium attracts participants
from a variety of disciplines, thereby providing a unique forum for
scientific exchange. The three-day Symposium includes invited speakers,
presentations of technical papers, and special topic sessions.
* SPECIAL TOPIC INVITED SESSIONS:
- Boolean and pseudo-Boolean Functions, organized by Endre Boros, Rutgers
University, and Yves Crama, University of Liège
- Computational Approaches to Proof Construction, organized by Vijay Ganesh,
University of Waterloo
- Integrating Constraint Programming and Operations Research, organized by
John Hooker, Carnegie Mellon University
- Mathematical Theories of Natural Language Processing, organized by
Sean A. Fulop, California State University, Fresno
* IMPORTANT DATES:
- Paper submission: October 25, 2015
- Notification: November 22, 2015
- Final version due: December 14, 2015
- Workshop: January 4-6, 2016, Ft. Lauderdale, Florida
* DETAILED CALL FOR PAPERS: http://isaim2016.cs.virginia.edu/cfps.html
* INSTRUCTIONS FOR SUBMISSIONS:
http://isaim2016.cs.virginia.edu/submissions.html
* FURTHER INFORMATION:
Send inquiries and requests to the program committee chairs
(Francesca Rossi and Kristen Brent Venable) at the email address
isaim2016 at wave DOT tulane DOT edu.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
15TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR 2016)
Call for papers
Cape Town, South Africa, 25-29 April 2016
http://kr.org/KR2016/
Co-located with DL 2016 [http://www.dl.kr.org] and NMR 2016 [http://www.kr.org/NMR/]
* KR 2016 IMPORTANT DATES
-- Submission of title and abstract: 21 November 2015
-- Paper submission deadline: 28 November 2015
-- Notification of acceptance: 21 January 2016
-- Camera-ready papers due: 19 February 2016
-- Conference: 25-29 April 2016
* AIMS
Knowledge Representation and Reasoning (KRR) is an exciting, well-established
field of research. In KRR a fundamental assumption is that an agent's
knowledge is explicitly represented in a declarative form, suitable for
processing by dedicated reasoning engines. This assumption, that much of
what an agent deals with is knowledge-based, is common in many modern
intelligent systems. Consequently, KRR has contributed to the theory and
practice of various areas in AI, such as automated planning and natural
language understanding, among others, as well as to fields beyond AI,
including databases, software engineering, the semantic web, computational
biology, and the development of software agents.
* SUBMISSION INFORMATION
For complete details, see the 'Submission information' page at
http://www.kr.org/KR2016
* CONFERENCE CHAIRS
- General: Chitta Baral (Arizona State University, USA)
- Program: James Delgrande (Simon Fraser University, Canada),
Frank Wolter (University of Liverpool, UK)
- Local Organization: Thomas Meyer (University of Cape Town and CAIR,
South Africa)
- Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee
(Arizona State University, USA)
- Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio
de Janeiro, Brazil)
SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY
April-June 2016
* Chebyshev Laboratory at St.Petersburg State University
Organized jointly with the Skolkovo Institute of Science and Technology.
* Events include a WORKSHOP ON PROOF COMPLEXITY, May 17-20, 2016, St. Petersburg,
organized by Sam Buss and Pavel Pudlak, keynote speaker Jan Krajicek;
and a WORKSHOP ON LOW-DEPTH COMPLEXITY, May 23-25, 2016, St. Petersburg,
organized by Ben Rossman and Rahul Santhanam, keynote speaker Ryan Williams.
* Short courses will be held before each workshop.
* Graduate student, postdocs and other researchers may apply for funding for
both short or extended visits throughout the semester.
* To inquire about participation, or apply for funding, please fill out the
form on the web page or email the organizers directly.
* Web page: http://en.chebyshev.spb.ru/complexity2016.
* Organizers: Sam Buss and Edward A. Hirsch.
PHD POSITIONS AT THE UNIVERSITY OF PISA
We would like to announce that the call for 12 grants plus 4 positions
without bursary, at the PhD in Computer Science of the University of Pisa,
is now available at: http://dottorato.unipi.it/index.php/en
The deadline for applications is 3 September 2015, and the selection will
be made on CV, reference letters and an interview, also via teleconferencing
(check *carefully* the relevant fields required).
For further details please preferably contact
Mrs Rosaria Mongini
or otherwise the chairman of the PhD Programme
Prof. Pierpaolo Degano
POSTDOC POSITION AT VIENNA UNIVERSITY OF TECHNOLOGY
The Institute of Computer Engineering at Vienna
(http://ti.tuwien.ac.at/) University of Technology is seeking a
candidate for a postdoctoral research position (one year with the
posibility to renew for up to other two years), starting as soon as
possible. The successful applicant will carry out his/her postdoc in
the research area of formal methods applied to the verification and
synthesis of timed systems with faults and delays, including
distributed systems. This task is part of the recently granted
Austrian FWF National Research Network “RiSE” (2nd funding period,
http://arise.or.at/nfn/shine-organization-and-subprojects/), to be led
by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid
and Prof. Radu Grosu and with the other PIs of RiSE:
http://arise.or.at/principal-investigators/.
* CONTACT DETAILS
For further information and enquiries about this post please contact
Ezio Bartocci, e-mail: ezio.bartocci@tuwien.ac.at.
* APPLICATIONS
Applications, including any attachments, should be submitted by the
15th of September to the following emails: ezio.bartocci@tuwien.ac.at,
s@ecs.tuwien.ac.at, radu.grosu@tuwien.ac.at.
Back to the LICS web page.