SIGLOG Monthly 193
June 16, 2017
*******************************************************************
* 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
Winners of the 2017 Alonzo Church Award
FLoC 2018 - Preliminary annoucement
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
FLoC 2018 - Call for workshops
UNIF 2017 - Call for Papers
RERS Challenge 2017 - Call for Papers
DataMod 2017 - Call for Papers
RSSRail 2017 - Call for Papers
HDRA 2017 - Call for Papers
LSFA 2017 - Second Call for Papers
PODS 2018 - Call for Papers
RADICAL 2017 - Call for Submissions
Security and Privacy in Cloud-Assisted Cyber-Physical Systems - Call for papers
ISSTA & SPIN 2017 - Call for Participation
CAV 2017 - Call for Participation
CCA 2017 - Call for Participation
RW 2017 - Call for Applications
EPS 2017 - Call for Posters and Encyclopedia Entries
TPNC 2017 - Call for papers
CPP 2018 - Call for Papers
* JOB ANNOUNCEMENTS
Professor Positions at University of Pisa
PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB IN BRUSSELS
12 PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC
WINNERS OF THE 2017 CHRUCH AWARD
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Samson Abramsky, Radha
Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno
Nickau for providing a fully-abstract semantics for higher-order
computation through the introduction of game models, thereby
fundamentally revolutionising the field of programming language
semantics, and for the applied impact of these models.
* Their contributions appeared in three papers:
- S. Abramsky, R. Jagadeesan, and P. Malacaria. Full Abstraction for
PCF. Information and Computation, Vol. 163, No. 2, pp. 409 - 470,
2000.
- J.M.E. Hyland and C.-H.L. Ong. On Full Abstraction for PCF: I, II,
and III. Information and Computation, Vol. 163, No. 2,
pp. 285 - 408, 2000.
- H. Nickau. Hereditarily sequential
functionals. Proc. Symp. Logical Foundations of Computer Science:
Logic at St. Petersburg (eds. A. Nerode and Yu.V. Matiyasevich),
Lecture Notes in Computer Science, Vol. 813,
pp. 253 - 264. Springer-Verlag, 1994.
A description of the contributions is available at
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 award will be presented at the 26th Computer Science Logic
(CSL) Conference, the annual meeting of the European Association for
Computer Science Logic. This will be held August 20th - 24th, 2017, at
Stockholm University, Sweden.
THE 2018 FEDERATED LOGIC CONFERENCE (FLoC 2018)
Preliminary annoucement
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
hosted the first Federated Logic Conference (FLoC). It was modelled
after the successful Federated Computer Research Conference (FCRC),
and synergetically brought together conferences that apply logic to
computer science.
* We are pleased to announce the seventh Federated Logic Conference
(FLoC'18) to be held in Oxford, UK, in July 2018, at the
Mathematical Institute and the Blavatnik School of Government at the
University of Oxford.
* FLoC 2018 brings together nine major international conferences
related to mathematical logic and computer science:
International Conference on Computer Aided Verification (CAV)
IEEE Computer Security Foundations Symposium (CSF)
International Symposium on Formal Methods (FM)
International Conference on Formal Structures for Computation and
Deduction (FSCD)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
International Conference on Interactive Theorem Proving (ITP)
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Theory and Applications of Satisfiability
Testing (SAT)
Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the
School on Foundations of Programming and Software Systems (FoPSS, 30
June - 6 July).
* We have already begun confirming exciting lineup of speakers,
including keynotes by Shafi Goldwasser and Georges Gonthier; plenary
lectures by Peter O'Hearn and Byron Cook; and a public lecture by
Stuart Russell at the Sheldonian Theatre. We will also hold an
Oxford Union-style debate on ethics for autonomous robots. There
will be banquets, receptions and other social events in historic
venues across the city: see www.floc2018.org/social-events/ for the
latest updates.
* PROGRAMME COMMITTEE
General Chair: Moshe Y. Vardi
Co-chairs: Daniel Kroening, Marta Kwiatkowska
CAV: Hana Chockler
CSF: Stephen Chong
FM: Bill Roscoe
FSCD: Hane Kirchner
ICLP: Paul Tarau
IJCAR: Roberto Sebastiani
ITP: Assia Mahboubi
LICS: Martin Hofmann
SAT: Olaf Byersdorff
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
Panangaden and the other officers are Luke Ong (vice-Chair), Amy
Felty (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).
EATCS Bulletin - Call for abstracts
* EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we will be considering for publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all
areas of theoretical computer science (for instance, see topics of
the three Tracks of ICALP,
http://www.easyconferences.eu/icalp2016/cfp.html).
* Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.
* The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 20th of the previous month, for instance, May
20 (Sat) 2017 for the June issue of this year. All materials
including tex and pdf files should be sent electrically to
bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp.
Acceptance/rejection, decided based on its merit mentioned above,
will be notified as soon as possible. The Bulletin will not require
copy-right transfer for accepted abstracts.
DATES
* FLoC 2018
Call for workshops
The 2018 Federated Logic Conference
6-19 July 2018 Oxford, England UK
http://www.floc2018.org/
Submission of workshop proposals deadline: June 19, 2017
* UNIF 2017
Call for Papers
https://unif-workshop.github.io/UNIF2017/
3 September 2017, Oxford, UK
Paper submission: June 21st (11pm59 CET)
* RERS Challenge 2017
Call for Papers
Santa Barbara, USA, July 2017.
Deadline for all submission: 01.07.2017
* DataMod 2017
Call for Papers
September 4-5, 2017, Trento, Italy
Satellite event of SEFM 2017
http://pages.di.unipi.it/datamod/edition-2017/
Paper submission: 1 June 2017;
* RSSRail 2017
Call for Papers
November 14-16, 2017, Pistoia, Italy
https://conferences.ncl.ac.uk/rssrail/
paper submission deadline: June 8, 2017
* HDRA 2017
Call for Papers
September 8-9 2017, Oxford, United Kingdom
http://hdra.gforge.inria.fr/
Satellite workshop of FSCD 2017, co-located with STRING 2017.
Submission Deadline: June 18, 2017
* LSFA 2017
Third Call for Papers
23-24 September 2017, Brasilia, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
Submission deadline: 21 June 2017
* PODS 2018
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
Paper submission (1st cycle): Jun 22, 2017
* RADICAL 2017
Call for Submissions
September 4, 2017 - Germany - September 4, 2017
https://sites.google.com/site/radicalconcur/
Workshop co-located with CONCUR 2017
Submission deadline (3-page talk proposals): Friday, 30 June 2017.
* Security and Privacy in Cloud-Assisted Cyber-Physical Systems
Call for papers
Special issue in Computer Netwoks Journal (Elsevier)
Submission deadline: June 30, 2017
* ISSTA & SPIN 2017
Call for Participation
July 10-14, 2017, Santa Barbara, California, USA
http://conf.researchr.org/home/issta-2017
http://conf.researchr.org/home/spin-2017
* CAV 2017
Call for Participation
Heidelberg, Germany, 22-28 July 2017
http://www.cavconference.org/2017
* CCA 2017
Call for Participation
July 24-27, 2017, Daejeon, South Korea
http://cca-net.de/cca2017/
* RW 2017
Call for Applications- PARTICIPATION TOKENS STILL AVAILABLE
The 13th Reasoning Web Summer School (RW 2017)
London, U.K., July 7-11, 2017
http://reasoningweb.org/2017
* EPS 2017
Call for Posters and Encyclopedia Entries
24, 25th of September 2017, Brasilia, Brazil
http://proofsystem.github.io/Encyclopedia/
Submission: August 1
* TPNC 2017
Call for papers
Prague, Czech Republic, December 18-20, 2017
Faculty of Mathematics and Physics, Charles University
http://grammars.grlmc.com/TPNC2017/
Paper submission: August 6, 2017
* CPP 2018
Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
Full paper submission deadline: Wed 11 Oct 2017
THE SEVENTH FEDERATED LOGIC CONFERENCE (FLOC 2018)
Call for workshops
The 2018 Federated Logic Conference
6-19 July 2018 Oxford, England UK
http://www.floc2018.org/
* AIM. The Seventh Federated Logic Conference (FLoC 2018) will host the
following nine conferences and affiliated workshops.
- CAV (30th International Conference on Computer Aided Verification)
http://i-cav.org/
Workshop chair: Hana Chockler hana.chockler@kcl.ac.uk
- CSF (31st IEEE Computer Security Foundations Symposium)
http://www.ieee-security.org/CSFWweb/
Workshop chair: Cas Cremers cas.cremers at cs.ox.ac.uk
- FM (23rd International Symposium on Formal Methods)
http://www.fmeurope.org/?page_id=3D221 Workshop chair: Helen
Treharne H.Treharne@surrey.ac.uk
- FSCD (3rd International Conference on Formal Structures for
Computation and Deduction)
http://fscdconference.org/
Workshop chair: Paula Severi pgs11@le.ac.uk
- ICLP (35th International Conference on Logic Programming)
https://www.cs.nmsu.edu/ALP/conferences/
Workshop chair: Stefan Woltran woltran@dbai.tuwien.ac.at
- IJCAR (International Joint Conference on Automated Reasoning)
http://www.ijcar.org
Workshop chair: Alberto Griggio griggio@fbk.eu
- ITP (9th International Conference on Interactive Theorem Proving)
http://itp2017.cic.unb.br
Workshop chair: Assia Mahboubi Assia.Mahboubi@inria.fr
- LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science)
http://lics.siglog.org/
Workshop chair: Patricia Bouyer bouyer@lsv.ens-cachan.fr
- SAT (21st International Conference on Theory and Applications of
Satisfiability Testing)
http://www.satisfiability.org
Workshop chair: Martina Seidl martina.seidl@jku.at
* SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for
workshops on topics in the field of computer science, related to
logic in the broad sense. Each workshop proposal must indicate one
affiliated conference of FLoC 2018.
It is strongly suggested that prospective workshop organizers contact
the relevant conference workshop chair before submitting a proposal.
* Submission instructions will follow shortly from
http://www.floc2018.org/workshops/
For further information on FLoC 2018 see http://www.floc2018.org
* IMPORTANT DATES
Submission of workshop proposals deadline: June 19, 2017
Notification: July 31, 2017
Pre-FLoC workshops: Saturday & Sunday, July 7-8, 2018
Mid-FLoC workshops: Friday July 13, 2018
Post-FLoC workshops: Wednesday & Thursday, July 18-19, 2018
* CONTACT INFORMATION
Questions regarding proposals should be sent to the workshop chairs
of the proposed affiliated conference. General questions should be
sent to: gethin.norman@glasgow.ac.uk
UNIF 2017 -- FSCD workshop
Call for Papers
https://unif-workshop.github.io/UNIF2017/
3 September 2017, Oxford, UK
* The 31st International Workshop on Unification is the 31st event in
a series of international meetings devoted to unification theory and
its applications. The workshop will be hosted by the 2nd
International Conference on Formal Structures for Computation and
Deduction (FSCD, Oxford, September 2017).
* IMPORTANT DATES
Paper submission: June 21st (11pm59 CET)
Notification of acceptance: July 21st
Workshop: September 3rd
* PROGRAM CHAIRS
Adrià Gascón (Warwick University/Alan Turing Institute)
agascon@turing.ac.uk
Chris Lynch (Clarkson University)
clynch@clarkson.edu
7TH INTERNATIONAL CHALLENGE ON THE RIGOROUS EXAMINATION OF REACTIVE
SYSTEMS (RERS 2017)
Call for Papers
Santa Barbara, USA, July 2017.
co-located with ISSTA/SPIN 2017.
* RERS is designed to encourage software developers and researchers to
apply and combine their tools and approaches in a free style manner
to answer evaluation questions for reachability and LTL formulas on
specifically designed benchmarks. The goal of this challenge is to
provide a basis for the comparison of verification techniques and
available tools. The benchmarks are automatically synthesized to
exhibit chosen properties and then enhanced to include dedicated
dimensions of difficulty, ranging from conceptual complexity of the
properties (e.g. reachability, full safety, liveness), over size of
the reactive systems (a few hundred lines to tens of thousands of
them), to exploited language features (arrays and index
arithmetics). They are therefore especially suited for
community-overlapping tool comparisons. What distinguishes RERS
from other challenges is that the challenge problems can be
approached in a free-style manner: it is highly encouraged to
combine and exploit all known (even unusual) approaches to software
verification. In particular, participants are not constrained to
their own tools. To clearly separate RERS from other challenges,
this year the LTL analysis is separated from the reachability of
labels. RERS is then the only challenge with a special track for LTL
analysis on synthesized benchmarks.
* The main aims of RERS 2017 are to : - encourage the combination of
usually different research fields for better software verification
results; - provide a comparison foundation based on differently
tailored benchmarks that reveals the strengths and weaknesses of
specific approaches; - initiate a discussion for better benchmark
generation reaching out across the usual community barriers to
provide benchmarks useful for testing and comparing a wide variety
of tools.
* There will be a 1 day workshop where the results will be presented,
the generation methodology will be explained, and the modalities for
the RERS 2018 challenge, which will be part of ISoLA 2018 will be
discussed. There is still a lot of time to get engaged, and
collecting RERS achievements is a lot of fun!
* SCHEDULE:
* SEQUENTIAL PROBLEMS
The sequential challenge just started. Its entire setup in online
since a few days. Thus you can start right away. At least if you are
a RERS newcomer, we would strongly recommend you to start with the
training problems:
(http://www.rers-challenge.org/2017/index.php?page=trainingphase)
They are an ideal starting point for the challenge: They are smaller
in size than the challenge problems but otherwise structurally
equivalent. Moreover, an automatic checker (available on the same
page) allows you to evaluate your own solutions. After having
tackled the training problems it should be easy to move on to attack
the challenge problems.
* PARALLEL PROBLEMS: 01.03.2017:
The training problems for the parallel challenge wil be online
01.05.2017: The setup for the parallel challlenge will be online.
* DEADLINE for all submission: 01.07.2017
Please note that we want to specifically encourage also solutions
from participants that work with tools developed by others.
* FURTHER INFORMATION
More detailed information on the challenge can be found in the
participants section of www.rers-challenge.org/2017. Looking forward
to seeing you in Santa Barbara! Best regards Bernhard, Falk, Jaco,
and Markus
DataMod 2017 - 6th INTERNATIONAL SYMPOSIUM
"FROM DATA TO MODELS AND BACK"
Call for Papers
September 4-5, 2017, Trento, Italy
Satellite event of SEFM 2017
http://pages.di.unipi.it/datamod/edition-2017/
* DataMod 2017 aims at bringing together practitioners and researchers
from academia, industry and research institutions interested in the
combined application of computational modelling methods with
data-driven techniques from the areas of knowledge management, data
mining and machine learning.
* Modelling and analysis methodologies include Agent-based Methodologies,
Automata-based Notations, Big Data Analytics, Cellular Automata,
Classification, Clustering, Segmentation and Profiling, Conformance
Analysis, Constraint Programming, Data Mining, Differential Equations,
Empirical Modelling, Game Theory, Machine Learning, Membrane Systems,
Network Theory and Analysis, Ontologies, Optimisation Modelling,
Petri Nets,
Process Calculi, Process Mining, Rewriting Systems, Spatio-temporal
Data
Analysis/Mining, Statistical Model Checking, System Dynamics, Text
Mining, Topological Data Analysis
* Application domains include Biology, Brain Data and Simulation,
Business Process Management, Climate Change, Cybersecurity, Ecology,
Education, Environmental Risk Assessment and Management, Enterprise
Architectures, Epidemiology, Genetics, Governance, Open Source
Software Development and Communities, Pharmacology, Resilience
Engineering, Safety and Security Risk Assessment, Social Good,
Social Software Engineering, Social Systems, Sustainable
Development, Threat modelling and analysis, Urban Ecology and Smart
Cities
* Synergistic approaches include:
(1) use of modelling methods and notations in a
knowledge management/discovery context
(2) development and use of common modelling and
knowledge management/discovery frameworks
to explore and understand complex systems
from the application domains of interest
* IMPORTANT DATES:
Abstract submission due: 25 May 2017;
Paper submission: 1 June 2017;
Notification: 6 July 2017
INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF
RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION -
(RSSRAIL 2017)
Call for Papers
November 14-16, 2017, Pistoia, Italy
https://conferences.ncl.ac.uk/rssrail/
* AIMS.
The railway industry is facing an increasing pressure to improve
system safety, to decrease the production cost and time to market,
to reduce the carbon emission and running cost, and to improve the
system capacity. Railway systems are now being integrated into
larger multi-transport networks. Such systems require an even higher
degree of automation at all levels of operation. These trends
dramatically increase the complexity of railway applications and
pose new challenges in developing novel methods of modelling,
analysis, verification and validation to ensure their reliability,
safety and security, as well as in supporting novel mechanisms and
procedures to help argue that the development processes are meeting
the standards. Following the success of RSSRail 2016 held in Paris
on June 28-30, 2016, this conference will contribute to a range of
key objectives. There is a pressing demand to bring together
researchers and developers working on railway system reliability,
security and safety to discuss how these requirements can be met in
an integrated way.
* The conference aims to bring together researchers and engineers
interested in building critical railway applications and
systems. This will be a working conference in which research
advances will be discussed and evaluated by both researchers and
engineers focusing on their potential to be deployed in industrial
settings.
* We are interested in the submissions of three types:
- Research papers
- Industrial experience reports
- PhD student papers.
* IMPORTANT DATES:
Abstract submission: June 1, 2017
Paper submission deadline: June 8, 2017
Notification: July 8, 2017
camera-read papers submitted: August 18, 2017
* CONFERENCE CHAIRS:
Alessandro Fantechi, University of Firenze, Italy
Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK
HIGHER-DIMENSIONAL REWRITING AND APPLICATIONS (HDRA 2017)
September 8-9 2017, Oxford, United Kingdom
http://hdra.gforge.inria.fr/
Satellite workshop of FSCD 2017, co-located with STRING 2017.
* Rewriting consists in orienting equalities. This seemingly simple
point of view has given rise to a rich theory, which was first
developped in computer science for handling strings and terms, and
was then extended over the recent years to many other settings
(operads, monoidal categories, higher categories, etc.), allowing it
to have applications in algebra, homotopy theory and physics. All
these generalizations fit into the general scope of
higher-dimensional rewriting theory, which has emerged as a unifying
algebraic framework.
* The aim of the workshop is to gather people interested in pushing
further rewriting theory, using (higher) categories as a common
language. It is open to all topics concerning higher-dimensional
generalizations and applications of rewriting theory.
* HDRA 2017 will be co-located with the first edition of the STRING
workshop (http://string2017.cs.ru.nl/)
* INVITED SPEAKERS
- Paul-Andre Mellies (CNRS and Paris Diderot)
- TBA
* IMPORTANT DATES
Submission: June 18, 2017
Notification: June 30, 2017
Final version: July 9, 2017
Conference: September 8-9, 2017
12TH WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS, WITH APPLICATIONS
(LSFA 2017)
Third Call for Papers
23-24 September 2017, Brasilia, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
* OVERVIEW
Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and programming
languages, supporting tool development and reasoning.
LSFA 2017 aims to be a forum for presenting and discussing work in
progress, and therefore to provide feedback to authors on their
preliminary research. The proceedings are produced after the
meeting, so that authors can incorporate this feedback in the
published papers.
* TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
- Automated deduction
- Applications of logical and/or semantic frameworks
- Computational and logical properties of semantic frameworks
- Formal semantics of languages and systems
- Implementation of logical and/or semantic frameworks
- Lambda and combinatory calculi
- Logical aspects of computational complexity
- Logical frameworks
- Process calculi
- Proof theory
- Semantic frameworks
- Specification languages and meta -languages
- Type theory
* IMPORTANT DATES
Submission: 21 June 2017
Notification: 21 July 2017
Final pre-proceedings version due: 11 August 2017
LSFA 2017 23-24 September 2017
* PROGRAMME COMMITTEE CHAIRS
Sandra Alves, University of Porto - co-chair
Renata Wassermann, University of Sao Paulo - co-chair
* INVITED SPEAKERS
Beniamino Accattoli
Helene Kirchner
Renate Schmidt
* CONTACT
lsfa2017@easychair.org
http://lsfa2017.cic.unb.br/
37th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE
SYSTEMS (PODS 2018)
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
* 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/the-pods-pages).
* For the 37th 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 established theoretical approaches from the lens of
practical applicability in data management. Papers in this track
should provide an experimental evaluation that gives new insight
in established theories. Besides, they should provide a clear
message to the database theory community as to which aspects need
further (theoretical) investigation, based on the experimental
findings.
* Topics (that fit the interests of the symposium include, but are not
limited to):
- concurrency & recovery, distributed/parallel databases, cloud
computing
- data and knowledge integration and exchange, data provenance, views
and data warehouses, metadata management
- data-centric (business) process management, workflows, web services
- data management and machine learning
- data mining, information extraction, search
- data models, data structures, algorithms for data management
- data privacy and security, human-related data and ethics
- data streams
- design, semantics, query languages
- domain-specific databases (multi-media, scientific, spatial,
temporal, text)
- graph databases and (semantic) Web data
- incompleteness, inconsistency, uncertainty in data management
- knowledge-enriched data management
- model theory, logics, algebras, computational complexity
* PROGRAM CHAIR: Marcelo Arenas
* IMPORTANT DATES:
First Submission Cycle:
- Abstract submission: Jun 15, 2017
- Paper submission: Jun 22, 2017
- First notification: Aug 31, 2017
- Revision deadline: Sep 28, 2017
- Final notification: Nov 02, 2017
Second Submission Cycle:
- Abstract submission: Dec 12, 2017
- Paper submission: Dec 19, 2017
- Final notification: Feb 27, 2018
All deadlines end at 11:59pm AoE.
RECENT ADVANCES IN CONCURRENCY AND LOGIC (RADICAL 2017)
Call for Submissions
September 4, 2017 - Germany - September 4, 2017
https://sites.google.com/site/radicalconcur/
Workshop co-located with CONCUR 2017 -
https://www.concur2017.tu-berlin.de Deadline: 30 June 2017.
* MOTIVATION
RADICAL is a new workshop aligned within the intersection between
concurrency and logic, broadly construed.
The interplay of concurrency and logic with areas such as:
- design, verification, synthesis for concurrent systems;
- strategic reasoning for distributed and multi-agent systems;
- analysis and validation techniques for concurrent and distributed
programs;
has received much attention, as witnessed by recent CONCUR editions.
RADICAL intends to fill a gap between CONCUR researchers that now
also typically publish and interact in other different venues; it
also aims at attracting researchers from such neighboring
communities.
* TOPICS
We invite 3-page submissions describing talk proposals on
the intersection of logic and concurrency, as motivated above. See
the webpage for details.
* INVITED SPEAKERS
Luís Caires (NOVA University of Lisbon, PT)
Luke Ong (University of Oxford, UK)
* IMPORTANT DATES
Submission deadline (3-page talk proposals): Friday, 30 June 2017.
Notification to authors: Friday, 28 July 2017.
Workshop: Monday, 4 September 2017
* ORGANIZERS AND CONTACT
Julian Gutierrez (University of Oxford, UK)
Jorge A. Pérez (University of Groningen, NL)
radical2017@easychair.org
SECURITY AND PRIVACY IN CLOUD-ASSISTED CYBER-PHYSICAL SYSTEMS
Call for papers
Special issue in Computer Netwoks Journal (Elsevier)
Submission deadline: June 30, 2017
* Cloud-assisted Cyber-Physical Systems (CPS) feature a tight coupling
between embedded computing devices and their physical environment.
CPSes can be viewed as the bridge between physical
components/processes and the cyber space. Specifically, the notion
of CPSes is to use computing (e.g. sensing, analyzing and
predicting), communication (e.g. interaction, intervene and
interface management), and controlling (e.g. inter-operation,
evolving and evidence-based certification) to make intelligent and
autonomous systems. Recent years have seen a dramatic rise in the
development of CPSes services, including ubiquitous health care,
smart electricity grid, and smart buildings. However, the
fast-growing data volume is hard to process. The present CPSes
cannot support ultra-fast computing, and thus it cannot provide
real-time and reliable services to meet the requirements, which are
essential for mission-critical systems. Fortunately, cloud
infrastructures and platforms can provide flexible and on-demand
processing power and high-capacity storage for data streams, as well
as provisioning of a variety of services using telecommunication and
networking technologies. Thus, the large-scale nature of CPSes can
be effectively and efficiently supported and assisted by cloud
systems, which is referred to as cloud-assisted CPSes (Cloud-CPS).
The goal of this special issue is to unveil and address the security
and privacy aspects associated to the Cloud-CPeSs.
* SUGGESTED TOPICS include, but are not limited to the following.
- Secure data sharing in Cloud-CPSes
- Big data security and privacy in Cloud-CPSes
- Secure computation in Cloud-CPSes
- Location privacy in Cloud-CPSes
- Lightweight block ciphers for low-resource devices in Cloud-CPSes
- Searchable encryption in Cloud-CPSes
- End to end secure communications in Cloud-CPSes
- Access control in Cloud-CPSes
- Key management in Cloud-CPSes
* IMPORTANT DATES
Submission deadline: June 30, 2017
Notification of acceptance: August 31, 2017
Final manuscript due: October 15, 2017
* Requests for additional information should be addressed to the guest
editors.
* GUEST EDITORS
Cristina Alcaraz, University of Malaga, alcaraz@lcc.uma.es
Xinyi Huang, Fujian Normal University, xyhuang81@gmail.com
Eric Rome, Fraunhofer, erich.rome@iais.fraunhofer.de
26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS
24TH INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE
(ISSTA & SPIN 2017)
July 10-14, 2017, Santa Barbara, California, USA
http://conf.researchr.org/home/issta-2017
http://conf.researchr.org/home/spin-2017
* ISSTA is the leading research symposium on software testing and
analysis, bringing together academics, industrial researchers, and
practitioners to exchange new ideas, problems, and experiences on
how to analyze and test software systems.
* The SPIN symposium brings together researchers and practitioners
interested in automated, tool-based techniques to analyze software
systems and models of software systems for verification and
validation purposes.
* RESEARCH PROGRAM
ISSTA list of accepted papers:
http://conf.researchr.org/info/issta-2017/accepted-papers
SPIN list of accepted papers:
http://conf.researchr.org/info/spin-2017/accepted-papers
* KEYNOTE SPEAKERS ***
ISSTA
Christopher Kruegel, UCSB
Armando Solar-Lezama, MIT
SPIN
Domagoj Babic, Google
Byron Cook, Amazon Web Services
Gerard Holzmann, Nimble Research
* CO-LOCATED EVENTS
ISSTA Doctoral Symposium
http://conf.researchr.org/track/issta-2017/issta-2017-doctoral-symposium
ISSTA Demonstrations track
http://conf.researchr.org/track/issta-2017/issta-2017-demos
TECPS 2017: Workshop on Testing Embedded and Cyber-Physical Systems
http://conf.researchr.org/track/issta-2017/issta-2017-tecps
RERS Challenge 2017: Rigorous Examination of Reactive Systems
http://www.rers-challenge.org/2017/
* FOLLOW US ON SOCIAL MEDIA
http://facebook.com/isstaconf
http://twitter.com/issta_conf
http://twitter.com/hashtag/spin17sym
COMPUTER-AIDED VERIFICATION, 29TH INTERNATIONAL CONFERENCE (CAV 2017)
Call for Participation
Heidelberg, Germany, 22-28 July 2017
http://www.cavconference.org/2017
* TL;DR Early registration: June 14, 2017; Hotel booking deadlines:
early June, 2017; We hope to welcome you at CAV -- we have an
exciting program!
* ABOUT CAV
CAV 2017 is the 29th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. 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. Along with the main
conference, CAV will feature eight workshops (including a special
workshop in honor of David Dill) and tutorials.
* HIGHLIGHTS:
-- WORKSHOPS (22-23 July)
-- VERIFICATION MENTORING WORKSHOP (23 July)
-- SPECIAL WORKSHOP Dill@60 in Honor of David Dill (24 July)
-- MAIN CONFERENCE (24-28 July)
* INVITED SPEAKERS
Chris Hawblitzel, Microsoft Research
Marta Kwiatkowska, Oxford
Viktor Vafeiadis, MPI-SWS
Winner of the CAV award (to be announced at the conference)
* INVITED TUTORIALS
Loris D'Antoni, University of Wisconsin-Madison: The power of
symbolic automata and transducers
Mayur Naik, University of Pennsylvania: Maximum Satisfiability in
Software Analysis: Applications and Techniques
* PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith
Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the
Confirmation Bias is Changing the Public Discourse
* SATELLITE EVENTS (22-23 July)
7 satellite workshops will take place before CAV 2017.
Check their calls for papers and consider contributing!
SYNT - Sixth Workshop on Synthesis (July 22)
DARS - Design and Analysis of Robust Systems (July 22)
NSV/Rise4CPS - Numerical Software Verification and Formal Methods
for Rigorous Systems Engineering of
Cyber-Physical Systems (July 22-23)
SMT - Satisfiability Modulo Theories (July 22-23)
VSTTE - Verified Software: Theories, Tools, and Experiment
(July 22-23)
VMW - Verification Mentoring Workshop (July 23)
FEVER - Formal Approaches to Explainable VERification (July 23)
FOURTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY
IN ANALYSIS (CCA 2017)
Call for Participation
July 24-27, 2017, Daejeon, South Korea
http://cca-net.de/cca2017/
* ABOUT. This conference is concerned with the theory of computability
and complexity over real-valued data. The topics of interest
include foundational work on various models and approaches for
describing computability and complexity over the real numbers. They
also include complexity-theoretic investigations, both foundational
and with respect to concrete problems, and new implementations of
exact real arithmetic, as well as further developments of already
existing software packages. The conference CCA 2017 is preceded by
the 15th Asian Logic Conference from July 10 to 14 and followed by
the Workshop on Real Verification on Friday, July 28.
* INVITED SPEAKERS
Hee-Kap Ahn (Pohang, Republic of Korea)
Verónica Becher (Buenos Aires, Argentina)
Anders Hansen (Cambridge, UK)
Takayuki Kihara (Berkeley, USA)
Amaury Pouly (Max Planck Institute, Germany)
Linda Brown Westrick (Connecticut, USA)
* REGISTRATION
Early bird registration is open until June 10th:
http://kaist.kiwii.co.kr/
* SATELLITE WORKSHOP ON REAL VERIFICATION
A co-located "Workshop on Real Verification" will take place on
Friday, July 28
https://complexity.kaist.edu/CCA2017/workshop.html
THE 13TH REASONING WEB SUMMER SCHOOL (RW 2017)
Call for Applications
London, U.K., July 7-11, 2017
http://reasoningweb.org/2017
* co-located with:
- RuleML+RR: International Joint Conference on Rules and Reasoning
London, U.K., July 12-15, 2017
http://2017.ruleml-rr.org
- RuleML+RR Doctoral Consortium
http://2017.ruleml-rr.org/doctoral-consortium/
- DecisionCAMP 2017
London, U.K., July 13-14, 2017
http://2017.ruleml-rr.org/decisioncamp-2017
- 11th International Rule Challenge
London, U.K., July 12-15, 2017
http://2017.ruleml-rr.org/calls/international-rule-challenge/
* The purpose of the Reasoning Web Summer School is to disseminate
recent advances on reasoning techniques which are of particular
interest to Semantic Web and Linked Data applications. The school is
primarily intended for postgraduate (PhD or MSc) students, postdocs,
young researchers, and senior researchers wishing to learn about
Reasoning on the Semantic Web and related issues. In 2017, the theme
of the school is:
"Semantic Interoperability on the Web"
* IMPORTANT DATES
Application deadline: May 20, 2017 (extended)
Notifications: May 25, 2017
Registration deadline: May 31, 2017
* LECTURES
- Andrea Cali (Birkbeck University of London, U.K.)
"Ontology querying: Datalog strikes back"
- Thomas Eiter (Technical University of Wien, Austria)
"Answer Set Programming with External Source Access"
- Thomas Lukasiewicz (University of Oxford, U.K.)
"Uncertainty Reasoning for the Semantic Web"
- Marco Montali (Free University of Bolzano/Bozen, Italy)
"Ontology-based Data Access for Log Extraction in Process Mining"
- Axel Polleres (Vienna University of Economics & Business, Austria)
"Challenges for Semantic Data Integration on the Web of Open Data"
- Marie-Christine Rousset (University Grenoble-Alpes,
Institut Universitaire de France)
"Datalog revisited for reasoning in Linked Data"
- Torsten Schaub (University of Potsdam, Germany and
Inria, Bretagne Atlantique, Rennes, France)
"A Tutorial on Hybrid Answer Set Solving"
- Juan Sequeda (Capsenta, USA)
"Integrating Relational Databases with the Semantic Web"
- Giorgos Stamou (National Technical University of Athens, Greece)
"Ontological query answering over semantic data"
* FURTHER DETAILS on applications, student fees and grants, venue, are
available on the school website.
ENCYCLOPEDIA OF PROOF SYSTEMS - POSTER SESSION & TASK-FORCE (EPS 2017)
Call for Posters and Encyclopedia Entries
24, 25th of September 2017, Brasilia, Brazil
http://proofsystem.github.io/Encyclopedia/
* DESCRIPTION. The Encyclopedia of Proof Systems was created in 2014
with the goal of being a quick reference for the various proof
systems used by logicians. Since then, it has collected 64 entries
on the most various logics and calculi. This was only possible due
to the collaboration of many members of the logic community. This
event aims to promote the encyclopedia and attract more
contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during
which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th,
2017, for those who would like to contribute to the continuous
improvement of the encyclopedia.
* Submissions and instructions are available in the website:
http://proofsystem.github.io/Encyclopedia/
* IMPORTANT DATES
Submission: 1 August 2017
Notification: 15 August 2017
6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL
COMPUTING (TPNC 2017)
Call for papers
Prague, Czech Republic, December 18-20, 2017
Faculty of Mathematics and Physics, Charles University
http://grammars.grlmc.com/TPNC2017/
* TPNC is a conference series intending to cover the wide spectrum of
computational principles, models and techniques inspired by
information processing in nature. TPNC 2017 will reserve significant
room for young scholars at the beginning of their career and
particular focus will be put on methodology. The conference aims at
attracting contributions to nature-inspired models of computation,
synthesizing nature by means of computation, nature-inspired
materials, and information processing in nature.
* PROGRAMME CHAIR
Carlos Martin-Vide (Rovira i Virgili University, ES, co-chair)
Roman Neruda (Prague, co-chair)
* DEADLINES (all at 23:59 CET):
Paper submission: August 6, 2017
Notification of paper acceptance or rejection: September 6, 2017
Final version of the paper for the LNCS proceedings: September 16, 2017
Early registration: September 16, 2017
Late registration: December 4, 2017
Submission to the post-conference journal special issue: March 20, 2018
* QUESTIONS AND FURTHER INFORMATION:
david.silva409 (at) yahoo.com
SEVENTH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND
PROOFS (CPP 2018)
Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
* OVERVIEW
Certified Programs and Proofs (CPP) is an international forum on
theoretical and practical topics in all areas, including computer
science, mathematics, and education, that consider certification as
an essential paradigm for their work. Certification here means
formal, mechanized verification of some sort, preferably with
production of independently checkable certificates.
* DATES
- Abstract submission deadline: Fri 6 Oct 2017
- Full paper submission deadline: Wed 11 Oct 2017
- Notification: Tue 14 Nov 2017
* PROGRAM CO-CHAIRS
- June Andronick (Data61, CSIRO and UNSW, Australia)
- Amy Felty (University of Ottawa, Canada)
CALL FOR INTEREST FOR PROFESSOR POSITIONS AT THE DEPARTMENT
OF COMPUTER SCIENCE - UNIVERSITY OF PISA
Call for Interest
Candidates for positions of Full Professor and Associate Professor
Department of Computer Science, University of Pisa, Italy
www.di.unipi.it
* The Department of Computer Science of the University of Pisa is
seeking expressions of interest for tenured positions at the
Associate Professor and Full Professor level, to be covered, in
multiple selection rounds, in 2017-2019.
* Outstanding candidates in all areas of Computer Science are invited
to apply. At this time, the Department seeks to expand its faculty
in particular into the following areas:
- Computational Science and Applied Mathematics including applications
to complex systems and models in the fields of physical sciences,
life sciences, social sciences, engineering and finance.
- Ubiquitous computing including Internet of Things, Cloud and Fog
computing, mobile applications, wearable and cyber-physical systems,
programming languages, formal methods and verification.
- Artificial Intelligence and Data Science including analysis and
management of big data, machine learning, and high-performance
architectures for related computations.
* Position Profile
Successful candidates will be expected to contribute to the activities
of the Department, in multiple capacities:
- Research, by providing leadership in defining research projects,
attracting funding from industry or competitive funding programs,
and contributing to dissemination of results through top-level
publications.
- Teaching, by offering courses for approximately 120 hrs per year
(this translates to 2-3 courses per year) to students, at the
undergraduate and graduate level. Post-grad teaching and PhD courses
can be arranged as well.
- Management, by serving in the various committees and boards of our
University.
* Candidates must have obtained a national habilitation for the
applied-for position (associate or full professor), or already hold
an equivalent academic position. Salary is aligned to national
standards, starting from a minimum of Euro 51000/yr for an Associate
Professor, and Euro 72000/yr for a Full Professor, and can be
increased based on seniority and qualifications.
* For any further detail please contact the Head of Department,
Professor Gian-Luigi Ferrari at gian-luigi.ferrari@unipi.it.
Interested candidates are kindly requested to send at
call.interest@di.unipi.it their resume and a short statement of
their research interest, together with their vision for how they
intend to contribute to our Department. For this round, please send
your expression of interest by 15th of May 2017. Next rounds are
expected in May 2018 and May 2019.
PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE
LANGUAGES LAB IN BRUSSELS
* The computer science department of the Vrije Universiteit Brussel is
offering a part-time position as professor to reinforce its software
languages and software engineering branch. The position is published
under the heading:
WE/2017/001 - Senior Academic Staff - 50% - Science and
Bio-Engineering Sciences - Computer Sciences - Software Language
Engineering
on the university's job offers website located at
http://vub.talentfinder.be.
The planned starting date for this position is October 1st, 2017.
Contract duration is 2 academic years.
* The deadline for applying is
July 24th, 2017.
Applications should reach us through the
website.
* CONTACT
Viviane Jonckers
Software Languages Lab
email: vejoncke@vub.ac.be
phone: +32 2 629 29 67
* FUNCTION
- Research
The selected candidate has to reinforce the research of the Software
Languages Lab (SOFT - http://soft.vub.ac.be) which focusses on
‘software language engineering’. The lab is active in programming
language research and software engineering research. We are
specifically looking for a candidate who can link these two domains,
e.g. by designing new language features or language extensions with
a specific focus on modern software engineering problems or by
studying the software engineering aspects that emerge from new
“nearly mainstream” languages such as Scala, Clojure, Julia, etc.
The candidate’s research methodology can be formalism-based,
artefact-driven, or experimental. Candidates whose academic track
record shows the ability to combine several methodologies are
explicitly welcome.
- Teaching
The teaching assignment may include both general courses on bachelor
or master level and more specialized courses on MA level. The exact
course list will be negotiated with the candidate and will depend on
his/her expertise and language skills.
12 PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC
RWTH Aachen University
Call for Applications
Deadline for applications: July 14, 2017
Starting date positions: October 1, 2017
https://moves.rwth-aachen.de/research/projects/unravel/
* The RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. 12 positions are available within
the Research Training Group (RTG) UnRAVeL. The key emphasis of an
RTG is on the qualification of doctoral researchers with a focused
research program and a structured training strategy. UnRAVeL aims
to significantly advance probabilistic modelling and analysis for
uncertainty by developing new theories, algorithms, and tool-sup-
ported verification techniques, and to apply them to core problems
from security, planning, and safety and performance analysis.
* Application procedure, required profile, job description, and the
possible Ph.D. projects are all available on the web page.
* Involved supervisors: Martin Grohe, Erich Gradel, Erika Abraham,
Jurgen Giesl, Joost-Pieter Katoen, Christof Loding, Britta Peis,
Gerhard Woeginger, Gerhard Lakemeyer, Ulrike Meyer, Nils Niessen,
Pascal Schweitzer.
Back to the LICS web page.