SIGLOG Monthly 200
July 4, 2018

*******************************************************************
* 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 2018 ALONZO CHURCH AWARD
  FLoC 2018 - Last Joint Call for Workshop Participation
  ACM SIGLOG Announcement
  EATCS Bulletin - Call for abstracts
  WINNERS OF THE VCLA INTERNATIONAL STUDENT AWARDS 2018
* DEADLINES
  Forthcoming Deadlines
* CALLS
  POPL 2019 - Call for Papers
  LearnAut 2018 - Call for Participation
  DL 2018 - Final Call for Papers (extended deadlines)
  CCC 2018 - Call for papers
  CSL 2018 - Call for Participation
  TPS SUMMER SCHOOL ON PROOF THEORY - Call For Participation
  SAS 2018 - Call for Participation
  MLCSB2018 - Call for Papers
  COMPUTING AND PROGRAMMING IN CONTEXT - Call for Papers
  FSEN 2019 - Call for Papers
* JOB ANNOUNCEMENTS
  PHD POSITIONS - LOGICS DOCTORAL COLLEGE IN AUSTRIA
  PHD/POSTDOC OPPORTUNITIES IN THE FORA EUROPEAN TRAINING NETWORK
  MASTER IN PURE AND APPLIED LOGIC
  M.SC. PROGRAM IN NLP AND DATA SCIENCE - UNIVERSITE DE LORRAINE, FRANCE


WINNERS OF THE 2018 ALONZO CHURCH AWARD
* The 2018 Alonzo Church Award for Outstanding Contributions to Logic
  and Computation is given jointly to Tomas Feder and Moshe Y. Vardi
  for fundamental contributions to the computational complexity of
  constraint-satisfaction problems. Their contributions appeared in
  two papers:
  1. Tomas Feder, Moshe Y. Vardi: Monotone Monadic SNP and Constraint
  Satisfaction. STOC 1993, 612-622.
  2. Tomas Feder, Moshe Y. Vardi: The Computational Structure of
  Monotone Monadic SNP and Constraint Satisfaction: A Study through
  Datalog and Group Theory. SIAM J. Comput. 28(1), 57-104 (1998).
* CONTRIBUTION SUMMARY: The Feder-Vardi project aimed at finding a
  large subclass of NP that exhibits a dichotomy (all problems are
  either in PTIME or NP-complete). The approach is to find this
  subclass via syntactic prescriptions. The paper identified a class
  of problems specified by "monotone monadic SNP without inequality",
  which may exhibit this dichotomy. Feder and Vardi justified placing
  all three restrictions by showing, using Ladner's theorem, that
  classes obtained by using only two of the above three restrictions
  do not show this dichotomy. They then explored the structure of this
  class. They show that all problems in this class reduce to the
  seemingly simpler class CSP -- Constraint Satisfaction Problems. They
  divided CSP into subclasses and tried to unify the collection of all
  known polytime algorithms for CSP problems and extract properties
  that make CSP problems NP-hard. They conjectured that the class CSP
  (and therefore, also MMSNP) also satisfy the dichotomy
  property. This became known as the Feder-Vardi Dichotomy
  Conjecture. The Dichotomy Conjecture stimulated an extensive
  research program, which culminated in 2017 in two independent
  proofs, by A. Bulatov and by D. Zhuk, of its correctness.



THE 2018 FEDERATED LOGIC CONFERENCE (FLoC'18)
  Last Joint Call for Workshop Participation
  6-19 July 2018
  Oxford, UK
  http://www.floc2018.org/workshops
* The seventh Federated Logic Conference (FLoC'18) will be held in
  Oxford, UK, in July 2018, at the Mathematical Institute and the
  Blavatnik School of Government at the University of Oxford.
* In addition to nine major international conferences related to
  mathematical logic and computer science (CAV, CSF, FM, FSCD, ICLP,
  IJCAR, ITP, LICS and SAT), FLoC 2018 will feature 79 workshops
  arranged in three segments:
  - Pre-FLoC: Sat 7 - Sun 8 (workshops related to CSF, FSCD, ITP, LICS
    and SAT),
  - Mid-FLoC: Wed 11 - Sat 14 (workshops related to CAV, ICLP, IJCAR,
    ITP and LICS),
  - Post-FLoC: Wed 18 - Thu 19 (workshops related to FM, CAV, ICLP and
    IJCAR).
* REGULAR REGISTRATION CLOSES on 25th June 2018.
  ON SITE REGISTRATION will be possible during the conference.
  It is imperative that you BOOK ACCOMMODATION ASAP to avoid
  disappointment.
* Website: http://www.floc2018.org/
  Conference and workshops programme now live:
  https://easychair.org/smart-program/FLoC2018/index.html
  Registration: http://www.floc2018.org/register/
  Accommodation: http://www.floc2018.org/accommodation/
  Registration for a workshop day means you can attend any other
  workshop on the same day. Workshop registration includes lunches and
  coffee breaks
*** PRE-FLoC WORKSHOPS (SATURDAY 7 - SUNDAY 8 JULY)
* 32nd International Workshop on Unification (UNIF 2018), 7 July
  http://unif2018.cic.unb.br/
* 7th International Workshop on Confluence (IWC 2018), 7 July
  http://cl-informatik.uibk.ac.at/events/iwc-2018/
* 7th International Workshop on Classical Logic and Computation (CL&C
  2018), 7 July
  http://www.di.unito.it/~stefano/CL&C/CL&C18.htm
* Higher-Dimensional Rewriting and Algebra (HDRA 2018), 7 July
  http://hdra.gforge.inria.fr/
* International Workshop on Logical Frameworks and Meta-Languages:
  Theory and Practice (LFMTP 2018), 7 July
  http://lfmtp.org/workshops/2018/
* 7th International Workshop on the Cross-Fertilization Between CSP
  and SAT (CSPSAT 2018), 7 July
  http://sysrun.haifa.il.ibm.com/hrl/cspsat2018/
* Pragmatics of SAT (PoS 2018), 7 July
  http://www.pragmaticsofsat.org/2018/
* Twenty Years of Deep Inference (TYDI 2018), 7 July
  https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html
* 10th International Workshop on Computing with Terms and Graphs
  (TERMGRAPH 2018), 7 July
  https://nms.kcl.ac.uk/maribel.fernandez/TERMGRAPH.html
* Syntax and Semantics of Low-Level Languages (LOLA 2018), 7 July
  https://cs.appstate.edu/~johannp/lola18/
* 9th Workshop on Higher Order Rewriting (HOR 2018), 7 July
  https://lipn.univ-paris13.fr/HOR18/
* 2018 Joint Workshop on Linearity & TLLA (5th International Workshop
  on Linearity and 2nd Workshop on Trends in Linear Logic and
  Applications), 7-8 July
  http://lipn.univ-paris13.fr/TLLALinearity18/
* Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF
  2018), 7-8 July
  https://hott-uf.github.io/2018/
* Game Semantics 25, 7-8 July
  http://www.gamesemantics.org/game-semantics-25
* Workshop on Proof Complexity (PC 2018), 7-8 July
  http://easychair.org/smart-program/PC2018/
* Programming And Reasoning on Infinite Structures (PARIS 2018), 7-8 July
  https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/
* 6th Workshop on Strategic Reasoning (SR 2018), 7-8 July
  http://projects.lsv.fr/sr18/
* Workshop in honour of Dana Scott's 85th birthday and 50 years of
  domain theory, 7-8 July
  https://andrejbauer.github.io/domains-floc-2018/
* 5th Workshop on Natural Language and Computer Science (NLCS 2018),
  7-8 July
  http://www.indiana.edu/~iulg/nlcs.html
* 7th Workshop on Mathematically Structured Functional Programming (MSFP
  2018), 8 July
  https://msfp2018.bentnib.org/
* 5th International Workshop on Rewriting Techniques for Program
  Transformations and Evaluation (WPTE 2018), 8 July
  http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html
* The Coq Workshop 2018, 8 July
  https://coqworkshop2018.inria.fr/
* International Workshop on Quantified Boolean Formulas and Beyond (QBF
  2018), 8 July
  http://fmv.jku.at/qbf18/
* 5th International Workshop on Graphical Models for Security (GraMSec
  2018), 8 July
  http://gramsec.uni.lu/
* Women in Logic 2018, 8 July
  https://sites.google.com/site/womeninlogic2018/welcome
* 9th Workshop on Intersection Types and Related Systems (ITRS 2018),
  8 July
  https://www.irif.fr/~michele/itrs2018
* Coalgebra Now, 8 July
  http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html
* 12th International Workshop on Developments in Computational Models
  (DCM 2018), 8 July
  https://sites.google.com/g.uporto.pt/dcm18
* IFIP Working Group 1.6: Rewriting, 8 July
  http://cbr.uibk.ac.at/ifip-wg1.6/
* Workshop on Foundations of Computer Security (FCS 2018), 8 July
  http://www.andrew.cmu.edu/user/liminjia/events/fcs2018/
* Mentor Workshop 1, 8 July
  https://lics.siglog.org/lics18/lmw.php
*** MID-FLoC WORKSHOPS (WEDNESDAY 11 - SATURDAY 14 JULY)
* Satisfiability Checking and Symbolic Computation: Bridging Two
  Communities to Solve Real Problems (SC^2 2018), 11 July
  http://www.sc-square.org/CSA/workshop3.html
* IFAC Conference on Analysis and Design of Hybrid Systems (ADHS
  2018), 11-13 July
  http://www.cs.ox.ac.uk/conferences/ADHS18/
* 16th International Workshop on Satisfiability Modulo Theories (SMT
  2018), 12-13 July
  http://smt-workshop.cs.uiowa.edu/2018/
* CAV Tutorials, 13 July
  http://cavconference.org/2018/invited-speakers-tutorials/
* 7th Workshop on Logic and Systems Biology (LSB), 13 July
  http://perso.ens-lyon.fr/russell.harmer/lsb7.html
* Isabelle Workshop, 13 July
  http://sketis.net/isabelle/isabelle-workshop-2018
* 25th RCRA International Workshop on Experimental Evaluation of
  Algorithms for Solving Problems with Combinatorial Explosion, 13 July
  https://sites.google.com/a/aixia.it/rcra/rcra-2018
* 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA
  2018), 13 July
  http://forsyte.at/events/frida2018/
* 5th Vampire Workshop (Vampire 2018), 13 July
  http://easychair.org/smart-program/Vampire18/
* 19th Workshop on Logic and Computational Complexity (LCC), 13 July
  http://www.cs.swansea.ac.uk/lcc/index.html
* 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS
  2018), 13 July
  https://www.sci.unich.it/hcvs18/
* Workshop on Learning and Automata (LearnAut 2018), 13 July
  https://learnaut2018.wordpress.com/
* 1st International Workshop on Multi-objective Reasoning in
  Verification and Synthesis (MoRe 2018), 13 July
  http://math.umons.ac.be/more2018/
* Workshop on Modular Knowledge (Tetrapod), 13 July
  http://new.kwarc.info/events/Tetrapod-2018/
* First Workshop on Automated Deduction for Separation Logics (ADSL
  2018), 13 July
  http://adsl.univ-grenoble-alpes.fr/
* DMW18: Deduction Mentoring Workshop, 13 July
  http://easychair.org/smart-program/DMW18/
* Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13
  July
  http://rv4rise.conf.tuwien.ac.at/
* 13th International Workshop on User Interfaces for Theorem Provers
  (UITP 2018), 13 July
  http://www.informatik.uni-bremen.de/uitp/uitp2018/
* Verification Mentoring Workshop 2, 13 July
  http://cavconference.org/2018/verification-mentoring-workshop/
* Summit on Machine Learning Meets Formal Methods, sponsored by the Alan
  Turing Institute, 13 July
  http://www.floc2018.org/summit-on-machine-learning/
* 4th Workshop on Formal Integrated Development Environment (F-IDE
  2018), 14 July
  https://sites.google.com/view/fideworkshop2018
* 16th International Workshop on Quantitative Aspects of Programming
  Languages and Systems (QAPL 2018), 14 July
  http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2018/
* 16th Overture Workshop: New Capabilities and Applications for
  Model-based Systems Engineering, 14 July
  http://overturetool.org/workshops/16th-Overture-Workshop.html
* FM Doctoral Symposium, 14 July
  http://www.fm2018.org/doctoral-symposium/
*** POST-FLoC WORKSHOPS (WEDNESDAY 18 - THURSDAY 19 JULY)
* 18th Refinement Workshop, 18 July
  http://www.refinenet.org.uk/
* 1st International Workshop on Parallel Logical Reasoning (PLR), 18 July
  https://antonwijs.wixsite.com/plr2018
* 7th Workshop on Synthesis (SYNT 2018), 18 July
  http://synt2018.seas.ucla.edu
* Theorem Prover Components for Educational Software (ThEdu 2018), 18 July
  http://www.uc.pt/en/congressos/thedu/thedu18
* TLA+ Community Event 2018, 18 July
  http://tla2018.loria.fr/
* Workshop on Answer Set Programming and Other Computing Paradigms
  (ASPOCP 2018), 18 July
  https://sites.google.com/site/aspocp2018/
* International Conference on Logical Programming - Doctoral Consortium
  (ICLP - DC 2018), 18 July
  http://easychair.org/smart-program/ICLP-DC2018/
* 16th International Colloquium on Implementation of Constraint and
  Logic Programming Systems (CICLOPS 2018), 18 July
  https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/
* 3rd International Workshop on Automated Reasoning in Quantified
  Non-Classical Logics (ARQNL 2018), 18 July
  http://iltp.de/ARQNL-2018/
* Workshop on Logic and Practice of Programming (LPoP 2018), 18 July
  http://lpop.cs.stonybrook.edu/
* 13th International Workshop on Constraint Based Methods in
  Bioinformatics (WCB 2018), 18 July
  http://clp.dimi.uniud.it/wcb/wcb18/
* International Workshop on the Verification and Validation of
  Autonomous Systems (VaVAS), 18-19 July
  http://cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/
* 16th International Workshop on Termination (WST 2018), 18-19 July
  http://wst2018.webs.upv.es/
* MLP18: Machine Learning for Programming, 18-19 July
  https://prodo.ai/mlp18
* The LaSh 2018 Workshop on Logic and Search, 18-19 July
  http://www.logicandsearch.org/LaSh2018/
* 10th Working Conference on Verified Software: Theories, Tools and
  Experiments (VSTTE 2018), 18-19 July
  http://vstte18.it.uu.se/
* 11th International Workshop on Numerical Software Verification
  (NSV-XI), 18-19 July
  https://nsv-2018.github.io/nsv2018/
* 18th International Workshop on Automated Verification of Critical
  Systems (AVOCS 2018), 18-19 July
  http://avocs18.irisa.fr/
* Logics for Reasoning about Preferences, Uncertainty, and Vagueness
  (PRUV 2018), 19 July
  http://pruv18.inf.unibz.it/
* Third Workshop on Fun With Formal Methods (FWFM 2018), 19 July
  http://persons.iis.nsk.su/en/FWFM2018
* International Workshop on External and Internal Calculi for
  Non-Classical Logics, 19 July
  http://weic2018.loria.fr/
* Robots, Morality, and Trust through the Verification Lens, 19 July
  http://qav.cs.ox.ac.uk/robots_morality_trust/
* 6th Workshop on the Practical Aspects of Automated Reasoning (PAAR
  2018), 19 July
  http://easychair.org/smart-program/PAAR-2018/
* Verification of Engineered Molecular Devices and Programs (VEMDP
  2018), 19 July
  http://dna.caltech.edu/vemdp2018/
* WORKSHOPS COMMITTEE
  General Chair: Moshe Y. Vardi
  Co-chairs: Daniel Kroening, Marta Kwiatkowska
  Workshops Chair: Gethin Norman
  Workshops Deputy Chair: Christoph Haase
  CAV: Hana Chockler
  CSF: Cas Cremers
  FM: Helen Treharne
  FSCD: Paula Severi
  ICLP: Stefan Woltran
  IJCAR: Alberto Griggio
  ITP: Assia Mahboubi
  LICS: Patricia Bouyer
  SAT: Martina Seidl



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 have recently started 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 15th of the previous month, for instance, Jan
  15, 2018 for the Feb issue of 2018. 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.



WINNERS OF THE VCLA INTERNATIONAL STUDENT AWARDS 2018
  http://www.vcla.at/2018/05/third-edition-of-the-vcla-international-student-awards-2018/
* The VCLA International Student Awards Committee is pleased to
  announce the recipients of the VCLA International Student Awards
  2018. The award ceremony will take place on July 14, at FLoC Olympic
  Games.
  - Outstanding Master Thesis Award:
  Jeremy Liang An Kong (Imperial College London, United Kingdom)
  - Outstanding Undergraduate Thesis Award:
  Tomas Lamser (Masaryk University in Brno, Czech Republic)
* The award committee is dedicating the VCLA International Student
  Awards to the memory of Helmut Veith, the brilliant computer
  scientist who tragically passed away in March 2016, and aims to
  carry on his commitment to promoting young talent and promising
  researchers in these areas.



DATES
* POPL 2019
  Call for Papers
  January 16-18, 2019. Lisbon, Portugal
  https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers
  Submission deadline: Wed 11 Jul 2018
* LearnAut 2018
  Call for Participation
  Oxford, UK, July 13 2018
  https://learnaut2018.wordpress.com/
  A workshop at the Federated LOgic Conference (FLoC)
* DL 2018
  Final Call for Papers (extended deadlines)
  October 26-29, 2018 - Tempe, Arizona, US
  http://dl.kr.org/dl2018/
  Paper registration due July 14, 2018
* CCC 2018
  Call for papers
  Faro (Portugal), 24-28 September 2018
  http://cid.uni-trier.de/ccc-2018-continuity-computability-constructivity-
from-logic-to-algorithms-faro-portugal-september-24-28-2018/
  Deadline: July 15, 2018
* CSL 2018
  Call for Participation
  4-7 September 2018,  Birmingham, UK
  http://events.cs.bham.ac.uk/csl18/
* TPS SUMMER SCHOOL ON PROOF THEORY
  Call For Participation
  The Proof Society
  Ghent, September 2-5, 2018
  http://www.proofsociety.org/summer-school-2018/
  Deadline for registration: July 15, 2018
* SAS 2018
  Call for Participation
  Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
  http://staticanalysis.org/sas2018
* INTERNATIONAL SYMPOSIUM ON MOLECULAR LOGIC AND COMPUTATIONAL SYNTHETIC
  BIOLOGY (MLCSB 2018)
  Call for Papers
  December, 17-18, 2018, Santiago de Chile, Chile
  http://mlcsb2018.web.ua.pt
  Full paper deadline: 15 September 2018;
* COMPUTING AND PROGRAMMING IN CONTEXT
  Call for Papers
  Special Issue in the journal Philosophy and Technology (Springer)
  Deadline for paper submissions: 1 October 2018
  https://www.shift-society.org/hapop4/special-issue.html
* FSEN 2019
  Call for Papers
  Tehran, Iran, May 1-3, 2019
  http://fsen.ir/2019
  Paper Submission: October 28, 2018 (AoE)



46TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES OF PROGRAMMING
LANGUAGES (POPL 2019)
  Call for Papers
  January 16-18, 2019. Lisbon, Portugal
  https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers
* The annual Symposium on Principles of Programming Languages is a
  forum for the discussion of all aspects of programming languages and
  programming systems. We seek submissions that make principled,
  enduring contributions to the theory, design, understanding,
  implementation or application of programming languages.
* Co-located events run from January 13th through January 19th.
* POPL is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and
  ACM SIGLOG.
* IMPORTANT DATES
  (by the end of the day, anywhere on earth, i.e. UTC-12h)
  Submission deadline: Wed 11 Jul 2018
  Start of rebuttal period: Mon 17 Sep 2018
  End of rebuttal period: Thu 20 Sep 2018
* New this year
  Page limit is 25 pages (excluding references)
  Distinguished paper awards (at most 10% of papers)
* Other details
  All papers accepted to POPL 2019 will be published as part of the
  ACM Gold Open Access journal, Proceedings of the ACM on Programming
  Languages (PACMPL).
* Submission guidelines
  Submissions are in the PACMPL format, 25pp limit.
  http://www.sigplan.org/Resources/Author/
  Submissions are via HotCRP.
  https://popl19.hotcrp.com/



WORKSHOP ON LEARNING AND AUTOMATA (LEARNAUT 2018)
  Call for Participation
  Oxford, UK, July 13 2018
  https://learnaut2018.wordpress.com/
  A workshop at the Federated LOgic Conference (FLoC)
* The goal of this workshop is to bring together experts on logic who
  could benefit from grammatical inference tools, and researchers in
  grammatical inference who could find in logic and verification new
  fruitful applications for their methods.
* INVITED SPEAKERS
  George Argyros (Columbia University): The Learnability of Symbolic
  Automata
  Alexander Clark (King's College London); Weak and Strong learning of
  Probabilistic Context-Free Grammars: theoretical and empirical
  perspectives
  Kousha Etessami (University of Edinburgh): Algorithms for Weighted
  and Probabilistic Context-Free Grammars and Convex Optimization
  Doina Precup (McGill University and  DeepMind): TBA
* ORGANIZERS
  Remi Eyraud (Aix-Marseille Université)
  Jeffrey Heinz (Stony Brook University)
  Guillaume Rabusseau (McGill University)
  Matteo Sammartino (University College London)



31st INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL 2018)
  Final Call for Papers (extended deadlines)
  October 26-29, 2018 - Tempe, Arizona, US
  http://dl.kr.org/dl2018/
* Invited Speakers
  Lidia Tendera (University of Opole, Poland)
  Denny Vrandecic (Google LLC, USA)
  Renata Wassermann (University of Sao Paulo, Brazil), jointly with
  NMR 2018
* The DL workshop is the major annual event of the description logic
  research community. It is the forum at which those interested in
  description logics, both from academia and industry, meet to discuss
  ideas, share information and compare experiences. The 31st edition
  will be held in Tempe, Arizona, US from October 26th to October
  29th, 2018, collocated with the 16th International Conference on
  Principles of Knowledge Representation and Reasoning (KR 2018).
* We invite contributions on all aspects of description logics,
  including but not limited to: foundations, extensions, integration
  with other formalisms, applications and use areas, systems and
  tools.
* IMPORTANT DATES:
  Paper registration due July 14, 2018;
  Paper submission July 21, 2018;
  Notification September 14, 2018;
  Camera-ready copies due October 4, 2018;
  Workshop dates October 26-29, 2018.
  We have extended the submission deadlines beyond the KR notification
  date.  The schedule is now tight; hence NO FURTHER DEADLINE
  EXTENSIONS will be possible.
* Submission instructions: see http://dl.kr.org/dl2018/
* Organization: Magdalena Ortiz, TU Wien, Austria (program co-chair);
  Thomas Schneider, University of Bremen, Germany (program co-chair);
  Michael Zakharyaschev, Birkbeck, University of London, UK (general
  chair)
* Official description logic homepage: http://dl.kr.org/



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY
-  FROM LOGIC TO ALGORITHMS (CCC 2018)
  Call for papers
  Faro (Portugal), 24-28 September 2018
  http://cid.uni-trier.de/ccc-2018-continuity-computability-constructivity-
from-logic-to-algorithms-faro-portugal-september-24-28-2018/
* SCOPE:
  The workshop specifically invites contributions in the areas of
  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:
  Vasco Brattka (Munich, Germany)
  Akitoshi Kawamura (Fukuoka, Japan)
  Jaap van Oosten (Utrecht, Netherlands)
  Warwick Tucker (Uppsala, Sweden)
* TUTORIAL SPEAKER:
  Martin Ziegler (Daejeon, South Korea)
* IMPORTANT DATES
  Deadline for extended abstracts: 15 July 2018
* PROGRAMME CHAIRS:
  Daniel Graca (Faro) (co-chair)
  Dieter Spreen (Siegen) (co-chair).



COMPUTER SCIENCE LOGIC (CSL 2018)
  Call for Participation
  4-7 September 2018,  Birmingham, UK
  http://events.cs.bham.ac.uk/csl18/
* 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.
* INVITED SPEAKERS
  Bob Coecke (University of Oxford)
  Emmanuel Filiot (Universite Libre de Bruxelles)
  Catuscia Palamidessi (Ecole Polytechnique)
  Christine Tasson (Universite Paris Diderot)
  Szymon Torunczyk (Uniwersytet Warszawksi)
* ACCEPTED PAPERS
  http://events.cs.bham.ac.uk/csl18/acceptedpapers/
* Program Chairs
  Dan R. Ghica, University of Birmingham
  Achim Jung, University of Birmingham



1ST INTERNATIONAL SUMMER SCHOOL ON PROOF THEORY
(TPS SUMMER SCHOOL ON PROOF THEORY)
  Call For Participation
  The Proof Society
  Ghent, September 2-5, 2018
  http://www.proofsociety.org/summer-school-2018/
* The 1st International Summer School for Proof Theory in Ghent is
  arranged under the auspices of The Proof Society, and is sponsored
  by the Kurt Goedel Society.  The Proof Society has recently been
  formed to support the notion of proof in its broadest sense, through
  a series of suitable activities; to be therefore inclusive in
  reaching out to all scientific areas which consider proof as an
  object in their studies; to enable the community to q shape its
  future by identifying, formulating and communicating its most
  important goals; to actively promote proof to increase its
  visibility and representation.
* The aim of the summer school is to cover basic and advanced topics
  in proof theory.  The focus of the first edition will be on
  structural proof theory, ordinal analysis, provability logic,
  automated theorem proving, and philosophical aspects of proof.
  Other areas like reverse mathematics, proof mining, and proof
  complexity will be covered at the colocated workshop, and in follow
  up summer schools.
* The intended audience is advanced master students, PhD students,
  postdocs and experienced researchers in mathematics, computer
  science and philosophy.
* The summer school is co-located with a workshop on proof theory in
  Ghent (6-7 September).  The workshop will be the inaugural meeting
  of The Proof Society.
  http://www.proofsociety.org/workshop-2018/
* Deadline for registration: July 15, 2018
* SCIENTIFIC PROGRAMME: The summer school will provide six courses:
  Cut Elimination by Matthias Baaz (TU Wien)
  Ordinals and their applications by Andreas Weiermann (Ghent University)
  Philosophy of Proof Theory by Carlo Nicolai (King's College London)
  Provability Logic by David Fernandez Duque (Ghent University)
  Proof Theory in Computer Science by Andrei Voronkov (University of
    Manchester)
  Programme Extraction by Monika Seisenberger (Swansea University)
  In addition there will be one special evening lecture:
  Selected topics from the Theory of Truth by Rafal Urbaniak (Ghent
    University)



25TH STATIC ANALYSIS SYMPOSIUM (SAS 2018)
  Call for Participation
  Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
  http://staticanalysis.org/sas2018
* REGISTRATION
  http://staticanalysis.org/sas2018/registration.html
* STUDENT GRANTS
  A limited number of students grants will be available. The grant will
  cover the cost for lodging during the conference and a contribution to
  travel expenses. For further information, please send an informal
  email to the PC Chair via sas2018-0@easychair.org.
* TOPICS
  The technical program for SAS 2018 will consist of invited
  lectures and presentations of refereed papers. Contributions are
  welcomed on all aspects of static analysis, including, but not
  limited to: Abstract domains; Abstract interpretation; Automated
  deduction; Data flow analysis; Debugging; Deductive methods;
  Emerging applications; Model checking; Program optimization and
  transformation; Program synthesis; Program verification; Security
  analysis; Tool environments and architectures; Theoretical
  frameworks; Type checking.
* IMPORTANT DATES
  Full paper submission: April 13th, 2018 (anywhere on earth)
  Artifact submission: April 20th, 2018 (anywhere on earth)
  Notification: June 5th, 2018
  Final version due: July 6th, 2018
  Conference: August 29th-August 31st, 2018
* INVITED TALKS
  Aws Albarghouthi (University of Wisconsin-Madison, USA)
  Program Fairness through the Lens of Formal Methods
  Zak Kincaid (Princeton University, USA)
  Non-linear Invariant Generation via Recurrence Analysis
  Ruzica Piskac (Yale University, USA)
  Firewall Repair and Verification of Configuration Files
  Sharon Shoham (Tel Aviv University, Israel)
  Verification of Distributed Systems Using First-Order Logic
* INVITED TUTORIALS
  Roberto Bagnara (University of Parma/BUGSENG, Italy)
  Ken McMillan (Microsoft Research, USA),
  Oded Padon (Tel Aviv University, Israel)
  Peter O'Hearn (University College London/Facebook, UK)
* ACCEPTED PAPERS
  The list of accepted papers is available at:
  http://staticanalysis.org/sas2018/accepted.html
* AFFILIATED EVENTS
  - 9th Workshop on Static Analysis and Systems Biology (SASB 2018)
    Chairs: Tatjana Petrov (University of Konstanz, Germany) and
    Ankit Gupta (ETH Zurich, Switzerland)
  - 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018)
    Chair: Fausto Spoto (University of Verona/Julia Srl, Italy)
* PROGRAM CHAIR
  Andreas Podelski (University of Freiburg, Germany)



INTERNATIONAL SYMPOSIUM ON MOLECULAR LOGIC AND
COMPUTATIONAL SYNTHETIC BIOLOGY (MLCSB2018)
  Call for Papers
  December, 17-18, 2018, Santiago de Chile, Chile
  http://mlcsb2018.web.ua.pt
* Synthetic biology aims at the design of biological systems in a
  systematic way, a process whose hallmark characteristics closely
  resemble the composition of software: off-the-shelf parts and
  devices with standard connections, the usual ingredients for
  assembling components into increasingly complex systems.  This
  Symposium aims at harnessing logical and algebraic methods for
  modelling and verifying systems on the interaction of Nature and
  Computation, around two main themes:
  - development of biological computation models and devices
  - application of new computing paradigms to the design of biological systems.
* The workshop is promoted by the project Klee - Coalgebraic Modeling
  and Analysis for Computational Synthetic Biology, a RD project
  supported by the Portuguese Foundation for Science and Technology
  (http://klee.di.uminho.pt)
* PROGRAM CHAIRS
  Madalena Chaves (Inria, France) and Manuel
  A. Martins (U. Aveiro, Portugal)
* INVITED SPEAKERS
  Marta Kwiatkowska (U. Oxford, U.K);
  Hidde de Jong (Inria, Grenoble, France) and
  Alexandre Madeira (U. Minho, Portugal)
* IMPORTANT DATES
  Abstract deadline: 8 September 2018;
  Full paper deadline: 15 September 2018;
  Author notification: 15 October 2018;
  Camera ready: 30 October 2018
* Detailed information can be found on the webpage.



COMPUTING AND PROGRAMMING IN CONTEXT - THE INTERPLAY
BETWEEN LOGIC, SCIENCE, TECHNOLOGY AND SOCIETY
  Call for Papers
  Special Issue in the journal Philosophy and Technology (Springer)
  Deadline for paper submissions: 1 October 2018
  https://www.shift-society.org/hapop4/special-issue.html
* This special issue follows the recent HaPoC 2017 (Brno) and HaPoP
  2018 (Oxford) events but is open to submissions not presented at the
  aforementioned conferences.
* IMPORTANT DATES
  Deadline for paper submissions is 1 October 2018
* For details:
  https://www.shift-society.org/hapop4/special-issue.html



EIGHTH INTERNATIONAL CONFERENCE ON FUNDAMENTALS OF SOFTWARE
ENGINEERING 2019 - THEORY AND PRACTICE (FSEN '19)
  Tehran, Iran
  May 1-3, 2019
  http://fsen.ir/2019
* ABOUT FSEN: The topics of interest cover all aspects of formal
  methods, especially those related to advancing the application of
  formal methods in the software industry and promoting their
  integration with practical engineering techniques.  For further
  details see http://fsen.ir/2019
* IMPORTANT DATES
  Abstract Submission (optional): October 19, 2018 (AoE)
  Paper Submission: October 28, 2018 (AoE)
  Notification: December 18, 2018
  Final pre-Conference Version: January 20, 2019 (AoE)
  Conference: May 1-3, 2019
* KEYNOTE SPEAKERS
  Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy
  Giovanna Di Marzo Serugendo, University of Geneva, Switzerland
  Martin Wirsing, LMU Munich, Germany
* PROGRAM CHAIRS
  Hossein Hojjat - Rochester Institute of Technology, USA
  Mieke Massink - CNR-ISTI Pisa, Italy



PHD POSITIONS - LOGICS DOCTORAL COLLEGE IN AUSTRIA
WITH A SPECIAL CALL FOR WOMEN IN COMPUTER SCIENCE BY
LOGICAL METHODS IN COMPUTER SCIENCE
  Website: http://logic-cs.at/phd/
* We are looking for 16 doctoral students, where 30% of the
  positions are reserved for highly qualified female candidates. TU
  Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
  motivated students for the joint doctoral program on Logical Methods
  in Computer Science (LogiCS).  LogiCS has been established in 2014
  and currently includes 41 students. The doctoral positions are
  funded for a period of 4 years according to the funding scheme of
  the Austrian Science Fund (details:
  http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/).
  Additional positions will be available through other funding.
* THE PROGRAM
  LogiCS focuses on logic and its applications in computer
  science. Successful applicants will work on interdisciplinary research
  topics covering
  (i) computational logic,
  (ii) databases and artificial intelligence,
  (iii) computer-aided verification, and
  (iv) emerging application domains, such as cyber-physical systems,
       distributed systems, and security and  privacy.
* FACULTY MEMBERS: Students are supervised by leading researchers in
  their fields. Details are provided on:
  http://logic-cs.at/phd/faculty/
* Applications will be screened on the following dates:
  July 1, 2018
  September 1, 2018
  September 15, 2018
  The positions will be filled on continuous basis till October 2018.
  Detailed information: http://logic-cs.at/phd/admission/
* For further information please contact: info@logic-cs.at



PHD/POSTDOC OPPORTUNITIES IN THE FORA EUROPEAN TRAINING NETWORK
  (4 universities and 3 companies from Sweden, Denmark, Austria and
  Germany)
* FORA: Fog Computing for Robotics and Industrial Automation
  (fora-etn.eu) is a European Training Network (ETN), which will fund
  and train 15 PhD candidates in the area of Fog Computing, during the
  period 2017-2021, see http://www.fora-etn.eu/about-fora/ Fog
  Computing, also sometimes called Edge Computing, brings the Cloud
  ``closer to the ground'', to the edge of the network.
* FORA's research program focuses on: a reference system architecture
  for Fog Computing; resource management mechanisms and middleware for
  deploying mixed-criticality applications in the Fog; safety and
  security assurance; service-oriented application modeling and
  real-time machine learning, see
  http://www.fora-etn.eu/research-objectives/
* The consortium is formed of 4 universities and 3 companies from
  Sweden, Denmark, Austria and Germany, and has associated partners
  also in Silicon Valley, USA. The partners in the project are:
  Technical University of Denmark (DTU),Vienna University of
  Technology (TU Wien), Malardalen University (MDH), Technical
  University of Kaiserslautern (TUKL), TTTech, SYSGO and ABB. The
  associated partners: Danfoss Power Electronics (DANFOSS), Danish
  Technological Institute (DTI), UNIBAP, Volvo Construction Equipment
  and CISCO.
* FORA was specifically designed to enhance the career prospects of
  the PhD candidates, giving them a great career in industry or
  academia. Alumni of MSCA ETNs are very positive about their
  experience: they benefit from the training, research, collaboration,
  research visits and networking in such a large ETN. FORA's PhD
  candidates will receive integrated training across key areas
  (computer science, electrical engineering, control engineering,
  industrial automation, applied mathematics and data science)
  necessary to fully realize the potential of Fog Computing for
  Industry 4.0, see the benefits: http://www.fora-etn.eu/etn-benefits/
* FORA is looking for applicants with a wide variety of backgrounds:
  on computer science (algorithms), software engineering (Cloud
  Computing, service-oriented computing, middleware, distributed
  systems), computer engineering (hardware design and computer
  architecture) and industrial automation and control (distributed
  automation, robotics, control algorithms), as well as data science
  (machine learning).
* Please read more about each position and apply at:
  http://www.fora-etn.eu/vacancies/



MASTER IN PURE AND APPLIED LOGIC
  http://www.ub.edu/masterlogic/
* The biannual two-year 'Master in Pure and Applied Logic' programme
  for 2018-2020, jointly organized by the University of Barcelona and
  by the Polytechnical University of Catalunya, is still having a few
  vacancies and open for registration.
* The Barcelona Logic Master caters in the most central aspects of
  advanced logic. Professors related to the Barcelona Master in Pure
  and Applied Logic come from various prominent Universities and
  Research Institutes in the area of Barcelona.
* As a novelty to next-year's edition we offer two Best Student
  Stipends of one-thousand euros each to be awarded by the end of the
  academic year 2018-2019/beginning of the next academic year.
* Interested students can find more information at
  http://www.ub.edu/masterlogic/.  Questions or inquiries relating to
  the master can be sent to Ramon Jansana: jansana@ub.edu.



NEW M.SC. PROGRAM IN NATURAL LANGUAGE PROCESSING (NLP)
AND DATA SCIENCE
  Universite de Lorraine, Nancy (France)
  http://institut-sciences-digitales.fr/idmc-master-degree-in-natural-
language-processing/
* The Institute of Digital science, Management and Cognition is
  opening a a new Masters Program in NLP - Computer Sciences, Speech,
  Language and Knowledge Representation
* In each semester, the program includes a hands-on project.  It ends
  with a 6-month paid internship in a company or a research lab. You
  can find the course description on the website.
* You can apply to directly enter at either the first year or second
  year level.
* Contacts
  Head of the Nancy NLP Master : Maxime Amblard
  (maxime.amblard@univ-lorraine.fr)
  Secretary : Karine Weisse (karine.weisse@univ-lorraine.fr)
  Location of the courses : Ecole des Mines
  http://www.alliance-artem.fr/
* Application
  https://ecandidat.univ-lorraine.fr



Back to the LICS web page.