SIGLOG Monthly 198
January 15, 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
  LICS 2018 - Call for Papers
  FLoC 2018 - Joint Call for Papers
  FLoC 2018 - Workshop Announcement
  THE 2018 ALONZO CHURCH AWARD - Call for Nominations
  ACKERMANN AWARD 2018 - Call for Nominations
  ACM SIGLOG Announcement
  EATCS Bulletin - Call for abstracts
* DEADLINES
  Forthcoming Deadlines
* CALLS
  NETYS 2018 - Call For Papers
  FSCD 2018 - First Call for Papers
  GaLoP 2018 - Call for submissions
  ACM CPSS'18 - Call for Papers
  CCC2017 - Second Call for submissions (postproceedings)
  CiE 2018 - Final Call for Papers
  DARe special issue - CAll for papers
  ICCI*CC'18 - Call for Papers
  WoLLIC 2018 - Call for Papers
  WiL 2018 - Call for Papers
  LOD 2018 - Call for Papers
  ICDT 2019 - Call for papers (First submission cycle)
  DCM 2018 - First Call for Papers
  CSL 2018 - First Call for Papers
  LFMTP 2018 -  First Call for Papers
  CONCUR 2018 - Call for Papers
  LC 2018 - Call for Contributions
  MINDS AND MACHINES SPECIAL ISSUE - Call for Papers
* JOB ANNOUNCEMENTS
  POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN)
  ASSISTANT PROFESSOR IN COMPUTER SCIENCE AT AUGUSTA UNIVERSITY, GEORGIA
  TWO OPEN RESEARCH POSITIONS AT TAMPERE UNIVERSITY OF TECHNOLOGY
  PHD/POSTDOC OPPORTUNITIES IN THE FORA EUROPEAN TRAINING NETWORK
  POSTDOC/PHD OPPORTUNITY AT THE UNIVERSITY OF CALIFORNIA, IRVINE
  POST-DOC POSITION AT TU DORTMUND


THIRTY-THIRD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2018)
  Call for Papers
  Part of The Federated Logic Conference, FLoC 2018,
  Oxford, UK, July 6 - 19th, 2018.
  http://lics.siglog.org/lics18/
* The LICS Symposium is an annual international forum on theoretical
  and practical topics in computer science that relate to logic,
  broadly construed.  We invite submissions on topics that fit under
  that rubric. Suggested, but not exclusive, topics of interest
  include: automata theory, automated deduction, categorical models
  and logics, concurrency and distributed computation, constraint
  programming, constructive mathematics, database theory, decision
  procedures, description logics, domain theory, finite model theory,
  formal aspects of program analysis, formal methods, foundations of
  computability, games and logic, higher-order logic, lambda and
  combinatory calculi, linear logic, logic in artificial intelligence,
  logic programming, logical aspects of bioinformatics, logical
  aspects of computational complexity, logical aspects of quantum
  computation, logical frameworks, logics of programs, modal and
  temporal logics, model checking, probabilistic systems, process
  calculi, programming language semantics, proof theory, real-time
  systems, reasoning about security and privacy, rewriting, type
  systems and type theory, and verification.
* INVITED SPEAKERS
  Thierry Coquand
  Javier Esparza
  Shafi Goldwasser
  Ursula Martin
  Val Tannen
* IMPORTANT DATES
  Titles and Short Abstracts Due: 24 January 2018
  Full Papers Due: 31 January 2018
  Author Feedback/Rebuttal Period: 14 - 18 March 2018
  Author Notification: 31 March 2018
  Early Registration Deadline: 6 June 2018
  Final Versions Due for Proceedings: TBA
  Conference: 9 - 12 July 2018
* An award in honor of the late Stephen C. Kleene will be given for
  the best student paper(s), as judged by the program committee. The
  2018 edition of the award is sponsored by the European Association
  for Theoretical Computer Science (EATCS).
* Special Issues: Full versions of up to three accepted papers, to be
  selected by the program committee, will be invited for submission to
  the Journal of the ACM. Additional selected papers will be invited
  to a special issue of Logical Methods in Computer Science.
* LICS Sponsorship
  The symposium is sponsored by ACM SIGLOG and the IEEE Technical
  Committee on Mathematical Foundations of Computing.



THE 2018 FEDERATED LOGIC CONFERENCE (FLoC 2018)
  Joint Call for Papers
  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.
* 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. FLoC
  2018 brings together nine major international conferences related to
  mathematical logic and computer science:
  - International Conference on Computer Aided Verification (CAV)
    http://cavconference.org/2018/
  - IEEE Computer Security Foundations Symposium (CSF)
    http://www.cs.ox.ac.uk/people/cas.cremers/csf2018/
  - International Symposium on Formal Methods (FM)
    http://www.fm2018.org
  - International Conference on Formal Structures for Computation and
    Deduction (FSCD)
    http://www.cs.le.ac.uk/events/fscd2018/
  - International Conference on Logic Programming (ICLP)
    https://www.cs.nmsu.edu/ALP/iclp2018/
  - International Joint Conference on Automated Reasoning (IJCAR)
    http://ijcar2018.org
  - International Conference on Interactive Theorem Proving (ITP)
    https://itp2018.inria.fr
  - Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    http://lics.siglog.org/lics18/
  - International Conference on Theory and Applications of Satisfiability
    Testing (SAT)
    http://sat2018.azurewebsites.net/
* Please refer to the individual websites for conference-specific Calls
  for Papers, deadlines and information on how to submit.
* In addition to conferences, FLoC 2018 will also feature 79 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).
* The list of workshops can be found at
  http://www.floc2018.org/workshops.  A separate call for workshop
  papers will follow in February 2018.
* IMPORTANT DATES
  Conference papers due: see individual conference webpages
  Conference papers notification: 31st March 2018
  Workshop papers due: 15th April 2018
  Workshop papers notification: 15th May 2018
  Camera-ready versions: 31st May 2018
* FLoC'18 Steering Committee
  General Chair: Moshe Y. Vardi
  Conference Co-chairs: Daniel Kroening, Marta Kwiatkowska
  CAV Representative: Orna Grumberg
  CSF Representative: Stephen Chong
  FM Representative: Ana Cavalcanti
  FSCD Representative: Luke Ong
  ICLP Representative: Torsten Schaub
  IJCAR Representative: Franz Baader
  ITP Representative: Larry Paulson
  LICS Representative: Martin Grohe
  SAT Representative: Armin Biere
  SIGLOG Representative: Prakash Panangaden
* Programme Committee Chairs
  General Chair: Moshe Y. Vardi
  Co-chairs: Daniel Kroening, Marta Kwiatkowska
  CAV: Hana Chockler, Georg Weissenbacher
  CSF: Stephen Chong, Stephanie Delaune
  FM: Jan Peleska, Bill Roscoe
  FSCD: Helene Kirchner
  ICLP: Alessandro dal Palu, Paul Tarau
  IJCAR: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
  ITP: Jeremy Avigad, Assia Mahboubi
  LICS: Martin Hofmann
  SAT: Olaf Beyersdorff, Christoph Wintersteiger



THE 2018 FEDERATED LOGIC CONFERENCE (FLoC'18)
  Workshop Announcement
  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 as many as 79
  workshops and the School on Foundations of Programming and Software
  Systems (FoPSS, 30 June - 6 July).
* The selection process for workshops is now over and the complete
  list can be found below.
*** 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
  (website coming soon)
* 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/
* LICS Mentor Workshop, 8 July
  (website coming soon)
*** Mid-FLoC workshops (Wednesday 11 - Saturday 14 July)
* 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/
* 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/
* Logic and Learning, 13 July
  http://lics.rwth-aachen.de/LoL/
* 13th International Workshop on User Interfaces for Theorem Provers
  (UITP 2018), 13 July
  http://www.informatik.uni-bremen.de/uitp/uitp2018/
* CAV Mentor Workshop, 13 July
  (website coming soon)
* Summit on Machine Learning Meets Formal Methods, sponsored by the Alan
  Turing Institute (https://www.turing.ac.uk), 13 July
  (website coming soon)
* 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
  (website coming soon)
*** 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
  (website coming soon)
* 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
* Satisfiability Checking and Symbolic Computation: Bridging Two
  Communities to Solve Real Problems (SC^2 2018), 18-19 July
  http://www.sc-square.org/CSA/workshop3.html
* 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
  (website coming soon)
* 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



THE 2018 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC
AND COMPUTATION
  Call for Nominations
  Deadline: March 1, 2018
* INTRODUCTION: An annual award, called the Alonzo Church Award for
  Outstanding Contributions to Logic and Computation, was established
  in 2015 by the ACM Special Interest Group for Logic and Computation
  (SIGLOG), the European Association for Theoretical Computer Science
  (EATCS), the European Association for Computer Science Logic
  (EACSL), and the Kurt Gödel Society (KGS). The award is for an
  outstanding contribution represented by a paper or by a small group
  of papers published within the past 25 years. This time span allows
  the lasting impact and depth of the contribution to have been
  established. The award can be given to an individual, or to a group
  of individuals who have collaborated on the research. For the rules
  governing this award, see:
  http://siglog.org/awards/alonzo-church-award/.
* The 2017 Alonzo Church Award was 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,
  see: http://siglog.org/winners-of-the-2017-alonzo-church-award/.
* ELIGIBILITY AND NOMINATIONS:
  The contribution must have appeared in a paper or papers published
  within the past 25 years. Thus, for the 2018 award, the cut-off date
  is January 1, 1993. When a paper has appeared in a conference and
  then in a journal, the date of the journal publication will
  determine the cut-off date. In addition, the contribution must not
  yet have received recognition via a major award, such as the Turing
  Award, the Kanellakis Award, or the Gödel Prize. (The nominee(s) may
  have received such awards for other contributions.) While the
  contribution can consist of conference or journal papers, journal
  papers will be given a preference.
* Nominations for the 2018 award are now being solicited. The
  nominating letter must summarise the c ontribution and make the case
  that it is fundamental and outstanding. The nominating letter can
  have multiple co-signers. Self-nominations are excluded. Nominations
  must include: a proposed citation (up to 25 words); a succinct
  (100-250 words) description of the contribution; and a detailed
  statement (not exceeding four pages) to justify the
  nomination. Nominations may also be accompanied by supporting
  letters and other evidence of worthiness.
* DEADLINE: Nominations should be submitted to
  catuscia@lix.polytechnique.fr by March 1, 2018.
* PRESENTATION OF THE AWARD The 2018 award will be presented at ICALP
  2018, the International Colloquium on Automata, Languages and
  Programming. The award will be accompanied by an invited lecture by
  the award winner, or by one of the award winners. The awardee(s)
  will receive a certificate and a cash prize of USD 2,000. If there
  are multiple awardees, this amount will be shared.
* AWARD COMMITTEE The 2018 Alonzo Church Award Committee consists of
  the following five members: Thomas Eiter, Javier Esparza, Catuscia
  Palamidessi (chair), Gordon Plotkin, and Natarajan Shankar.



ACKERMANN AWARD 2018 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
  Call for Nominations
  Deadline: 4 April 2018
  Web: http://eacsl.kahle.ch/?page_id=65
* INTRODUCTION
  Nominations are now invited for the 2018 Ackermann Award.
* ELIGIBILITY: PhD dissertations in topics specified by the CSL and
  LICS conferences, which were formally accepted as PhD theses at a
  university or equivalent institution between 1.1.2016 and 31.12.2017
  are eligible for nomination for the award.
* PRESENTATION OF THE AWARD: The 2018 Ackermann award will be presented
  to the recipient(s) at the annual conference of the EACSL, 4-7
  September 2018, in Birmingham (UK). The award consists of a
  certificate, an invitation to present the thesis at the CSL
  conference, the publication of the laudatio in the CSL proceedings,
  and travel support to attend the conference.
* JURY: The jury consists of:
    -- Christel Baier (TU Dresden);
    -- Mikolaj Bojanczyk (University of Warsaw);
    -- Anuj Dawar (University of Cambridge);
    -- Dexter Kozen (Cornell University);
    -- Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative;
    -- Luke Ong (University of Oxford);
    -- Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
    -- Thomas Schwentick (TU Dortmund) , the president of EACSL.
  The jury is entitled to give the award to more (or less) than one
  dissertation in a year.
* WHAT TO SUBMIT
  The candidate or his/her supervisor should submit
  1. the thesis (ps or pdf file);
  2. a detailed description (not longer than 20 pages) of the thesis
  in ENGLISH (ps or pdf file);
  3. a supporting letter by the PhD advisor and two supporting letters
  by other senior researchers (in English); supporting letters can
  also be sent directly to Thomas Schwentick
  (thomas.schwentick@tu-dortmund.de);
  4. a short CV of the candidate;
  5. a copy of the document asserting that the thesis was accepted as
  a PhD thesis at a recognized University (or equivalent institution)
  and that the candidate has received his/her PhD within the specified
  period.
* HOW TO SUBMIT
  The submission should be sent by e-mail as attachments to the chairman
  of the jury, Thomas Schwentick: thomas.schwentick@tu-dortmund.de, with
  -- Subject: Ackermann Award 2018 Submission
  -- Text: Name of candidate, list of attachments
* The deadline for submission is 4 April 2018.



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.



DATES
* NETYS 2018
  Call For Papers
  May 2018, Essaouira, Morocco,
  http://www.netys.net
  Deadline: January 21, 2018
* FSCD 2018
  First Call for Papers
  Oxford, UK, July 9 - 12th, 2018.
  http://fscd-conference.org/editions/fscd-2018
  Part of The Federated Logic Conference, FLoC 2018,
  Submission Deadline: January  22nd, 2018
* GaLoP 2018
  Call for Abstracts
  satellite workshop of ETAPS 2018
  Thessaloniki, Greece, 14-15 April, 2018
  http://www.gamesemantics.org
  Submission deadline: 22 January 2018
* ACM CPSS'18
  Incheon, Korea, June 4, 2018
  (in conjunction with ACM AsiaCCS'18)
  http://jianying.5gbfree.com/cpss/CPSS2018/
  Extended submission deadline:  Jan 27, 2018 (23:59 GMT)
* CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017
  Call for Submissions (Postproceedings)
  Deadline for submission 1 February 2018
* CiE 2018
  Final Call for Papers
  Kiel, Germany
  July 30 - August 3, 2018
  http://cie2018.uni-kiel.de
  Deadline for article submission: February 1, 2018
* DARe special issue
  Call for Papers
  Submission deadline: 15 February 2018
* ICCI*CC'18
  UC Berkeley, CA, USA
  July 15-18, 2018
  http://www.ucalgary.ca/icci_cc/iccicc-18
  Submission deadline: February 16, 2018
* WoLLIC 2018
  Call for Papers
  July 24th-27th, 2018, Bogota, Colombia
  http://wollic.org/wollic2018/
  Paper deadline: Mar 11, 2018
* WiL 2018 - WOMEN IN LOGIC WORKSHOP
  Call for Papers
  July 8, 2018, Oxford UK
  https://sites.google.com/site/womeninlogic2018/welcome/
  Paper submission deadline: 31 March 2018
* LOD 2018
  Call for Papers
  Volterra (Pisa) Tuscany, September 13-16, 2018
  SIAF Learning Village
  https://lod2018.icas.xyz/
  Paper submission deadline: March 31, 2018
* ICDT 2019
  Call for papers (First submission cycle)
  Around March 25th, 2019, Lisbon, Portugal
  https://databasetheory.org/node/87
  Full paper submission deadline: April 3, 2018
* DCM 2018
  A satellite event of FLoC 2018
  Oxford, UK,  July 8,  2018
  http://dcm-workshop.org.uk/
  Submission deadline: 8 April 2018
* CSL 2018
  First Call for Papers
  4-7 September 2018,  Birmingham, UK
  https://easychair.org/cfp/CSL18
  Paper submission : April 14th, 2018
* LFMTP 2018
  Call for Papers
  July 07, 2018, Oxford, UK
  http://lfmtp.org/workshops/2018/
  http://www.cs.le.ac.uk/events/fscd2018/
  Paper deadline:    April 16th
* CONCUR 2018
  The 29th International Conference on Concurrency Theory
  Beijing, China, September 4-7, 2018
  http://lcs.ios.ac.cn/concur2018/
  Paper submission: April 23, 2018 (firm)
* LC 2018
  Call for Contributions
  Udine, Italy, July 23-28, 2018
  https://lc18.uniud.it
  Deadline for abstract submission: April 27, 2018
* MINDS AND MACHINES SPECIAL ISSUE
  Call for Papers
  http://philo.hlrs.de/?p=277
  Deadline for paper submissions: 2018-05-01



THE 6TH INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2018)
  Call For Papers
  May 2018, Essaouira, Morocco,
  http://www.netys.net
* Confirmed Keynote Speakers
  Nicolaj Bjorner, Microsoft Research Redmond (USA)
  Maurice Herlihy, Brown University (USA)
  Ranjit Jhala, UC San Diego (USA)
  Anne-Marie Kermarrec, Mediego, Inria (France), EPFL (Switzerland)
  Rupak Majumdar, MPI-SWS Kaiserslautern (Germany)
  Liuba Shrira, Brandeis University (USA)
  Renata Teixeira, INRIA Paris (France)
* Aim and Scope
  NETYS aims to bring together researchers and engineers from both the
  theory and practice of distributed and networked systems. The scope
  of the conference covers all aspects related to the design and the
  development of these systems, including, but not restricted to,
  multi-core architectures, concurrent and distributed algorithms,
  parallel/concurrent/distributed programming, distributed databases,
  big data applications and systems, cloud systems, networks,
  security, formal verification, etc.
* Awards will be given to the best paper and the best student paper.
* IMPORTANT DATES (UPDATED)
  Registration of the abstract: January 14, 2018
  Submission of the paper: January 21, 2018
  Notification of acceptance: March 12, 2018
  Camera-ready copy due: March 30, 2018
  Conference: May 9 - 11, 2018
* Program Co-chairs
  Andreas Podelski, Univ. Freiburg, Germany
  Francois Taiani, Univ. Rennes 1 / ESIR / IRISA - Inria



THIRD INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION
AND DEDUCTION (FSCD 2018)
  Oxford, UK, July 9 - 12th, 2018.
  http://fscd-conference.org/editions/fscd-2018
  Part of The Federated Logic Conference, FLoC 2018,
  Oxford, UK, July 6 - 19th, 2018.
  http://www.floc2018.org
* TOPICS: FSCD covers 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 or homotopy type theory.
* Suggested, but not exclusive, list of topics for submission are:
  1. Calculi: Lambda calculus - Concurrent calculi - Logics -
  Rewriting systems - Proof theory - Type theory and logical
  frameworks 2. Methods in Computation and Deduction: Type systems -
  Induction and coinduction - Matching, unification, completion, and
  orderings - Strategies - Tree automata - Model checking - Proof
  search and theorem proving - Constraint solving and decision
  procedures 3. Semantics: Operational semantics - Abstract machines -
  Game Semantics - Domain theory and categorical models - Quantitative
  models 4. Algorithmic Analysis and Transformations of Formal
  Systems: Type Inference and type checking - Abstract Interpretation
  - Complexity analysis and implicit computational complexity -
  Checking termination, confluence, derivational complexity and
  related properties - Symbolic computation 5. Tools and Applications:
  Programming and proof environments - Verification tools - Libraries
  for proof assistants and interactive theorem provers - Case studies
  in proof assistants and interactive theorem provers - Certification
  - Applications to security, planning, data bases
* IMPORTANT DATES:
  All deadlines are midnight anywhere-on-earth (AoE); late submissions
  will not be considered.
  Abstract Deadline:  January  15th, 2018
  Submission Deadline: January  22nd, 2018
  Rebuttal:  March  22 - 25th, 2018
  Notification: April 2nd, 2018
  Camera-Ready: May  2nd, 2018
  FSCD Conference: July 9 - 12th, 2018
  FLoC Conference: July 6 - 19th, 2018
* PROGRAM COMMITTEE CHAIR
  Helene Kirchner,  Inria
* CONFERENCE & WORKSHOP CHAIR:
  Paula Severi, Leicester U.



13TH WORKSHOP ON GAMES FOR LOGIC AND PROGRAMMING LANGUAGES (GaLoP 2018)
  Call for Abstracts
  Thessaloniki, Greece, 14-15 April, 2018
  http://www.gamesemantics.org
* GaLoP is an annual international workshop on game-semantic models
  for logics and programming languages and their applications. This is
  an informal workshop that welcomes work in progress, overviews of
  more extensive work, programmatic or position papers and tutorials.
* GaLoP XII will be held in Thessaloniki, Greece, on 14-15 April 2018
  as a satellite workshop of ETAPS (http://www.etaps.org/).
* IMPORTANT DATES
  Submission: 22 January 2018
  Notification: 12 February 2018
  Workshop: 14-15 April 2018
* Invited talks
  Guy McCusker (Bath)
  Matteo Mio (Lyon)
  Ulrich Schopp (Munchen)
* Programme Chairs
  Ugo Dal Lago (Bologna, co-chair)
  Gabriel Sandu (Helsinki, co-chair)



4th ACM CYBER-PHYSICAL SYSTEM SECURITY WORKSHOP (ACM CPSS'18)
  Incheon, Korea, June 4, 2018
  (in conjunction with ACM AsiaCCS'18)
  http://jianying.5gbfree.com/cpss/CPSS2018/
  Extended submission deadline:  Jan 27, 2018 (23:59 GMT)
* CONFERENCE OUTLINE
  Cyber-Physical Systems (CPS) consist of large-scale interconnected
  systems of heterogeneous components interacting with their physical
  environments. There are a multitude of CPS devices and applications
  being deployed to serve critical functions in our lives.  This
  workshop will provide a platform for professionals from academia,
  government, and industry to discuss how to address the increasing
  security challenges facing CPS. Besides invited talks, we also seek
  novel submissions describing theoretical and practical security
  solutions to CPS. Papers that are pertinent to the security of
  embedded systems, IoT, SCADA, smart grid, and critical
  infrastructure networks are all welcome.
* IMPORTANT DATES
  Extended submission deadline:  Jan 27, 2018 (23:59 GMT)
  Notification:  Mar 10, 2018
  Camera-ready due:  Mar 31, 2018
* Program Chairs:
  Dieter Gollmann (Hamburg University of Technology, Germany & NTU, Singapore)
  Jianying Zhou (SUTD, Singapore)
* Further information
  CPSS Home:  http://jianying.5gbfree.com/cpss/
  Email:  cpss2018@easychair.org



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017
  Second Call for Submissions (Postproceedings)
  Deadline for submission: 1 February 2018
* After the successful start of the new EU-MSCA-RISE project
  "Computing with Infinite Data" (CID) and the excellent Workshop CCC
  2017 in Nancy (France) in June this year, we are planning to publish
  a collection of papers dedicated to the meeting and to the project
  as a Special Issue in the open-access journal
  LOGICAL METHODS IN COMPUTER SCIENCE.
* The issue should reflect progress made in Computable Analysis and
  related areas, and is not restricted to work in the CID project or
  presented at the Workshop.
* Submissions are welcome from all scientists on topics in the
  entire spectrum from logic to algorithms including, but not limited
  to: Exact real number computation, Correctness of algorithms on
  infinite data, Computable analysis, Complexity of real numbers,
  real-valued functions, etc.  Effective descriptive set theory,
  Constructive topological foundations, Scott's domain theory,
  Constructive analysis, Category-theoretic approaches to computation
  on infinite data, Weihrauch degrees, Randomness and computable
  measure theory, Other related areas.
* EDITORS:
  Ulrich Berger (Swansea, UK)
  Pieter Collins (Maastricht, NL)
  Mathieu Hoyrup (Nancy, FR)
  Victor Selivanov (Novosibirsk, RUS)
  Dieter Spreen (Siegen, DE)
  Martin Ziegler (KAIST, KR)
* DEADLINE FOR SUBMISSION:
  1 February 2018
* If you intend to submit a paper for the special issue, please inform
  us by sending email to: spreen@math.uni-siegen.de by 1 January 2018



COMPUTABILITY IN EUROPE: SAILING ROUTES IN THE WORLD OF COMPUTATION
(CiE 2018)
  Final Call for Papers
  Kiel, Germany
  July 30 - August 3, 2018
  http://cie2018.uni-kiel.de
* CiE 2018 is the fourteenth conference organized by CiE
  (Computability in Europe), a European association of
  mathematicians, logicians, computer scientists, philosophers,
  physicists and others interested in new developments in
  computability and their underlying significance for the real world.
* THE PROGRAMME COMMITTEE cordially invites all researchers (European
  and non-European) to submit their papers in all areas related to
  computability for presentation at the conference and inclusion in
  the proceedings at https://easychair.org/conferences/?conf=cie2018
  Submission guidelines are available on the conference web-site.
* The CONFERENCE PROCEEDINGS will be published by LNCS, Springer
  Verlag.
* IMPORTANT DATES:
  Deadline for abstract submission: January 17, 2018
  Deadline for article submission: February 1, 2018
  Notification of acceptance: April 6, 2018
  Early registration before:  May 30, 2018
* TUTORIAL SPEAKERS:
  Pinar Heggernes (Bergen, Norway), Bakhadyr
  Khoussainov (Auckland, NZ)
* INVITED SPEAKERS:
  Kousha Etessami (Edinburgh, UK)
  Johanna Franklin (Hempstead, US)
  Mai Gehrke (Nice, France)
  Alberto Marcone (Udine, Italy)
  Alexandra Silva (London, UK)
  Jeffrey O. Shallit (Waterloo, Canada)
* SPECIAL SESSIONS: Approximation and Optimisation, Bioinformatics and
  Bio-inspired Computing, Computing with Imperfect Information,
  Continuous Computation, History and Philosophy of Computing,
  SAT-Solving.
* WORKSHOP: Women in Computability.
* Check the web-site for further details on the conference, such as
  organisation and grants.



SPECIAL ISSUE OF IJAR ON "DEFEASIBLE AND AMPLIATIVE REASONING"
  Call for Papers
* Classical reasoning is not flexible enough when directly applied to
  the formalization of certain nuances of decision making as done by
  humans. These involve different kinds of reasoning such as reasoning
  with uncertainty, exceptions, similarity, vagueness, incomplete or
  contradictory information and many others.
* Everyday reasoning usually shows the two salient
  intertwined aspects below:
  - Ampliative aspect: augmenting the underlying reasoning by allowing
    more conclusions.
  - Defeasible aspect: curtailing the underlying reasoning by either
    disregarding or disallowing some conclusions that somehow ought not
    to be sanctioned.
* This special issue aims at bringing together work on defeasible and
  ampliative reasoning from the perspective of artificial
  intelligence, cognitive sciences, philosophy and related disciplines
  in a multi-disciplinary way, thereby consolidating the mission of
  the DARe workshop series.
* The submission url is: http://www.evise.com/evise/jrnl/IJA
* When submitting your manuscript, please select ``VSI:DARe special
  issue'' as the article type.
* If you have any enquiries, please feel free to contact us at
  dare.to.contact.us@gmail.com
* IMPORTANT DATES
  Submission deadline: 15 February 2018
  Notification: 1 November 2018
  Publication date: 1 January 2019
* Guest editors
  Richard Booth, Cardiff University, UK
  Giovanni Casini, University of Luxembourg
  Szymon Klarman, Semantic Integration Ltd., UK
  Gilles Richard, Universite Paul Sabatier, France
  Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France



THE 17TH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS AND
COGNITIVE COMPUTING (ICCI*CC'18)
  UC Berkeley, CA, USA
  July 15-18, 2018
  http://www.ucalgary.ca/icci_cc/iccicc-18
* The IEEE ICCI*CC series is a flagship conference of its field
  sponsored by IEEE Computer, Computational Intelligence and SMC
  Societies. The theme of ICCI*CC'18 is on Cognitive Machine Learning,
  Brain-Inspired Systems and Cognitive Robotics.
* You are welcome to submit a paper to IEEE ICCI*CC'18 or to organize
  a special session related to the theme of the conference. The
  Proceedings of ICCI*CC'18 will be published by IEEE CS Press (EI
  Indexed). A good rate of selected papers from the proceedings will
  be recommended to leading international journals and/or IEEE
  transactions with ISI/EI indexes.
* IMPORTANT DATES
  Submission deadline: February 16, 2018.



25th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC
  2018)
  Call for Papers
  July 24th-27th, 2018, Bogota, Colombia
  http://wollic.org/wollic2018/
* WoLLIC is an annual international forum on inter-disciplinary
  research involving formal logic, computing and programming theory,
  and natural language and reasoning. Each meeting includes invited
  talks and tutorials as well as contributed papers.
* Contributions are invited on all pertinent subjects, with particular
  interest in cross-disciplinary topics. Typical but not exclusive
  areas of interest are: foundations of computing and programming;
  novel computation models and paradigms; broad notions of proof and
  belief; proof mining, type theory, effective learnability; formal
  methods in software and hardware development; logical approach to
  natural language and reasoning; logics of programs, actions and
  resources; foundational aspects of information organization, search,
  flow, sharing, and protection; foundations of mathematics;
  philosophy of mathematics; philosophy of language; philosophical
  logic.
* IMPORTANT DATES:
  Mar 11, 2018: Paper title and abstract deadline
  Mar 18, 2018: Full paper deadline
  Apr 15, 2018: Author notification
  Apr 22, 2018: Final version deadline (firm).
* Further details:
  http://wollic.org/wollic2018/



WOMEN IN LOGIC WORKSHOP (WiL 2018)
  Call for Papers
  July 8, 2018, Oxford UK
  https://sites.google.com/site/womeninlogic2018/welcome/
* Affiliated with LICS (http://lics.siglog.org/lics18/)
  Held as part of FLoC (http://www.floc2018.org/)
* We are holding the 2nd Women in Logic (WiL) workshop as a LICS
  2018 associated workshop.  The workshop will provide an opportunity
  for women in the field to increase awareness of one another and one
  another's work, to combat the feeling of isolation. It will also
  provide an environment where women can present to an audience
  comprised of mostly women, replicating the experience that most men
  have at most LICS meetings, and lowering the stress of the occasion;
  we hope that this will be particularly attractive to early-career
  women.
* Topics of interest of this workshop include but are not limited to
  the usual Logic in Computer Science (LICS) topics. These are listed
  as automata theory, automated deduction, categorical models and
  logics, concurrency and distributed computation, constraint
  programming, constructive mathematics, database theory, decision
  procedures, description logics, domain theory, finite model theory,
  formal aspects of program analysis, formal methods, foundations of
  computability, higher-order logic, lambda and combinatory calculi,
  linear logic, logic in artificial intelligence, logic programming,
  logical aspects of bioinformatics, logical aspects of computational
  complexity, logical aspects of quantum computation, logical
  frameworks, logics of programs, modal and temporal logics, model
  checking, probabilistic systems, process calculi, programming
  language semantics, proof theory, real-time systems, reasoning about
  security and privacy, rewriting, type systems and type theory, and
  verification.
* Important dates:
  Paper submission deadline: 31 March 2018
  Author notification: 8 May 2018
  Contribution for Informal Proceedings: 31 May 2018
* Invited Speakers: Perdita Stevens (University of Edinburgh, UK) and
  TBA
* Detailed information can be found on the webpage.



4TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING, OPTIMIZATION & DATA
SCIENCE (LOD 2018)
  Volterra (Pisa) Tuscany, September 13-16, 2018
  SIAF Learning Village
  https://lod2018.icas.xyz/
* The 4th Annual Conference on machine Learning, Optimization and Data
  science (LOD) is a single-track machine learning, computational
  optimization, data science conference that includes invited talks,
  tutorial talks, special sessions, industrial tracks, demonstrations
  and oral and poster presentations of refereed papers.
* We invite submissions of papers, abstracts and posters on all topics
  related to Machine learning, Optimization and Big Data including
  real-world applications for the conference proceedings:
* LOD 2018 Post-Proceedings. All accepted long papers will be published
  in a volume of the series 'Lecture Notes in Computer Science' from
  Springer after the conference.
* LOD 2018 Best Paper Springer sponsors the LOD 2018 Best Paper Award
  with a cash prize of EUR 1,000 (TBC).
* IMPORTANT DATES
  Paper Submission Deadline: March 31, 2018
  Decision Notification to Authors: June 1st, 2018
  Camera Ready Submission Deadline: July 1st, 2018
  Deadline for early Registration as Presenting Author: July 1st, 2018
  Late registration: July 2 - September 16, 2018
  On-Site registration: September 13-16, 2018
  LOD 2018 conference: September 13-16, 2018
* Further information
  https://lod2018.icas.xyz/call-for-papers/
* LOD 2018 Chairs.
  Giuseppe Nicosia
  Panos Pardalos



22nd INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2019)
  Call for papers (First submission cycle)
  Around March 25th, 2019, Lisbon, Portugal
  https://databasetheory.org/node/87
* ICDT is a series of international scientific conferences on research
  of data management theory (https://databasetheory.org/icdt-pages).
  Since 2009, it is annually and jointly held with EDBT (Extending DB
  Technology).
* Continuing with the idea of broadening its scope, ICDT 2019 will
  have a Reach Out track that calls for
  - novel formal frameworks and/or
  - articles that connect principles of data management to other communities.
  Papers submitted to this track should suggest novel and important
  directions for database theory and provide a theoretical basis for
  understanding emerging areas in data management.
* Every topic related to the principles of data management is relevant
  to ICDT. Examples of relevant topics are data mining and database
  aspects of machine learning; data models, design, query languages,
  and algorithms for data management; distributed and parallel
  databases; connections between databases and knowledge
  representation; graph databases, (semantic) Web data, and Web
  services; data streams and sketching; data-centric (business)
  process management and workflows; data and knowledge integration and
  exchange, data provenance, views, and data warehouses;
  domain-specific databases (multimedia, scientific, spatial,
  temporal, text); data privacy and security, concurrency, and
  recovery.
* IMPORTANT DATES (First submission cycle):
  Abstract submission deadline: March 27, 2018
  Full paper submission deadline: April 3, 2018
  Notification: May 30, 2018
* For submissions please use https://easychair.org/conferences/?conf=icdt2019



12TH INTERNATIONAL WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS
(DCM 2018)
  A satellite event of FLoC 2018
  Oxford, UK,  July 8,  2018
  http://dcm-workshop.org.uk/
* Several new models of computation have emerged in the last years,
  and many developments of traditional computation models have been
  proposed with the aim of taking into account the new demands of
  users of computer systems and the new capabilities of computation
  engines. The proceedings are produced after the meeting, so that
  authors can incorporate the workshop feedback in the published
  papers.
* Topics of interest include all abstract models of computation and
  their applications to the development of programming languages and
  systems. Authors are invited to submit a short paper (max 8
  pages). Preliminary proceedings will be available at the workshop.
* IMPORTANT DATES
  Submission deadline: 8 April 2018
  Notification: 15 May 2018
  Pre-proceedings version: 27 May 2018
  Workshop: 8 July 2018
  Full version of paper: 1 October 2018
  Notification: 1 December 2018
  Final versions due: 15 December 2018
* INVITED SPEAKERS
  Ugo Dal Lago
  Delia Kesner
* PROGRAMME CHAIR
  Sandra Alves, University of Porto
* Further information:   http://dcm-workshop.org.uk/



COMPUTER SCIENCE LOGIC (CSL 2018)
  First Call for Papers
  4-7 September 2018,  Birmingham, UK
  https://easychair.org/cfp/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.
* IMPORTANT DATES
  Abstract submission : April 7th, 2018 (AoE)
  Paper submission : April 14th, 2018  (AoE)
  Notifications : June 14th, 2018
* Program Chairs
  Dan R. Ghica, University of Birmingham
  Achim Jung, University of Birmingham
* For more information please visit https://easychair.org/cfp/CSL18



LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE
(LFMTP 2018)
  Call for Papers
  July 07, 2018, Oxford, UK
  http://lfmtp.org/workshops/2018/
  http://www.cs.le.ac.uk/events/fscd2018/
* Logical frameworks and meta-languages form a common substrate for
  representing, implementing and reasoning about a wide variety of
  deductive systems of interest in logic and computer science. Their
  design, implementation and their use in reasoning tasks, ranging from
  the correctness of software to the properties of formal
  systems, have been the focus of considerable research over the last two
  decades. This workshop will bring together designers, implementors and
  practitioners to discuss various aspects impinging on the structure and
  utility of logical frameworks, including the treatment of variable
  binding, inductive and co-inductive reasoning techniques and the
  expressiveness and lucidity of the reasoning process.
* IMPORTANT DATES:
  Abstract deadline: April 09th
  Paper deadline:    April 16th
* More details on the website



THE 29TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2018)
  The 29th International Conference on Concurrency Theory
  Beijing, China, September 4-7, 2018
  http://lcs.ios.ac.cn/concur2018/
* The purpose of the CONCUR conferences is to bring together
  researchers, developers, and students in order to advance the theory
  of concurrency, and promote its applications.
* Invited speakers
  Yuxin Deng, East China Normal University (China)
  Rob van Glabbeek, Stanford University (USA), CSIRO,
      and University of New South Wales (Australia)
  Bow-Yaw Wang, Academia Sinica (Taiwan)
* Co-located events at CONFESTA
  16th International Conference on Formal Modelling and Analysis of
  Timed Systems (FORMATS 2018)
  15th International Conference on Quantitative Evaluation of SysTems
  (QEST 2018)
  4th International Symposium on Dependable Software Engineering
  (SETTA 2018)
  CONFESTA will also host a number of workshops and tutorials (TBA).
* IMPORTANT DATES
  All dates are AoE.
  Abstract submission: April 17, 2018 (firm)
  Paper submission: April 23, 2018 (firm)
  Notification: June 7, 2018
  Camera ready copy: July 2, 2018
  Conference: September 4-7, 2018
* Program Co-chairs
  Sven Schewe (University of Liverpool, UK)
  Lijun Zhang (Institute of Software, CAS, China)



LOGIC COLLOQUIUM 2018 (LC 2018)
  Call for Contributions
  Udine, Italy, July 23-28, 2018
  https://lc18.uniud.it
* The Logic Colloquium 2018 is the annual European summer meeting of
  the Association of Symbolic Logic (ASL)
  (http://www.aslonline.org/index.htm).
* IMPORTANT DATES:
  Deadline for abstract submission: April 27, 2018
  Deadline for travel grant applications: May 4, 2018
  Deadline for early registration: May 23, 2018
  Main event: July 23 (9am)- July 28 (1pm)
* TUTORIAL SPEAKERS:
  K. Tent (WWU Munster)
  U. Sattler (University of Manchester)
* INVITED SPEAKERS:
  M. Antonutti Marfori (Ludwig-Maximilians-Universitat Munchen)
  A. Atserias (Universitat Politecnica de Catalunya)
  V. Brattka (Universitat der Bundeswehr Munchen)
  A. Ciabattoni (TU Wien)
  P. D'Aquino (Universita degli Studi della Campania)
  P. Oliva (Queen Mary University of London)
  L. Patey (Institut Camille Jordan, Lyon)
  A. Tserunyan (University of Illinois at Urbana-Champaign)
  S. Unger(Tel Aviv University)
  M. Viale (Universita degli studi di Torino)
  D. Westerstahl (Stockholm University)
* GOEDEL SPEAKER:
  R. Downey (Victoria University of Wellington)
* SPECIAL SESSIONS:
  6 special sessions with topics:
  -- Descriptive set theory and dynamical systems:
     Chairs:     B. Miller (Universitat Wien),
                 A. Tornquist (Kobenhavn Universitet)
  -- Model theory:
     Chairs:     F. Wagner (Universite Lyon I),
                 E. Casanovas (Universitat de Barcelona)
  -- Proof theory and constructivism:
     Chairs:     S. Ghilardi (Universita degli Studi di Milano),
                 G. Sambin (Universita degli Studi di Padova)
  -- Temporal and multivalued logics:
     Chairs:     M. Lange (Universitat Kassel),
                 B. Gerla (Universita dell'Insubria)
  -- Computability theory:
     Chairs:     A. Sorbi (Universita di Siena 1240),
                 P. Shafer (University of Leeds)
  -- Philosophy of Logic and Mathematics:
     Chairs:     J. Kennedy (University of Helsinki),
                 G. Sagi (University of Haifa)
* PROGRAM COMMITTEE CHAIR
  D. Macpherson  (University of Leeds)
* Event sponsored by ASL, NSF, SILFS and AILA.



MINDS AND MACHINES SPECIAL ISSUE ON
THE EPISTEMOLOGICAL SIGNIFICANCE OF METHODS IN COMPUTER SIMULATION
  Call for Papers
  http://philo.hlrs.de/?p=277
* Guest Editors
  Prof. Michael Resch, University of Stuttgart
  Dr. Andreas Kaminski, University of Stuttgart
* We invite the submission of papers focusing on but are not
  restricted to: -Epistemic opacity as a methodological challenge,
  -The specific Role of (applied) Mathematics in Computer Simulation,
  -The epistemological consequences of parametrization and
  discretization, -Verification, Validation & Evaluation of Computer
  Simulations, Trust in & Reliability of Computer Simulations Results,
  -Visualization and Understanding of Computer Simulations, -Machine
  Learning and Computer Simulation.
* IMPORTANT DATES:
  Deadline for paper submissions: 2018-05-01
  Deadline for paper reviewing: 2018-06-30
  Deadline for submission of revised papers: 2018-09-01
  Deadline for reviewing revised papers: 2018-11-01
  Papers will be published in December 2018
* For any further information please contact:
  Dr. Andreas Kaminski:kaminski@hlrs.de



POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN)
* University of Gothenburg, Sweden
* Duration: 2 years, starting Autumn 2018
* Deadline for applications is 31st May 2018
* The Department of Philosophy, Linguistics and Theory of Science at
  University of Gothenburg is inviting applications for a Postdoc
  position in Logic. Topics of interest include proof-theoretic
  studies of reflection and induction, axiomatic theories of truth,
  type-theoretic foundations, and fixed-point calculi such as the
  modal mu-calculus.
* For full details see
  http://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=1637



ASSISTANT PROFESSOR IN COMPUTER SCIENCE AT AUGUSTA UNIVERSITY, GEORGIA
* The School of Computer and Cyber Sciences at Augusta University
  invites applications for a tenure track position as Assistant
  Professor in Computer Science.
* Anticipated start is August 2018.
* Computer Science is a unit within the newly created School of
  Computer and Cyber Sciences. The school supports bachelor's degrees
  in computer science and information technology and a master's degree
  in information security management. The University as a whole has
  begun shifting from a teaching university to a research university,
  and as such supports and promotes research in Computer Science as
  well as in connected fields.  While research areas investigated in
  the school are computational logic, cyber security, and software
  engineering, candidates from other research areas of computer
  science are welcome to apply.
* Position Requirements:
  Applicants must hold (or receive before start of employment) a PhD
  in computer science or a closely related field. About 40% of
  workload will be dedicated to research and faculty
  development. Demonstrated capability or potential in developing
  discipline relevant peer reviewed intellectual contributions is
  required. Candidates with teaching experience or capability for
  teaching excellence in introductory courses and familiarity with the
  C# programming language are a plus.
* Complementary information can be found at
  http://myersmcrae.com/skins/userfiles/files/AU-CompSc2017.pdf
  and
  http://www.augusta.edu/ccs/



TWO OPEN RESEARCH POSITIONS AT TAMPERE UNIVERSITY OF TECHNOLOGY
* Laboratory of Electronics and Communications Engineering (ELT) at
  Tampere University of Technology is looking for motivated and
  proactive MSc/PhD graduates to join the research team related to 5G
  and beyond mobile network developments and future wireless
  localization solutions.
* The call for two-year positions (with a good possibility of
  extension upon good results) is open to applicants who fulfil the
  following criteria:
  - Candidates have a MSc degree in computer science, radio
    communications, signal processing or electrical engineering.
  - Candidates have knowledge of radio communications and software
    programming skills (e.g., Matlab, C/C++, Python, embedded systems,
    etc.),
  - Candidates have a willingness to learn new things and to work in a
    multi-cultural environment in Tampere, Finland.
* TUT unit is offering high-quality supervision with freedom and
  encouragement to develop your ideas in a supportive, inspiring
  environment.
* More information and details on how to apply are found on EURAXESS
  job portal (https://euraxess.ec.europa.eu/jobs/249961)



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/



POSTDOC/PHD OPPORTUNITY AT THE UNIVERSITY OF CALIFORNIA, IRVINE
* Project Title: Conquering MPSoC Complexity with Principles of a
  Self-Aware Information Processing Factory
* Host: Univ. of California, Irvine, Center for Embedded &
  Cyber-physical Systems, Irvine, CA, USA.
* Supervisor/Contact Person: Prof. Fadi Kurdahi (Kurdahi@uci.edu)
  Co-supervisor: Prof. Nikil Dutt (dutt@uci.edu).
* Requirements: Postdoc: PhD degree in CS, Computer Engineering or EE
  from a top University.  PhD: Master's in Computer Science, Computer
  Engineering or equivalent from a top University
* Objectives: Develop and evaluate hardware-assisted runtime
  verification models, architectures and tools.  Develop evaluate
  machine learning-based specification mining methods and tools.
* Expected Skills: Familiarity with hardware-assisted runtime
  verification formalism, tools and methods.  Familiarity with
  machine-learning algorithms.  Familiarity with specification mining
  methods and applications.  Experience with FPGA tools.  Experience
  with multiprocessor simulators such as GEM5.
* Planned visits and collaboration:
  TU Munich (Professor Andreas Herkersdorf)
  TU Branschweig (Professor Rolf Ernst)
* Timeline:
  Ideally, candidates would be able to start in Winter or Spring 2018
  for a period of 1 year with possibility of extension up to 3 years
  total.
* To Inquire: Please send a CV to Fadi Kurdahi (kurdahi@uci.edu).



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



Back to the LICS web page.