SIGLOG Monthly 192
May  4, 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 Announcemnet
  ACM SIGLOG Announcement
  EATCS Bulletin - Call for abstracts
* DEADLINES
  Forthcoming Deadlines
* CALLS
  LearnAut 2017 - Call for Participation
  LC 2017 - 3rd Announcement and Call for Submissions and Participation
  SMT 2017 - Call for Papers
  AIRIM'17 - Call for Papers
  CCC 2017 - Second Call for Papers
  LACompLing2017 - Call for Papers
  TIME 2017 -  Final Call for Papers
  MOD 2017 - Call for Papers
  LFU 2017 - Call for Papers
  SyGuS-COMP 2017 - Call for Solvers and Benchmarks Submission
  NLS 2017 - Second announcement and call for papers
  SR 2017 - Preliminary Call for Papers
  HaPoC4 - Third Call for Papers
  PPDP 2017 - Call for Papers
  RW 2017 - Call for Applications
  GandALF 2017 - Preliminary Call for Papers
  CRITIS 2017 - Call for Papers
  FLoC 2018 - Call for workshops
  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
  Security and Privacy in Cloud-Assisted Cyber-Physical Systems - Call for papers
  EPS 2017 - Call for Posters and Encyclopedia Entries
  CPP 2018 - Call for Papers
* JOB ANNOUNCEMENTS
  Professor Positions at University of Pisa


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
* LearnAut 2017
  Call for Participation
  LICS 2017 Workshop
  June 19, Reykjavik (Iceland)
  Website: https://learnaut.wordpress.com/
  Early registration: May 5th (VERY SOON)
* LOGIC COLLOQUIUM 2017
  Third Announcement and Call for Submissions
  August 14-20, 2017, Stockholm, Sweden
  https://www.lc17.conf.kth.se
  Abstract submission for contributed talks:  May 5, 2017
* SMT 2017
  Call for papers
  http://smt-workshop.cs.uiowa.edu/2017/
  July 22 - 23, 2017, Heidelberg, Germany
  Affiliated with CAV 2017
  Paper submission deadline: Mon, May 8, 2017
* AIRIM'17
  Call for Papers
  Prague, Czech Republic, 3 - 6 September, 2017
  https://www.fedcsis.org/2017/airim
  Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
* CCC 2017
  Second Call for Papers
  Loria, 26-30 June 2017, Nancy, France
  https://members.loria.fr/MHoyrup/CCC/home.html
  Extended Deadline: 10 May 2017
* LACompLing2017
  Call for Papers
  Stockholm, August 16-19, 2017
  Extended Deadline: May 10 (AoE), 2017
  http://staff.math.su.se/rloukanova/LACompLing17.html
* TIME 2017
  Final Call for Papers
  Mons (Belgium), 16-18 October 2017
  http://informatique.umons.ac.be/time2017/
  Full papers due: May 12
* MOD 2017
  Call for Papers
  Deadline extended: May 15, 2017
  September 14 - 17, 2017, Volterra (Pisa) Tuscany, Italy
  http://www.taosciences.it/mod/
  Full Paper Submissions: May 15, 2017
* LFU 2017
  Call for Papers
  http://homepages.inf.ed.ac.uk/vbelle/workshops/lfu17/
  August 19, Melbourne, Australia
  Workshop affiliated with  IJCAI-17
  Paper Submission: May 15
* SyGuS-COMP 2017
  Call for Solvers and Benchmarks Submission
  July 22, 2017 Heidelberg, Germany (with CAV and SYNT)
  http://www.sygus.org/SyGuS-COMP2017.html
  Benchmark submission deadline: 15 May 2017
* NLS 2017
  Second announcement and call for papers
  Stockholm, August 7 - 11, 2017
  Department of Mathematics, Kräftriket Campus, Stockholm University.
  https://www.sls17.conf.kth.se
  Early registration ends: May 15, 2017
* SR 2017
  Preliminary Call for Papers
  Liverpool, UK, July 26-27, 2017
  http://sr2017.csc.liv.ac.uk/
  Submission deadline: May 15, 2017
* HaPoC4
  Third Call for Papers
  4-7 October 2017, Masaryk University Brno
  https://hapoc2017.sciencesconf.org/
  Deadline: 15 May 2017
* PPDP 2017
  Call for Papers
  Namur, Belgium, October 9-11, 2017
  (co-located with LOPSTR'17)
  http://complogic.cs.mcgill.ca/ppdp2017
  Deadline: 12 May (abstracts) / 19 May (papers)
* RW 2017
  Call for Applications
  London, U.K., July 7-11, 2017
  http://reasoningweb.org/2017
  Application deadline: May 20, 2017 (extended)
* GandALF 2017
  Preliminary Call for Papers
  Rome, Italy,  20-22 September 2017
  http://gandalf2017.istc.cnr.it
  Paper submission deadline: May 26, 2017
* CRITIS 2017
  Call for Papers
  Lucca, Italy, 9-11 October 2017
  www.critis2017.org
  Deadline: 2 June 2017
* 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
* 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
  Second 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
* Security and Privacy in Cloud-Assisted Cyber-Physical Systems
  Call for papers
  Special issue in Computer Netwoks Journal (Elsevier)
  Submission deadline: June 30, 2017
* EPS 2017
  Call for Posters and Encyclopedia Entries
  24, 25th of September 2017, Brasilia, Brazil
  http://proofsystem.github.io/Encyclopedia/
  Submission: August 1
* 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



LEARNING AND AUTOMATA - LICS 2017 WORKSHOP (LEARNAUT 2017)
  Call for Participation
  June 19, Reykjavik (Iceland)
  Website: https://learnaut.wordpress.com/
* Grammatical Inference (GI) studies machine learning algorithms for
  classical recursive models of computations like automata and
  grammars.  The expressive power of these models and the complexity
  of associated computational problems are a major research topic
  within theoretical computer science (TCS). This workshop aims at
  offering a favorable place for dialogue and at generating
  discussions between researchers from these two communities.  We
  invite submissions of recent works, possibly preliminary ones,
  related to the theme of the workshop. Similarly to how main machine
  learning conferences and workshops are organized, all accepted
  abstracts will be part of a poster session held during the workshop.
  Additionally, the Program Committee will select a subset of the
  abstracts for oral presentation. At least one author of each
  accepted abstract is expected to represent it at the workshop. The program
  can be found on the website.
* INVITED SPEAKERS:
  Kim G. Larsen (Aalborg),
  Mehryar Mohri (NYU & Google),
  Alexandra Silva (UCL)
* IMPORTANT DATES:
  Early registration deadline: May 5th 2017
* If you have not registered yet to the workshop, and if you are
  interested by its program, we strongly recommend you to do it as
  soon as possible
  (http://www.icetcs.ru.is/lics2017-registration.html).  Pressures on
  accommodation possibilities are high, the sooner you book one the
  better it is (a lot of hotels are unfortunately already full).



LOGIC COLLOQUIUM 2017 (LC 2017)
  3rd Announcement and Call for Submissions and Participation
  August 14-20, 2017, Stockholm, Sweden
  https://www.lc17.conf.kth.se
* Registration is now open
* The Logic Colloquium 2017 (LC2017) is the 2017 Annual European
  summer meeting of the Association for Symbolic Logic (ASL) and will
  be held during August 14-20, 2017 at the main campus of Stockholm
  University.  The Logic Colloquium 2017 is organised and hosted
  jointly by the Departments of Mathematics and Philosophy at
  Stockholm University, and is also supported by the KTH Royal
  Institute of Technology.
* LC2017 will be co-located with two other logic-related events, all
  taking place at Stockholm University:
  - the 3rd Nordic Logic Summer School, NLS2017, August 7-12
  - the 26th EACSL Annual Conference on Computer Science Logic,
    CSL2017, August 20-24.
* There will be a joint session of CSL2017 and LC2017 in the morning
  of August 20.  Further information about all events can be found at:
  https://www.lis17.conf.kth.se
* The programme of LC2017 will also include special sessions, which
  will be announced later.
* INVITED SPEAKERS
* Plenary speakers:
  - David Aspero (University of East Anglia)
  - Alessandro Berarducci (Pisa)
  - Elisabeth Bouscaren (Paris 11)
  - Christina Brech (Sao Paolo)
  - Sakae Fuchino (Kobe University)
  - Denis Hirschfeldt (University of Chicago)
  - Wilfrid Hodges (British Academy)
  - Emil Jerabek (Prague)
  - Per Martin-Löf (Stockholm University)
  - Dag Prawitz (Stockholm University)
  - Sonja Smets (University of Amsterdam)
* Tutorial speakers:
  - Patricia Bouyer-Decitre (LSV ENS Cachan)
  - Mai Gehrke (Paris 7)
* LC2017 invited highlight speakers for the joint LC-CSL session:
  - Veronica Becher (Buenos Aires)
  - Pierre Simon (UC Berkeley)
* IMPORTANT DATES
  Main event: August 14-19, 2017
  Joint session with CSL2017: August 20, 2017
  Abstract deadlines:
  Abstract submission for contributed talks:  May 5, 2017
  Notification: May 19, 2017
  Grant application deadline: May 8, 2017
  Early registration deadline: June 9, 2017
  Late registration deadline: August 1, 2017
* PC CHAIR
  Mirna Dzamonja (PC chair, University of East Anglia)
* SPECIAL SESSIONS
  - Category theory and type theory in honor of Per Martin-Lof on his
    75th birthday
    Dates: August 17-19, 2017
  - Computability
    Organizers: Veronica Becher  and Denis Hirschfeldt
  - History of Logic
    Organiser: Valentin Goranko
  - Model Theory:  TBA
  - Philosophical Logic
    Organizer: Mirna Dzamonja
  - Proof Theory
    Organizers:  Jan von Plato and Andreas Weiermann
  - Set Theory
    Organizers:  Christina Brech and Assaf Rinot
* CONTACTS AND ENQUIRIES
  For enquiries on scientific and programme issues, send email to:
  Mirna Dzamonja (M.Dzamonja@uea.ac.uk) For enquiries on organising
  matters, send email to: lc2017 at philosophy.su.se



15TH INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES (SMT 2017)
  Call for papers
  http://smt-workshop.cs.uiowa.edu/2017/
  July 22 - 23, 2017, Heidelberg, Germany
  Affiliated with CAV 2017
  Paper submission deadline: Mon, May 8, 2017
* The aim of the workshop is to bring together researchers and users
  of SMT tools and techniques. Relevant topics include but are not
  limited to:
  - Decision procedures and theories of interest
  - Combinations of decision procedures
  - Novel implementation techniques
  - Applications and case studies
  - Benchmarks and evaluation methodologies
  - Theoretical results
* IMPORTANT DATES
  Abstract submission deadline: Mon, May 1, 2017
  Paper submission deadline: Mon, May 8, 2017
  Notification: Mon, Jun 5, 2017
  Camera ready versions due: Mon, Jun 12, 2017
  Workshop: July 22-23, 2017
* Three categories of submissions are invited:
  - Extended abstracts
  - Original papers
  - Presentation-only papers



2ND INTERNATIONAL WORKSHOP ON AI ASPECTS OF REASONING, INFORMATION,
AND MEMORY 2017 (AIRIM'17)
  Call for Papers
  Prague, Czech Republic, 3 - 6 September, 2017
  https://www.fedcsis.org/2017/airim
* SCOPE:
  There is general realization that computational models of languages
  and reasoning can be improved by integration of heterogeneous
  resources of information, e.g., multidimensional diagrams, images,
  language, syntax, semantics, quantitative data, memory. While the
  event targets promotion of integrated computational approaches, we
  invite contributions from any individual areas related to
  information, language, memory, reasoning.
* IMPORTANT DATES
  Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
  Position paper submission: May 31, 2017
  Authors notification: June 14, 2017
  Final paper submission and registration:  June 28, 2017
  Final deadline for discounted fee: August 01, 2017
  Conference dates: September 3-6, 2017
* ORGANIZERS
  Roussanka Loukanova, Stockholm University, Sweden
  M. Dolores Jimenez-Lopez, Universitat Rovira i Virgili, Spain
  Henning Christiansen, Roskilde University, Denmark
* CONTACT INFORMATION
  M. Dolores Jimenez-Lopez (mariadolores.jimenez@urv.cat)
  Roussanka Loukanova (rloukanova@gmail.com)



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY FROM LOGIC TO ALGORITHMS
2017 (CCC 2017)
  Second Call for Papers
  Loria, 26-30 June 2017, Nancy, France
  https://members.loria.fr/MHoyrup/CCC/home.html
* OVERVIEW.  CCC is a workshop series bringing together researchers
  from exact real number computation, computable analysis, effective
  descriptive set theory, constructive analysis, and related
  areas. The overall aim is to apply logical methods in these
  disciplines to provide a sound foundation for obtaining exact and
  provably correct algorithms for computations with real numbers and
  related analytical data, which are of increasing importance in
  safety critical applications and scientific computation.  *
* SCOPE. The workshop specifically invites contributions in the areas
  - Exact real number computation,
  - Correctness of algorithms on infinite data,
  - Computable analysis,
  - Complexity of real numbers, real-valued functions, etc.
  - Effective descriptive set theory
  - Scott's domain theory,
  - Constructive analysis,
  - Category-theoretic approaches to computation on infinite data,
  - Weihrauch degrees,
  - And related areas.
* INVITED SPEAKERS.
  Matthew de Brecht (Kyoto, Japan)
  Bernhard Reus (Brighton, UK)
  Matthias Schroder (Darmstadt, Germany)
  Alex Simpson (Ljubljana, Slovenia)
* IMPORTANT DATES
  Deadline: 10 May 2017 (extended)
* PROGRAMME COMMITTEE CHAIRS
  Mathieu Hoyrup (Nancy) (co-chair)
  Dieter Spreen (Siegen) (co-chair)



WORKSHOP ON LOGIC AND ALGORITHMS IN COMPUTATIONAL LINGUISTICS 2017
(LACOMPLING2017)
  Call for Papers
  Stockholm, August 16-19, 2017
  Extended Deadline: May 10 (AoE), 2017
  http://staff.math.su.se/rloukanova/LACompLing17.html
* Affiliated with the 26th Annual EACSL Conference on Computer Science
  Logic CSL'2017, Stockholm, 20--26 August 2017 and co-located with:
  Logic in Stockholm 2017
  https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2
* DESCRIPTION
  Computational linguistics studies natural language in its various
  manifestations from a computational point of view, both on the
  theoretical level (modeling grammar modules dealing with natural
  language form and meaning, and the relation between these two) and
  on the practical level (developing applications for language and
  speech technology). Right from the start in the 1950ties, there have
  been strong links with computer science, logic, and many areas of
  mathematics - one can think of Chomsky's contributions to the theory
  of formal languages and automata, or Lambek's logical modeling of
  natural language syntax. The workshop assesses the place of logic,
  mathematics, and computer science in present day computational
  linguistics. It intends to be a forum for presenting new results as
  well as work in progress.
* IMPORTANT DATES
  Submission deadline for regular papers: May 10 (AoE), 2017
  Notification of paper acceptance: May 31, 2017
  Abstracts of short presentations:  June 4, 2017
  Notifications for short presentations: June 12, 2017
  Deadline for final submissions: June 25, 2017
  Workshop: August 16-19, 2017
* FEATURED INVITED SPEAKERS
  Robin Cooper, University of Gothenburg, Sweden
  Ann Copestake, University of Cambridge, UK
  Lars Hellan, Norwegian University of Science and Technology, Norway
  Lucas Champollion, New York University, USA
  Nikola Kompa, University of Osnabr=C3=BCck, Germany
  Louise McNally, Universitat Pompeu Fabra, Spain
  Joakim Nivre, Uppsala University, Sweden
  Mila Vulchanova,  Norwegian University of Science and Technology, Norway
  Markus Werning, Ruhr University Bochum, Germany
  and more ...
* CONTACT
  Roussanka Loukanova (rloukanova@gmail.com)
  Valeria de Paiva (valeria.depaiva@gmail.com)



24th INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING
(TIME 2017)
  Final Call for Papers
  Mons (Belgium), 16-18 October 2017
  http://informatique.umons.ac.be/time2017/
* TIME 2017 aims to bring together researchers interested in reasoning
  about temporal aspects of information in any area of Computer
  Science. The symposium, currently in its 24th edition, has a wide
  remit and intends to cater to both theoretical aspects and
  well-founded applications. One of the key aspects of the 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 (1) Artificial Intelligence, (2)
  Databases and (3) Logic and Verification. Submissions of high-quality
  papers describing research results are solicited. See the webpage
  for a detailed list of topics of interest.
* PROGRAM COMMITTEE CHAIRS: Sven Schewe (University of Liverpool);
  Thomas Schneider (University of Bremen); Jef Wijsen (University of
  Mons)
* INVITED SPEAKERS:
  Alessandro Artale (Free University of Bozen-Bolzano);
  Javier Esparza (Technical University of Munich);
  Sheila McIlraith (University of Toronto)
* Submitted papers should contain original, previously unpublished
  content, should be written in English, and must not be
  simultaneously submitted for publication elsewhere.
  Detailed submission instructions can be found on the webpage.
  Accepted papers will be presented at the symposium and included in
  the proceedings, which will be published by LIPIcs-Leibniz
  International Proceedings in Informatics, which is a series of
  high-quality peer-reviewed conference proceedings, published
  according to the principle of OpenAccess.
* Authors of selected papers will be invited to submit an extended
  version of their contribution to a special issue of the journal
  Theoretical Computer Science.
* IMPORTANT DATES:
  Abstracts due: May 8, 2017;
  Full papers due: May 12, 2017;
  Notification:	June 27, 2017;
  Final version due: July 14, 2017;
  Symposium: October 16-18, 2017



THE 3RD INTERNATIONAL CONFERENCE ON MACHINE LEARNING, OPTIMIZATION &
BIG DATA (MOD 2017)
  Call for Papers
  Deadline extended: May 15, 2017
  September 14 - 17, 2017, Volterra (Pisa) Tuscany, Italy
  http://www.taosciences.it/mod/
* AIMS.The International Conference on Machine learning, Optimization,
  and big Data (MOD) has established itself as a premier
  interdisciplinary conference in machine learning, computational
  optimization, knowledge discovery and data science.  The conference
  will consist of four days of conference sessions. We invite
  submissions of papers on all topics related to Machine learning,
  Optimization, Knowledge Discovery and Data Science including
  real-world applications for the Conference Proceedings (Springer -
  Lecture Notes in Computer Science - LNCS).
* IMPORTANT DATES
  Full Paper Submissions: May 15, 2017
  Full Paper  Notifications: June 30, 2017
  Conference: September 14 - 17, 2017
* KEYNOTE SPEAKERS
 - Georgios Giannakis, Department of Electrical and Computer
   Engineering, University of Minnesota, Director of Digital Technology
   Center, USA (TBC)
 - Yi-Ke Guo, Department of Computing, Faculty of Engineering, Imperial
  College London, UK Founding Director of Data Science Institute.
 - Ruslan Salakhutdinov, Machine Learning Department, School of
   Computer Science at Carnegie Mellon University, USA. Director of AI
   Research at Apple.
 - Jun Pei, Hefei University of Technology, China
* For a full list of topics see
  http://www.taosciences.it/mod/
  We particularly encourage submissions in emerging topics of high
  importance such as data quality, advanced deep learning,
  time-evolving networks, large multi-objective optimization, quantum
  discrete optimization, learning representations, big data mining and
  analytics, cyber-physical systems, heterogeneous data integration
  and mining, autonomous decision and adaptive control.
* PROGRAM CO-CHAIRS:
  Giovanni Giuffrida, University of Catania, Italy & Neodata Group
  Giuseppe Nicosia, University of Catania, Italy
  Panos Pardalos, University of Florida, USA
* SPECIAL  SESSION CO-CHAIRS:
  Giuseppe Narzisi, New York University Tandon School of Engineering &
  New York Genome Center, New York, USA
* WORKSHOP CO-CHAIR:
  Piero Conca, CNR, Italy
* INDUSTRIAL PANEL CHAIRS:
  Ilaria Bordino, Marco Firrincieli, Fabio Fumarola, and Francesco
  Gullo, UniCredit R&D
* FURTHER INFORMATION
  W: http://www.taosciences.it/mod/
  E: modworkshop2017@gmail.com



WORKSHOP ON LOGICAL FOUNDATIONS FOR UNCERTAINTY AND LEARNING (LFU 2017)
  Call for Paper
  August 19, Melbourne, Australia
  Workshop affiliated with  IJCAI-17
  http://homepages.inf.ed.ac.uk/vbelle/workshops/lfu17/
* OVERVIEW. The purpose of this workshop is to promote logical
  foundations for reasoning and learning under
  uncertainty. Uncertainty is inherent in many AI applications, and
  coping with this uncertainty, in terms of preferences, probabilities
  and weights, is essential for the system to operate purposefully. In
  the same vein, expecting a domain modeler to completely characterize
  a system is often unrealistic, and so enabling mechanisms by means
  of which the system can infer and learn about the environment is
  needed. While probabilistic reasoning and Bayesian learning has
  enjoyed many successes and is central to our current understanding
  of the data revolution, a deeper investigation on the underlying
  semantical issues as well as principled ways of extending the
  frameworks to richer settings is what this workshop strives for.
  Broadly speaking, we aim to bring together the many communities
  focused on uncertainty reasoning and learning -- including knowledge
  representation, machine learning, logic programming and databases --
  by focusing on the logical underpinnings of the approaches and
  techniques.
* TOPICS include (but are not limited to):
  Probabilistic and weighted databases and knowledge bases
  Integration of deductive and inductive reasoning with Bayesian
  inference and learning
  Semantical foundations for machine learning
  Logics for data-intensive information processing, such as data fusion
  Extension of statistical relational learning with generic weight functions
  Declarative methods for inference and learning
* IMPORTANT DATES
  Paper Submission: May 15
  Author Notification: June 8
  Camera ready: July 15
  Workshop Date: August 19



SYGUS-COMP 2017 4TH ANNUAL SYNTAX GUIDED SYNTHESIS COMPETITION
(SyGuS-COMP 2017)
  Call for Solvers and Benchmarks Submission
  July 22, 2017 Heidelberg, Germany (with CAV and SYNT)
  http://www.sygus.org/SyGuS-COMP2017.html
* The SyGuS Competition is an annual competition for solvers of the
  syntax-guided synthesis problem. This problem asks to find a program
  meeting a given logical formulae augmented with a grammar
  restricting the set of allowed implementations. These are formulated
  in SyGuS-IF, a logical formalism built on top of SMT-LIB.
* Benchmarks and Solvers submission is now open.
* IMPORTANT DATES:
  Benchmark submission deadline:		15 May 2017
  Deadline for first version of solvers:	7 June 2017
* Detailed information can be found on the webpage.



THIRD NORDIC LOGIC SUMMER SCHOOL (NLS 2017)
  Second announcement and call for papers
  Stockholm, August 7 - 11, 2017
  Department of Mathematics, Kräftriket Campus, Stockholm University.
  https://www.sls17.conf.kth.se
* The third Nordic Logic Summer School is arranged under the auspices
  of the Scandinavian Logic Society
  (http://scandinavianlogic.org/). The two previous schools were
  organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The
  intended audience is advanced master students, PhD-students,
  postdocs and experienced researchers wishing to learn the state of
  the art in a particular subject. The school is co-located with Logic
  Colloquium 2017 (August 14-20) and Computer Science Logic 2017
  (August 21-24).
* The school will consist of 10 five-hour courses, running in two
  qparallel streams. In addition, there will be short student
  presentations and poster sessions.
* The lectures start on:
  Monday August 7, 9:00, and end Friday August 11, 16:15
* LECTURERS AND COURSES
  The following lecturers and course topics are confirmed.
  - Mirna Dzamonja (University of East Anglia)
  Set Theory
  - Martin Escardo (Birmingham)
  Topological and Constructive Aspects of Higher-Order Computation
  - Henrik Forssell (Oslo)
  Categorical Logic
  - Volker Halbach (Oxford)
  Truth & Paradox
  - Larry Moss (Indiana University, Bloomington)
  Natural Logic
  - Anca Muscholl (LaBRI, Université Bordeaux)
  Logic in Computer Science - Control and Synthesis, from a
  Distributed Perspective
  - Eric Pacuit (University of Maryland)
  Logic and Rationality
  - Peter Pagin and Dag Westerståhl (Stockholm University)
  Compositionality
  - Sara L. Uckelman (Durham)
  Medieval Logic
  - Andreas Weiermann (Ghent)
  Proof Theory
* IMPORTANT DATES
  Registration:
  Registration opens: March 6, 2017
  Early registration ends: May 15, 2017
  Late registration ends: August 4, 2017
  Submission of abstracts for presentations and posters:
  Opening: March 6, 2017
  Closing: May 2, 2017
  Notification of acceptance: May 9, 2017
* FURTHER INFORMATION
  Further information about submissions, registration and accommodation
  possibilities will (in due time) be available on the NLS webpage:
  General enquiries: nls2017 [at] philosophy.su.se
  Accommodation enquiries: logic2017-accommodation [at] math.su.se
* PROGRAM CHAIR
  Erik Palmgren (chair, Stockholm U)



5TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2017)
  Preliminary Call for Papers
  Liverpool, UK, July 26-27, 2017
  http://sr2017.csc.liv.ac.uk/
* OVERVIEW: Strategic reasoning is one of the most active research
  areas in the multi-agent system domain. The literature in this field
  is extensive and provides a plethora of logics for modelling
  strategic ability.  Theoretical results are now being used in many
  exciting domains, including software tools for information system
  security, robot teams with sophisticated adaptive strategies, and
  automatic players capable of beating expert human adversaries, just
  to cite a few. All these examples share the challenge of developing
  novel theories and tools for agent-based reasoning that take into
  account the likely behaviour of adversaries. The international
  workshop on strategic reasoning aims to bring together researchers
  working on different aspects of strategic reasoning in computer
  science, both from a theoretical and a practical point of view.  SR
  2017 will be co-located with TARK 2017, which will be held in
  Liverpool on July 24-26, 2017.
* LIST OF TOPICS
  The topics covered by the workshop include, but are not limited to,
  the following:
  Logics for reasoning about strategic abilities;
  Logics for multi-agent mechanism design, verification, and synthesis;
  Logical foundations of decision theory for multi-agent systems;
  Strategic reasoning in formal verification;
  Automata theory for strategy synthesis;
  Strategic reasoning under perfect and imperfect information;
  Applications and tools for cooperative and adversarial reasoning;
  Robust planning and optimisation in multi-agent systems;
  Risk and uncertainty in multi-agent systems;
  Quantitative aspects in strategic reasonings.
* IMPORTANT DATES
  Abstract deadline: May 8, 2017
  Submission deadline:	May 15, 2017
  Acceptance notification: June 16, 2017
  Camera-ready deadline: June 30, 2017
  Workshop: July 26-27, 2017
* WORKSHOP CO-CHAIRS
  Wiebe van der Hoek, University of Liverpool
  Bastien Maubert, University of Naples "Federico II"
  Aniello Murano,  University of Naples "Federico II"
  Sasha Rubin, University of Naples "Federico II"



4TH INTERNATIONAL CONFERENCE ON HISTORY AND PHILOSOPHY OF COMPUTING
(HaPoC4 2017)
  Second Call for Papers
  4-7 October 2017, Masaryk University Brno
  https://hapoc2017.sciencesconf.org/
* HaPoC4 2017 will be held under the auspices of the DHST/DLMPS
  Commission for the History and Philosophy of Computing (HaPoC)
  www.hapoc.org
* OVERVIEW. HaPoC conferences aim to bring together researchers
  exploring the various aspects of the computer from historical or
  philosophical standpoint. The series aims at an interdisciplinary
  focus on computing, rooted in historical and philosophical
  viewpoints. The conference brings together researchers interested in
  the historical developments of computing, as well as those
  reflecting on the sociological and philosophical issues springing
  from the rise and ubiquity of computing machines in the contemporary
  landscape.  For HaPoC 2017 we welcome contributions from logicians,
  philosophers and historians of computing as well as from
  philosophically aware computer scientists and mathematicians. We
  also invite contributions on the use of computers in art. As HaPoC
  conferences aim to provide a platform for interdisciplinary
  discussions among researchers, contributions stimulating such
  discussions are preferable.
* IMPORTANT DATES
  Deadline for abstracts and extended abstracts: 15 May 2017
  Notifications of acceptance: July 2016



19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE
PROGRAMMING (PPDP 2017)
  Call for Papers
  Namur, Belgium, October 9-11, 2017
  (co-located with LOPSTR'17)
  http://complogic.cs.mcgill.ca/ppdp2017
* PPDP 2017 is a forum that brings together researchers from the
  declarative programming communities, including those working in the
  functional, logic, answer-set, and constraint programming
  paradigms. The goal is to stimulate research in the use of logical
  formalisms and methods for analyzing, performing, specifying, and
  reasoning about computations, including mechanisms for concurrency,
  security, static analysis, and verification.
* This year the conference will be co-located with the 27th Int'l
  Symp.  on Logic-Based Program Synthesis and Transformation (LOPSTR
  2017).
* Submissions are invited on all topics from principles to practice,
  from foundations to applications. Topics of interest include, but
  are not limited to
  - Language Design: domain-specific languages; interoperability;
    concurrency, parallelism, and distribution; modules; probabilistic
    languages; reactive languages; database languages; knowledge
    representation languages; languages with objects; language
    extensions for tabulation; metaprogramming.  -- Implementations:
    abstract machines; interpreters; compilation; compile-time and
    run-time optimization; garbage collection; memory management.
  - Foundations: type systems; type classes; dependent types; logical
    frameworks; monads; resource analysis; cost models; continuations;
    control; state; effects; semantics.
  - Analysis and Transformation: partial evaluation; abstract
    interpretation; control flow; data flow; information flow;
    termination analysis; resource analysis; type inference and type
    checking; verification; validation; debugging; testing.
  - Tools and Applications: programming and proof environments;
    verification tools; case studies in proof assistants or
    interactive theorem provers; certification; novel applications of
    declarative programming inside and outside of CS; declarative
    programming pearls; practical experience reports and industrial
    application; education.
* IMPORTANT DATES:
  Abstract Submission: 12 May   2017
  Paper Submission: 19 May   2017
  Paper Rebuttal: 10 July  2017
  Notification: 20 July  2017
  Final Version: 15 Aug   2017
* SUBMISSION CATEGORIES:
  Submissions can be made in three categories: regular Research Papers,
  System Descriptions, and Experience Reports.
* PROGRAM COMMITTEE CHAIR
  Brigitte Pientka (McGill University)



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.



THE EIGHTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND
FORMAL VERIFICATION (GandALF 2017)
  Rome, Italy,  20-22 September 2017
  http://gandalf2017.istc.cnr.it
* AIM.
  The aim of GandALF 2017 symposium is to bring together
  researchers from academia and industry which are actively working in
  the fields of Games, Automata, Logics, and Formal Verification. The
  idea is to cover an ample spectrum of themes, ranging from theory to
  applications, and stimulate cross-fertilization.
* TOPICS
  Papers focused on formal methods are especially welcome. Authors are
  invited to submit original research or tool papers on all relevant
  topics in these areas. Papers discussing new ideas that are at an
  early stage of development are also welcome. The topics covered by
  the conference include, but are not limited to, the following:
  -  Automata Theory
  -  Automated Deduction
  -  Computational aspects of Game Theory
  -  Concurrency and Distributed computation
  -  Decision Procedures
  -  Deductive, Compositional, and Abstraction Techniques for
     Verification
  -  Finite Model Theory
  -  First-order and Higher-order Logics
  -  Formal Languages
  -  Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile
     Systems
  -  Games and Automata for Verification
  -  Game Semantics
  -  Logical aspects of Computational Complexity
  -  Logics of Programs
  -  Modal and Temporal Logics
  -  Model Checking
  -  Models of Reactive and Real-Time Systems
  -  Program Analysis and Software Verification
  -  Run-time Verification and Testing
  -  Specification and Verification of Finite and Infinite-state
     Systems
  -  Synthesis
* IMPORTANT DATES
  Abstract submission: May 19, 2017
  Paper submission: May 26, 2017
  Notification: July 7, 2017
  Camera-ready: July 31, 2017
  Conference: Sept. 20-22, 2017
* PROGRAM CHAIRS
  Patricia Bouyer-Decitre LSV, CNRS & ENS de Cachan, France
  Pierluigi San Pietro, Politecnico di Milano, Italy



INTERNATIONAL CONFERENCE ON CRITICAL (INFORMATION) INFRASTRUCTURES
SECURITY (CRITIS 2017)
  Call for Papers
  Lucca, Italy, 9-11 October 2017
  www.critis2017.org.
* We invite you to submit a contribution to CRITIS 2017, the
  International Conference on Critical (Information) Infrastructures
  Security.
* Special attention will be devoted to young talents. To this purpose, a
  price (YCA: Young Critis Award) will be awarded to the best
  contribution presented by a young author.
  On 12-13 October, the conference will be followed by two satellite
  workshops on Energy and Water.
* For further details, please visit our website www.critis2017.org.
* IMPORTANT DATES
  Full-text submission 2 June 2017
  Notification of acceptance 1 July 2017
  Camera-ready papers 1 September 2017
* GENERAL CHAIR: Antonio Scala (IMT Lucca & CNR, Italy)
  PROGRAMME GENERAL CHAIR: Gregorio D'Agostino (ENEA, Italy)
  PROGRAM CO-CHAIRS: Grigore Havarneanu (International Union of
  Railways, France), Cristina Alcaraz (University of Malaga, Spain),
  Hypatia Nassopoulos (Ecole des Ingenieurs de la Ville de Paris,
  France)
  YCA CHAIRS: Marco Santarelli (ReS On Network) and
  Bernhard Hammerli (HSLU)



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 at 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 at surrey.ac.uk
  - FSCD (3rd International Conference on Formal Structures for
        Computation and Deduction)
  http://fscdconference.org/
  Workshop chair: Paula Severi pgs11 at le.ac.uk
  - ICLP (35th International Conference on Logic Programming)
  https://www.cs.nmsu.edu/ALP/conferences/
  Workshop chair: Stefan Woltran woltran at dbai.tuwien.ac.at
  - IJCAR (International Joint Conference on Automated Reasoning)
  http://www.ijcar.org
  Workshop chair: Alberto Griggio griggio at fbk.eu
  - ITP (9th International Conference on Interactive Theorem Proving)
  http://itp2017.cic.unb.br
  Workshop chair: Assia Mahboubi Assia.Mahboubi at inria.fr
  - LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science)
  http://lics.siglog.org/
  Workshop chair: Patricia Bouyer bouyer at 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 at 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 at glasgow.ac.uk



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)
  Second 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



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.



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



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



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.



Back to the LICS web page.