SIGLOG Monthly 195
August 9, 2017

*******************************************************************
* Past issues of the newsletter are available at
 http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lii.rwth-aachen.de/lics/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
  LASH 2017 - Call for Contributions
  DataMod 2017 -  Call for Presentation Reports
  HELMUTH VEITH STIPEND - Call for Application
  PODS 2018 -  Call for Papers
  TPNC 2017 - Call for papers
  CSL 2017 - Call for Participation
  LOGIC AND AUTOMATA THEORY - Call for participation
  FSCD 2017 - Call for participation
  PADL 2018 - Call for Papers
  ESORICS 2017 - Call for Participation
  RV 2017 - 1st Call for Participation
  GandALF 2017 - Call for participation
  TABLEAUX 2017 - Call for Participation
  FroCoS 2017 - Call for Participation
  ITP 2017 - Call for Participation
  ISAIM 2018 - Call for Papers
  CPP 2018 - Call for Papers
  FoIKS 2018 - Call for papers
* JOB ANNOUNCEMENTS
  POST-DOC POSITION AT TU DORTMUND
  POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING 
LANGUAGES
  PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB 
IN BRUSSELS


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: Helene 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
  bulle...@eatcs.org and iw...@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
* LASH 2017
  Call for Contributions
  August 28, 2017, Melbourne Australia
  LogicAndSearch.org/LaSh2017
* DataMod 2017
  Call for Presentation Reports
  September 4-5, 2017, Trento, Italy
  Satellite event of SEFM 2017
  http://pages.di.unipi.it/datamod/edition-2017/
* HELMUTH VEITH STIPEND
  Call for Applications
  http://bit.ly/Forsyte-Helmut-Veith-Stipend
  Deadline: August 20, 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 (2nd cycle): Dec 19, 2017
* 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
* CSL 2017
  Call for Participation
  August 20 - 24, 2017, Stockholm, Sweden
  http://logic.math.su.se/csl-2017
* LOGIC AND AUTOMATA THEORY
  Call for participation
  A one-day workshop in memory of Zoltan Esik
  A satellite event of CSL 2017
  Stockholm, August 25, 2017
  https://www.imsc.res.in/~jam/esik/zoltan.html
* FSCD 2017
  Call for participation
  Oxford, UK, 3-9 September 2017 (colocated with ICFP)
  http://www.cs.ox.ac.uk/conferences/fscd2017/
* PADL 2018
  Call for Papers
  http://popl18.sigplan.org/track/PADL-2018-papers
  Los Angeles, CA, USA, 8 - 9 January, 2018
  Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)
  Paper submission: September 10, 2017
* ESORICS 2017
  Call for Participation
  Oslo, Norway — September  11-15, 2017
  https://www.ntnu.edu/web/esorics2017/
* RV 2017
  Call for Participation
  September 13-16 2017, Seattle, WA, USA
  http://rv2017.cs.manchester.ac.uk
* GandALF 2017
  Call for participation
  Rome, Italy, 20-22 September 2017
  http://gandalf2017.istc.cnr.it
* TABLEAUX 2017
  Call for Participation
  Brasilia, Brazil - 25-28 September 2017
  Co-located with FroCoS 2017 and ITP 2017
  Workshops and Tutorials: 23-25 September 2017
  http://tableaux2017.cic.unb.br
* FroCoS 2017
  Call for Participation
  Brasilia, Brazil - 27-29 September 2017
  Co-located with TABLEAUX 2017 and ITP 2017
  Workshops and Tutorials: 23-25 September 2017
  http://frocos2017.cic.unb.br
* ITP 2017
  Call for Participation
  Brasilia, Brazil - 26-29 September 2017
  Co-located with TABLEAUX 2017 and FroCoS 2017
  Workshops and Tutorials: 23-25 September 2017
  http://itp2017.cic.unb.br
* ISAIM 2018
  Call for Papers
  January 3-5, 2018, Fort Lauderdale FL, USA
  http://isaim2018.cs.virginia.edu
  Paper submission:  October   3, 2017
* CPP 2018
  Second 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
* FoIKS 2018
  Call for papers
  May 14-18, 2018, Alfred Renyi Institute of Mathematics, Budapest, Hungary
  http://2018.foiks.org/
  Paper submission: December 01, 2017


LASH 2017 WORKSHOP ON LOGIC AND SEARCH (LASH 2017)
  Call for Contributions
  August 28, 2017, Melbourne Australia
  LogicAndSearch.org/LaSh2017
* The LaSh Worshops on Logic and Search are devoted to the study of
  logic-based methods for specifying and solving computational search
  and optimization problems, with particular emphasis on solving based
  on high-level, declarative, problem specifications.  LaSh-2017 is
  affiliated with SAT, CSP and ICLP 2017.
* Researchers interested in giving a 20 to 30 minute talk should
  submit a proposal, in the form either of a talk abstract, or a full
  paper in any common format.  Submissions or enquiries may be sent
  by email to d...@sfu.ca, with the subject LaSh 2017 Submission.  In
  the case of a paper, please indicate if it is new or previously
  published work.
* Topics of interest include:  Logics and representation languages;
  Model finders and ground solvers (e.g., SAT, ASP, SMT, CSP solvers);
  Grounding and grounding-based solving systems; Pre-processing,
  automated reasoning over specifications, automated solver generation
  and meta-programming; Problem and instance structure; Applications.
* IMPORTANT DATES
  Sunday August 6: Submission of presentation proposals
  Saturday August 12: Notification of acceptance
  Monday August 28: Workshop


6th INTERNATIONAL SYMPOSIUM  "FROM DATA TO MODELS AND BACK" (DataMod 2017)
  Call for Presentation Reports
  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 Net= s, 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
* Presentation reports concern recent or ongoing work on relevant
  topics and ideas, for timely discussion and feedback at the
  workshop. There is no restriction as for previous/future publication
  of the contents of a presentation. Presentation reports will receive
  a lightweight review to establish their relevance for DataMod.
* IMPORTANT DATES
  Submission: 8 August 2017; 
  Notification: 10 August 2017


HELMUTH VEITH STIPEND
  Call for Applications 
  Deadline: August 20, 2017
* It is our pleasure to invite academically excellent female
  applicants in pursuit (or planning to pursue) a master degree in
  Computer Sciences at TU Wien to apply for Helmut Veith Stipend. The
  recipients of Helmut Veith Stipend receive EUR 6000 annually for the
  duration of up to two years, and waiver of all tuition fees for the
  study at TU Wien. The application deadline is August 20, 2017. For
  more information download the Flyer for Helmut Veith Stipend.
* ABOUT HELMUT VEITH
  The stipend is named to honour the memory of Helmut Veith
  (1971 - 2016), specifically his international influential research,
  and his visionary mentorship of building bridges between the
  computer science and the society. The Helmut Veith Stipend continues
  the late scholar's support of female scientist in the field of
  computer science, and his backing of the revival era in the Austrian
  logic scene.
* More information here
  http://bit.ly/Forsyte-Helmut-Veith-Stipend


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.


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


26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2017)
  Call for Participation
  August 20 - 24, 2017, Stockholm, Sweden
  http://logic.math.su.se/csl-2017
* Computer Science Logic (CSL) is the annual conference of the
  European Association for Computer Science Logic (EACSL). It is an
  interdisciplinary conference, spanning across both basic and
  application oriented research in mathematical logic and computer
  science and is intended for computer scientists whose research
  involves logic, as well as for logicians working on issues essential
  for computer science.
* CSL 2017 will be co-located with several other logic-related events,
  taking place at Stockholm University, including the 3rd Nordic Logic
  Summer School, NLS 2017, August 7-11, and the Logic Colloquium 2017
  (LC 2017), August 14-20.
* INVITED SPEAKERS
* Invited highlight speakers for the LC-CSL joint session on August 20:
  Veronica Becher (University of Buenos Aires)
  Phokion Kolaitis (University of California Santa Cruz and IBM
    Research - Almaden)
  Pierre Simon (UC Berkeley)
  Wolfgang Thomas (RWTH Aachen)
* CSL plenary speakers:
  Laura Kovács (Vienna University of Technology)
  Stephan Kreutzer (Technische Universität Berlin)
  Meena Mahajan (Institute of Mathematical Sciences, Chennai)
  Margus Veanes (Microsoft Research)
* SPECIAL AND AFFILIATED EVENTS
  In addition to the plenary and contributed talks CSL 2017, the
  conference will also include the following events:
  - Presentation of the Alonzo Church award for Outstanding
  Contributions to Logic and Computation,
  - Presentation of the EACSL Ackermann award for Outstanding
  Dissertation on Logic in Computer Science,
  - CSL-affiliated workshops, to be held as CSL co-located events:
    Workshop on Logic and Algorithms in Computational Linguistics
                      LACompLing'17 (August 16-19)
    Workshop on Logical Aspects of Multi-Agent Systems
                      LAMAS 2017 (August  25)
    Workshop on Logic and Automata Theory (in memory
                      of Zoltan Ezik) (August  25)
* Further information about all events can be found on
  http://logic.math.su.se/logic-in-stockholm-2017


LOGIC AND AUTOMATA THEORY
  Call for participation
  A one-day workshop in memory of Zoltan Esik
  A satellite event of CSL 2017
  Stockholm, August 25, 2017
  https://www.imsc.res.in/~jam/esik/zoltan.html
* SPEAKERS
  Mikolaj Bojanczyk (University of Warsaw)
  Anna Ingolfsdottir (Reykjavik University)
  Szabolcs Ivan (University of Szeged)
  Wolfgang Thomas (RWTH, Aachen)
  Pascal Weil (LaBRI, CNRS and Univ. of Bordeaux) 
* Registration link
  https://www.math-stockholm.se/konferenser-och-akti/
  logic-in-stockholm-2/26th-eacsl-annual-co/
  computer-science-logic-2017-august-20-24-1.717663
* Organisers
  R. Ramanujam (j...@imsc.res.in) and
  Thomas Schwentick (thomas.schwent...@tu-dortmund.de)


2ND INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION
AND DEDUCTION (FSCD 2017)
  Call for participation
  Oxford, UK, September 2017 (colocated with ICFP)
  http://www.cs.ox.ac.uk/conferences/fscd2017/
* FSCD is a conference covering all aspects of formal structures for
  computation and deduction from theoretical foundations to
  applications.  Building on two communities, RTA (Rewriting
  Techniques and Applications) and TLCA (Typed Lambda Calculi and
  Applications), FSCD embraces their core topics and broadens their
  scope to closely related areas in logics, proof theory and new
  emerging models of computation such as quantum computing and
  homotopy type theory.
* REGISTRATION
  The registration page is already open and linked from:
  http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html
  The early registration deadline is *** 7 August ***.
  Students should apply for scholarships by *** 21 July ***
  (for more details please visit the conference webpage).
* INVITED SPEAKERS
  - Marco Gaboardi   (Univ. Buffalo, SUNY)
  - Georg Mose         (Univ. Innsbruck)
  - Alexandra Silva    (University College London)
  - Christine Tasson  (PPS and Univ. Paris Diderot)
* SATELLITE EVENTS
  - Trends in Linear Logic and Applications (September 3)
  - 31st International Workshop on Unification (September 3)
  - Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes
    Workshop (September 3)
  - Third Workshop on Higher-Dimensional Rewriting and Applications
    (September 8-9) (co-located)
  - Third Workshop on Homotopy Type Theory and Univalent Foundations
    (September 8-9)
  - First Workshop on String Diagrams in Computation, Logic, and
    Physics (September 8-9) (co-located)
  - Fourth Meeting on Structures and Deduction (September 8 and 9)
  - Sixth International Workshop on Confluence (September 8)
  - International Workshop on Logical Frameworks and Meta-Languages -
    Theory and Practice (September 8)
  - Fourth International Workshop on Rewriting Techniques for Program
    Transformation and Evaluation (September 8)
  - IFIP Working Group 1.6: Rewriting (September 9)
* PROGRAM CHAIR
  Dale Miller (Inria Saclay)
* CONFERENCE CHAIR
  Sam Staton (University of Oxford)
* WORKSHOPS CHAIR
  Jamie Vicary (University of Oxford)


20TH INTERNATIONAL SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE
LANGUAGES (PADL 2018)
  Call for Papers
  http://popl18.sigplan.org/track/PADL-2018-papers
  Los Angeles, CA, USA, 8 - 9 January, 2018
  Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)
* The two best papers accepted for publication at PADL will be
  invited to submit an extended version for rapid publication in the
  journal Theory and Practice of Logic Programming.
* PADL is a well-established forum for researchers and practitioners
  to present original work emphasizing novel applications and
  implementation techniques for all forms of declarative concepts,
  including, functional, logic, constraints, etc.  Topics of interest
  include, but are not limited to:
  - Innovative applications of declarative languages
  - Declarative domain-specific languages and applications
  - Practical applications of theoretical results
  - New language developments and their impact on applications
  - Declarative languages and software engineering
  - Evaluation of implementation techniques on practical applications 
  - Practical experiences and industrial applications
  - Novel uses of declarative languages in the classroom
  - Practical extensions such as constraint-based, probabilistic, and
  reactive languages.
  PADL 2018 will accept both technical and application papers:
* IMPORTANT DATES
  Abstract submission: September 3, 2017
  Paper submission: September 10, 2017
  Notification: October 9, 2017
  Camera-ready: October 23, 2017
  Symposium: January 8-9, 2017
* Program Chairs:
  - Nicola Leone, University of Calabria, Italy
  - Kevin Hamlen, University of Texas at Dallas, TX, USA


22ND EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2017)
  Call for Participation
  Oslo, Norway, September  11-15, 2017
  https://www.ntnu.edu/web/esorics2017/
* OVERVIEW
  ESORICS is the annual European research event in Computer Security.
  ESORICS 2017 spans a total of 3 days, featuring:
  - 3 keynote speeches
    (Cormac Herley, Paul Syverson, Sandro Etalle)
  - 54 paper presentations in 3 days (Sep 11-13)
  - workshops (Sept 14 - 15)
* REGISTRATION
  Early Registration for ESORICS+Workshops 2017 is open, but will end
  soon. Early registration deadline is August, 15th 2017.
* FURTHER DETAILS
  https://www.ntnu.edu/web/esorics2017/


THE 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2017)
  Call for Participation
  September 13-16 2017, Seattle, WA, USA
  http://rv2017.cs.manchester.ac.uk
* Affiliated Event:
  RV-CuBES - An International Workshop on Competitions, Usability,
  Benchmarks, Evaluation, and Standardisation for Runtime Verification
  Tools
* Early Registration and Accommodation Deadline 
  August 13
* OVERVIEW
  Runtime verification is concerned with the monitoring and analysis
  of the runtime behaviour of software and hardware systems. Runtime
  verification techniques are crucial for system correctness,
  reliability, and robustness; they provide an additional level of
  rigor and effectiveness compared to conventional testing, and are
  generally more practical than exhaustive formal
  verification. Runtime verification can be used prior to deployment,
  for testing, verification, and debugging purposes, and after
  deployment for ensuring reliability, safety, and security and for
  providing fault containment and recovery as well as online system
  repair. 
* Topics of interest to the conference include: specification
  languages, monitor construction techniques, program instrumentation,
  logging, recording, and replay, combination of static and dynamic
  analysis, specification mining and machine learning over runtime
  traces, monitoring techniques for concurrent and distributed
  systems, runtime checking of privacy and security policies,
  statistical model checking, metrics and statistical information
  gathering, program/system execution visualization, fault
  localization, containment, recovery and repair, integrated vehicle
  health management (IVHM).
* INVITED TALKS 
  - Rodrigo Fonseca, Brown University, USA:
  - Vlad Levin and Jakob Lichtenberg, Microsoft, USA:
  - Andreas Zeller, Saarland University, Germany:
* TUTORIALS
  - Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research
  - Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign
  - Adrian Francalanza, University of Malta


THE EIGHTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND
FORMAL VERIFICATION (GandALF 2017)
  Call for participation
  Rome, Italy, 20-22 September 2017
  http://gandalf2017.istc.cnr.it
* REGISTRATION NOW OPEN : http://gandalf2017.istc.cnr.it/registration/
* 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.
* The list of accepted papers can be found here:
  http://gandalf2017.istc.cnr.it/accepted-papers/
* INVITED SPEAKERS
  - Luca Aceto,  Reykjavik University,
    Iceland/Gran Sasso Science Institute, L'Aquila, Italy
  - Ranko Lazic,  University of Warwick, U.K.
  - Michael Wooldridge, Head of Department of Computer Science,
    University of Oxford, U.K.
* AIxIA CALL FOR SCHOLARSHIP
  The Italian Association for Artificial Intelligence offers travel
  grants, which partially support the registration fees, travel,
  accommodation and meal expenses, for the participation of students
  in GandALF 2017.  The candidates should send the travel grant
  application to Andrea Orlandini (by email gandalf.2...@istc.cnr.it)
  by 30/07/2017
* More info here:
  http://gandalf2017.istc.cnr.it/aixia-call-for-scholarships/
* PROGRAM CHAIRS
  Patricia Bouyer-Decitre LSV, CNRS and ENS de Cachan, France
  Pierluigi San Pietro, Politecnico di Milano, Italy


26th INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH
ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2017)
  Call for Participation
  Brasilia, Brazil - 25-28 September 2017
  Co-located with FroCoS 2017 and ITP 2017
  Workshops and Tutorials: 23-25 September 2017
  http://tableaux2017.cic.unb.br
* TABLEAUX is the main international conference at which research
  on all aspects, theoretical foundations, implementation techniques,
  systems development and applications, of the mechanization of
  tableau-based reasoning and related methods is presented.
  Tableau methods offer a convenient and flexible set of tools for
  automated reasoning in classical logic, extensions of classical
  logic, and a large number of non-classical logics. For large groups
  of logics, tableau methods can be generated automatically.  Areas
  of application include verification of software and computer
  systems, deductive databases, knowledge representation and its
  required inference engines, teaching, and system diagnosis.
* INVITED SPEAKERS
  - Carlos Areces (FaMAF - Universidad Nacional de Cordoba, Argentina)
  - Wolfgang Bibel (Technische Universitat Darmstadt, Germany)
    (TABLEAUX anniversary session)
  - Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP)
  - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
    (TABLEAUX/FroCoS/ITP)
  - Reiner Hahnle (Technische Universitat Darmstadt, Germany) (TABLEAUX
    anniversary session)
  - Cezary Kaliszyk (Universitat Innsbruck, Austria) 
    (TABLEAUX/FroCoS/ITP)
* ACCEPTED PAPERS
  See http://tableaux2017.cic.unb.br/#accepted
* PROGRAM CHAIRS
  Claudia Nalon, University of Brasilia, Brazil
  Renate Schmidt, The University of Manchester, UK
* REGISTRATION
  For more information visit tableaux2017.cic.unb.br/#registration
  Early registration until 4th August
  Late registration until 2nd September


11th INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING
SYSTEMS (FroCoS 2017)
  Call for Participation
  Brasilia, Brazil - 27-29 September 2017
  Co-located with TABLEAUX 2017 and ITP 2017
  Workshops and Tutorials: 23-25 September 2017
  http://frocos2017.cic.unb.br
* The main goal of the symposium is to disseminate and promote
  progress in research areas related to the development of techniques
  for the integration, combination, and modularization of formal
  systems together with their analysis.  In various areas of computer
  science, such as logic, computation, program development and
  verification, artificial intelligence, knowledge representation, and
  automated reasoning, there is an obvious need for using specialized
  formalisms and inference systems for selected tasks. To be usable in
  practice, these specialized systems must be combined with each other
  and integrated into general purpose systems. This has led---in many
  research areas---to the development of techniques and methods for
  the combination and integration of dedicated formal systems, as well
  as for their modularization and analysis.
* INVITED SPEAKERS
  - Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP)
  - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
    (TABLEAUX/FroCoS/ITP)
  - Cezary Kaliszyk (University of Innsbruck, Austria) 
    (TABLEAUX/FroCoS/ITP)
  - Cesare Tinelli (University of Iowa, USA)
  - Renata Wassermann (University of Sao Paulo, Brazil)
* ACCEPTED PAPERS
  See http://frocos2017.cic.unb.br/#accepted
* PROGRAM COMMITTEE CHAIRS
  Clare Dixon, University of Liverpool, UK
  Marcelo Finger, Universidade de Sao Paulo, Brazil
* REGISTRATION
  For more information visit frocos2017.cic.unb.br/#registration
  Early registration until 4th August
  Late registration until 2nd September
  

8th INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING (ITP 2017)
  Call for Participation
  Brasilia, Brazil - 26-29 September 2017
  Co-located with TABLEAUX 2017 and FroCoS 2017
  Workshops and Tutorials: 23-25 September 2017
  http://itp2017.cic.unb.br
* The ITP conference series is concerned with all topics related to
  interactive theorem proving, ranging from theoretical foundations to
  implementation aspects and applications in program verification,
  security, and formalization of mathematics. ITP is the evolution of
  the TPHOLs conference series to the broad field of interactive theorem
  proving. TPHOLs meetings took place every year from 1988 until 2009.
* INVITED SPEAKERS
  - Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP)
  - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
    (TABLEAUX/FroCoS/ITP)
  - Moa Johansson (Chalmers University of Technology, Sweden)
  - Cezary Kaliszyk (University of Innsbruck, Austria) 
    (TABLEAUX/FroCoS/ITP)
  - Leonardo de Moura (RISE, Microsoft Research)
* ACCEPTED PAPERS
  See http://itp2017.cic.unb.br/#accepted
* PROGRAM CHAIRS
  Mauricio Ayala-Rincon, University of Brasilia
  Cesar Munoz, NASA
* REGISTRATION
  For more information visit itp2017.cic.unb.br/#registration
  Early registration until 4th August
  Late registration until 2nd September


15th INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND 
MATHEMATICS (ISAIM 2018)
  Call for Papers
  January 3-5, 2018, Fort Lauderdale FL, USA
  http://isaim2018.cs.virginia.edu
* The International Symposium on Artificial Intelligence and
  Mathematics (ISAIM) is a biennial meeting that fosters interactions
  between mathematics, theoretical computer science, and artificial
  intelligence.  This is the fifteenth Symposium in the series, which
  is sponsored by Annals of Mathematics and Artificial Intelligence.
  We seek submissions of recent results with particular emphasis on
  the foundations of AI and mathematical methods used in AI.  Papers
  describing applications are also encouraged, but the focus should be
  on principled lessons learned from the development of the
  application.  Traditionally, the Symposium attracts participants
  from a variety of disciplines, thereby providing a unique forum for
  scientific exchange. The three-day Symposium includes invited
  speakers, presentations of technical papers, and special topic
  sessions.
* Special Topic Invited Sessions:
  - Boolean and pseudo-Boolean Functions, organized by Endre Boros, 
    Rutgers University, and Yves Crama, University of Liege
  - Formalising Robot Ethics, organized by Michael Fisher, 
    University of Liverpool, and Marija Slavkovik, University of Bergen
  - Topological Reasoning and Data Analyses, organized by Debasis Mitra,
    Florida Istitute of Technology
  - Theory of Machine Learning, organized by Lev Reyzin, 
    University of Illinois at Chicago
* IMPORTANT DATES
  Paper submission:  October   3, 2017
  Notification:      October  31, 2017
  Final version due: November 27, 2017
  Workshop:          January 3-5, 2018, Ft. Lauderdale, Florida
* Detailed Call for Papers:     
  http://isaim2018.cs.virginia.edu/cfps.html
* PROGRAM COMMITTEE CHAIRS
  Jurgen Dix and Guillermo R. Simari
* CONTACT
  isaim2018 at mail DOT cs DOT virginia DOT edu.
* Join is...@googlegroups.com to receive announcements related to ISAIM.


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
* INVITED SPEAKERS
 - Brigitte Pientka (McGill University, Canada)
 - René Thiemann (University of Innsbruck, Austria)
* PROGRAM CO-CHAIRS
 - June Andronick (Data61, CSIRO and UNSW, Australia)
 - Amy Felty (University of Ottawa, Canada)


10th SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS
(FoIKS 2018)
  Call for papers
  May 14-18, 2018, Alfred Renyi Institute of Mathematics,
  Budapest, Hungary
  http://2018.foiks.org/
* FoIKS 2018 solicits original contributions dealing with any
  foundational aspect of information and knowledge systems. This
  includes submissions that apply ideas, theories or methods from
  specific disciplines to information and knowledge systems. Examples
  of such disciplines are discrete mathematics, logic and algebra,
  model theory, information theory, complexity theory, algorithmics
  and computation, statistics and optimization.
* The FoIKS symposia are a forum for intense discussions. Speakers
  will be given sufficient time to present their ideas and results
  within the larger context of their research; furthermore,
  participants will be asked to prepare a first response to another
  contribution in order to initiate discussion.
* INVITED SPEAKERS
  Laura Kovacs (TU Wien),
  Sebastian Link (Auckland Univ.),
  David Pearce (TU Madrid),
  Bernhard Thalheim (Christian-Albrechts Univ. Kiel)
* Scientific Sponsors: ALP, EATCS, Vienna Center for Logic and Algorithms
* IMPORTANT DATES
  Abstract submission due: November 24, 2017;
  Paper submission: December 01, 2017;
  Notification: February 02, 2018
* Detailed information can be found on the webpage: http://2018.foiks.org/


POST-DOC POSITION AT TU DORTMUND
* At TU Dortmund University, we are looking for talented and motivated
  post-doctoral researchers (or PhD students) interested in joining
  the project Dynamic Expressiveness of Logics, which is funded by the
  Deutsche Forschungsgemeinschaft (DFG).
* The opening is in the working group of Thomas Schwentick.
* The position is limited to two years, until 30.09.2019, and does not
  involve teaching obligations.
* The official, complete job opening is available at
  https://service.tu-dortmund.de/documents/18/2120797/Research+Assistant+(Ref=
  .-Nr.+w45-17)/ade04a70-99ab-46fb-8dbf-fc129ac24d06?version=3D1.0
* Interested? Please do not hesitate to contact us:
  TU Dortmund, Dept. of Computer Science
  Chair I - Logic in Computer Science
  Thomas Schwentick
  Otto-Hahn-Str. 12
  44227 Dortmund
  Germany


POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING
LANGUAGES
* Applications are invited for a postdoctoral position beginning
  October 1, 2017 and running through November 30, 2018. The position
  is in the Department of Computer Science at Tulane University, and
  will be under the supervision of Professor Michael Mislove.
* The successful applicant will work on a project entitled
  "Semantics, Formal Reasoning, and Tool Support for Quantum
  Programming". The project involves designing high-level semantic
  models and tools to support quantum functional programming
  languages. A prototype language is Proto-Quipper, which has been
  under development (http://www.mathstat.dal.ca/~selinger/quipper/
  ). This language uses the circuit model for quantum computation, and
  envisions languages that support quantum computation under classical
  control. The overall aim is to design type-safe functional
  programming languages for quantum computing. The project also
  involves developing the meta-theory (including categorical
  semantics) of such languages, and eventually to formalize some of
  the meta-theory in a proof assistant.  The focus of the Tulane work
  is modeling recursion in such languages, which requires developing
  quantum domain theory, but interactions with other aspects of the
  project are expected.
* Familiarity with programming language design, and / or semantics
  is a prerequisite of the position. The latter includes categorical
  semantics and domain theory. A good knowledge of category theory is
  also a prerequisite. Of course, familiarity with quantum computing
  is helpful. Additional components of the project will address issues
  around quantum information such as non-locality and contextuality,
  adapting proof assistants (Coq, Agda, Lean, etc) to develop
  automated verification for quantum programming languages.
* To apply for one of this position, direct your browser to the link:
  https://apply.interfolio.com/41053
* Funding for the project comes from the DOD and the U.S. Air Force
  Office of Scientific Research.


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: vejon...@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.





You are subscribed to the lics mailing list because you have signed up for it 
in the past.

Submissions to the newsletter:
Send an email to las-lics@lists.tu-berlin.de.

Unsubscribe:
To unsubscribe, please send an email to las-lics-requ...@lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').

Subscribe:
To subscribe,  please send an email to las-lics-requ...@lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').

Reply via email to