SIGLOG Monthly 199
April 11, 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 - Joint Call for Papers
FLoC 2018 - Workshop Announcement
E. W. BETH DISSERTATION PRIZE, 2018 - call for nominations
ACKERMANN AWARD 2018 - Call for Nominations
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
CSL 2018 - Call for Papers
SAS 2018 - Call for Papers
WiL 2018 - Call for papers
DCM 2018 - Call for submissions
SMT 2018 - Call for Papers
HDRA 2018 - Call for extended abstracts
CICM 2018 - Call for papers
LFMTP 2018 - Call for Papers
CONCUR 2018 - Call for Papers
EICNCL 2018 - Second Call For Papers
LC 2018 - Call for Contributions
Eighth Summer School on Formal Techniques - Call for Participation
CRITIS 2018 - Call for Papers
QBF 2018 - Call for Papers
SyGuS-COMP 2018 - Call for Solvers and Benchmarks Submission
MINDS AND MACHINES SPECIAL ISSUE - Call for Papers
TIME 2018 - Call for papers
LACompLing2018 - Call for Papers
AIRIM'18 - Call for papers
AiML 2018 - Second call for papers
GandALF 2018 - Call for Papers
DL 2018 - Call for Papers
CCC 2018 - Call for papers
INTERNATIONAL SUMMER SCHOOL AND WORKSHOP ON PROOF THEORY
- Announcement
* JOB ANNOUNCEMENTS
PHD POSITION IN PARAMETERIZED COMPLEXITY AT TU WIEN, AUSTRIA
POSTDOC POSITION: TEAMPLAY EUROPEAN PROJECT, RENNES, FRANCE
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
POSTDOC OPENING AT THE UNIVERSITA DEGLI STUDI DI VERONA, ITALY
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 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://ijcar20 18.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
E. W. BETH DISSERTATION PRIZE, 2018
Call for nominations
http://www.folli.info/?page_id=251
Deadline for Submissions: April 23rd, 2018.
* Since 2002, FoLLI (the Association for Logic, Language, and
Information, http://www.folli.info) has awarded the E.W. Beth
Dissertation Prize to outstanding dissertations in the fields of
Logic, Language, and Information. We invite submissions for the best
dissertation which resulted in a Ph.D. degree awarded in 2017.
* WHO QUALIFIES. Nominations of candidates are admitted who were
awarded a Ph.D. degree in the areas of Logic, Language, or
Information between January 1st, 2017 and December 31st,
2017. Theses must be written in English; however, the Committee
accepts submissions of English translations of theses originally
written in other languages, and for which a PhD was awarded in the
preceding two years (i.e. between January 1st, 2015 and December
31st, 2017). There is no restriction on the nationality of the
candidate or on the university where the Ph.D. was granted.
* The prize will be awarded at the ESSLLI summer school in Sofia.
* COMMITTEE
Emmanuel Chemla (ENS, CNRS)
Andrew Fish (University of Brighton)
Sujata Ghosh (Indian Statistical Institute, Chennai)
Nina Gierasimczuk (Technical University of Denmark Copenhagen)
Wesley Holliday (University of California, Berkeley)
Thomas Icard (Stanford University)
Andreas Maletti (Leipzig University)
Angelo Montanari (University of Udine)
Sanjian Li (University of Technology Sydney)
Larry Moss (Indiana University, Bloomington)
Ian Pratt-Hartmann, Chair (University of Manchester)
* IMPORTANT DATES
Deadline for Submissions: April 23rd, 2018.
Notification of Decision: July 2nd, 2018.
ESSLLI summer school (Sofia): August 6th--17th, 2018.
* FURTHER DETAILS: http://www.folli.info/?page_id=251
* Queries: Ian Pratt-Hartmann (ipratt@cs.man.ac.uk)
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
* CSL 2018
First Call for Papers
4-7 September 2018, Birmingham, UK
https://easychair.org/cfp/CSL18
Paper submission : April 14, 2018
* SAS 2018
Call for Papers
Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
http://staticanalysis.org/sas2018
Full paper submission: April 13th, 2018 (AoE)
* WiL 2018
Call for Papers
July 8, 2018, Oxford UK
https://sites.google.com/site/womeninlogic2018/welcome/
Paper submission deadline: 15 April 2018
* DCM 2018
Call for submissions
July 8, 2018
https://sites.google.com/g.uporto.pt/dcm18/
A satellite event of FLoC 2018, Oxford
Extended deadline: April 15, 2018
* SMT 2018
Call for Papers
July 12 - 13, 2018, Oxford, UK
Affiliated with IJCAR 2018, part of FLoC 2018
http://smt-workshop.cs.uiowa.edu/2018/
Paper submission deadline: April 15, 2018
* HDRA 2018
Call for extended abstracts
July 7, 2018, Oxford, United Kingdom
http://hdra.gforge.inria.fr/
Satellite workshop of FSCD 2018, part of FLOC 2018.
Submission deadline: April 15, 2018
* CICM 2018
Call for papers
August 13-17, 2018
RISC, Hagenberg, Austria
https://www.cicm-conference.org/2018
Full paper deadline: April 22
* LFMTP 2018
Call for Papers
July 07, 2018, Oxford, UK
http://lfmtp.org/workshops/2018/
Paper deadline: April 15, 2018
* 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)
* EICNCL 2018
Second Call For Papers
Oxford, UK, 19 July 2018
(affiliated with IJCAR 2018 in FLOC 2018)
http://weic2018.loria.fr/
Deadline for submission: 23 April 2018
* LC 2018
Call for Contributions
Udine, Italy, July 23-28, 2018
https://lc18.uniud.it
Deadline for abstract submission: April 27, 2018
* EIGHTH SUMMER SCHOOL ON FORMAL TECHNIQUES
Call for Participation
May 19 - May 25, 2018
Menlo College, Atherton, California
http://fm.csl.sri.com/SSFT18
Applicantion deadline: April 30, 2018
* CRITIS 2018
Call for Papers
Kaunas, Lithuania, September 24-26, 2018
www.lei.lt/critis2018
Full-text paper submission due: April 30, 2018
* QBF 2018
Call for Papers
July 8 2018, Oxford, UK
http://fmv.jku.at/qbf18/
Paper submission: May 01 2018
* SyGuS-COMP 2018
Call for Solvers and Benchmarks Submission
July 18, 2018 Oxford, England (with FLoC, CAV and SYNT)
http://www.sygus.org/SyGuS-COMP2018.html
Benchmark submission deadline: May 1, 2018
* MINDS AND MACHINES SPECIAL ISSUE
Call for Papers
http://philo.hlrs.de/?p=277
Deadline for paper submissions: May 1, 2018
* TIME 2018
Call for papers
15-17 October 2018, Warsaw, Poland
https://time2018.ipipan.waw.pl/
Full papers due: May 11, 2018
* LACompLing2018
Call for Papers
Stockholm, 28-31 August 2018
http://staff.math.su.se/rloukanova/LACompLing2018-web/
Submission deadline, regular papers: May 15, 2018 (AoE)
* AIRIM'18
Call for papers
Poznan, Poland, September 9-12, 2018
https://www.fedcsis.org/2018/airim
Paper submission (strict deadline): May 15, 2018 (23:59:59 pm HST)
* AiML 2018
Second call for papers
Bern, 27 August - 31 August 2018
http://www.aiml2018.unibe.ch
Full papers submission deadline: 18 March 2018
Short presentations submission deadline: May 20, 2018
* GandALF 2018
Call for Papers
Saarbrucken (Germany), September 26th - 28th, 2018.
https://www.react.uni-saarland.de/gandalf2018/index.html
Paper submission: June 15, 2018
* DL 2018
Call for Papers
October 26-29, 2018 - Tempe, Arizona, US
http://dl.kr.org/dl2018/
Paper submission July 6, 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
* INTERNATIONAL SUMMER SCHOOL AND WORKSHOP ON PROOF THEORY
ANNOUNCEMENT
1st International Summer School on Proof Theory
Ghent, September 2-5, 2018
http://www.proofsociety.org/summer-school-2018/
and
Workshop on Proof Theory
Ghent, September 6-7, 2018
http://www.proofsociety.org/workshop-2018/
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.
* 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)
* 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
25TH STATIC ANALYSIS SYMPOSIUM (SAS 2018)
Call for Papers
Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
http://staticanalysis.org/sas2018
* 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.
* ARTIFACT EVALUATION
We are encouraging authors to submit a virtual machine image
containing any artifacts and evaluations presented in the paper.
Artifact submission is optional. We accept only virtual machine
images that can be processed with Virtual Box. Details on what to
submit and how will be sent to the corresponding authors by mail
shortly after the paper submission deadline.
* 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
* RADHIA COUSOT YOUNG RESEARCHER AWARD Since 2014, the program
committee of each SAS conference selects a paper for the Radhia
Cousot Young Researcher Best Paper Award, in memory of Radhia
Cousot, and her fundamental contributions to static analysis, as
well as being one of the main promoters and organizers of the SAS
series of conferences.
* 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)
* 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)
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: 15 April 2018
Author notification: 15 May 2018
Contribution for Informal Proceedings: 31 May 2018
* INVITED SPEAKERS: Brigitte Pientka (McGill University, Canada) and
Perdita Stevens (University of Edinburgh, UK)
* Detailed information can be found on the webpage.
12th International Workshop on Developments in Computational Models
(DCM 2018)
Call for submissions
July 8, 2018
https://sites.google.com/g.uporto.pt/dcm18/
A satellite event of FLoC 2018, Oxford
* DCM 2018 will take place in Oxford on July 8, as a one-day satellite
event of FLoC 2018. This will be the 12th event in the series since
2005 - see the DCM website (http://dcm-workshop.org.uk/) for details
of previous events.
* INVITED SPEAKERS
Ugo Dal Lago (University of Bologna)
Delia Kesner (University Paris-Diderot)
* TOPICS OF INTEREST
Topics of interest include all abstract models of
computation and their applications to the development of programming
languages and systems. This includes (but is not limited to):
Functional calculi: lambda-calculus, pattern-calculi, combinatory
logic, term and graph rewriting; Object calculi; Interaction-based
systems: interaction nets, games, agent and multi-agent systems;
Concurrent models: process calculi, action graphs, distributed
systems; Calculi expressing locality, mobility, and active data;
Quantum computational models; Biological or chemical models of
computation;
* 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
* After the workshop authors are invited to submit a full paper taking
into account the feedback given at their presentation. After a
second round of refereeing, accepted contributions will appear in an
issue of Electronic Proceedings in Theoretical Computer Science
(www.eptcs.org).
* PC CHAIR
Sandra Alves, University of Porto
16TH INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO
THEORIES (SMT 2018)
Call for Papers
July 12 - 13, 2018, Oxford, UK
Affiliated with IJCAR 2018, part of FLoC 2018
http://smt-workshop.cs.uiowa.edu/2018/
* The aim of the workshop is to bring together researchers and users
of SMT tools and techniques. Topics include but are not limited to:
decision procedures and theories of interest, combinations of
decision procedures, novel implementation techniques, applications
and case studies, benchmarks and evaluation methodologies,
theoretical results. Papers on pragmatic aspects of implementing
and using SMT tools, as well as novel applications of SMT, in
particular in the areas of machine learning and statistical
reasoning, are especially encouraged.
* IMPORTANT DATES
Abstract submission deadline: April 8, 2018
Paper submission deadline: April 15, 2018
Notification of acceptance: May 15, 2018
Camera ready versions due: June 15, 2018
Workshop: July 12-13, 2018
* PROGRAM CHAIRS
Rayna Dimitrova (University of Leicester)
Vijay D'Silva (Google Inc.)
FOURTH EDITION OF THE WORKSHOP ON HIGHER-DIMENSIONAL
REWRITING AND APPLICATIONS (HDRA 2018)
Call for extended abstracts
July 7, 2018, Oxford, United Kingdom
http://hdra.gforge.inria.fr/
Satellite workshop of FSCD 2018, part of FLOC 2018.
Submission deadline: April 15, 2018
* The aim of the workshop is to gather people interested in pushing
further rewriting theory, using (higher) categories as a common
language. It is open to all topics concerning higher-dimensional
generalizations and applications of rewriting theory, including
- higher-dimensional rewriting: extensions of rewriting theory to
higher-dimensional settings (operads, opetopes,
polygraphs/computads, parity complexes, augmented directed
complexes, etc.), generalizations of string/term/graph rewriting
systems, etc.
- higher categorical structures: weakening, combination and
comparison of categorical structures (monoids, bialgebras, Frobenius
algebras, Lie algebras, etc.), coherence theorems, etc.
- applications of rewriting to algebraic topology: construction of
resolutions, homotopical and homological invariants, linear
rewriting (Gröbner bases, applications to algebras and operads),
Koszul duality theory, etc.
- applications and interactions with other fields: calculi for
quantum computations, proof nets, algebraic lambda-calculi,
topological models for concurrency, homotopy type theory,
combinatorial group theory, etc.
- implementations: the workshop will also be interested in
implementation issues in higher-dimensional rewriting and will allow
demonstrations of prototypes of existing and new tools in
higher-dimensional rewriting.
* INVITED SPEAKERS
Paige North (Ohio State University), joint with HoTT/UF
Emily Riehl (Johns Hopkins University).
* IMPORTANT DATES
Submission: April 15, 2018
Notification: May 7, 2018
Final version: May 21, 2018
Conference: July 7, 2018
* ORGANIZERS
Yves Guiraud (INRIA / Universite Paris 7)
Philippe Malbos (Universite Claude Bernard Lyon 1)
Samuel Mimram (Ecole Polytechnique)
CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS (CICM 2018)
Call for papers
August 13-17, 2018
RISC, Hagenberg, Austria
https://www.cicm-conference.org/2018
* Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation
of mathematical information. CICM brings together the many separate
communities that have developed theoretical and practical solutions
for mathematical applications such as computation, deduction,
knowledge management, and user interfaces. It offers a venue for
discussing problems and solutions in each of these areas and their
integration.
* IMPORTANT DATES
Formal submissions
- Abstract deadline: April 15
- Full paper deadline: April 22
- Camera-ready copies due: June 8
Informal submissions and doctoral programme
- First round submission deadline: April 22
- Second round submission deadline: July 31
Workshop and Tutorial proposals
- Submission deadline: February 26
* Chairs:
- Organizer: Wolfgang Windsteiger
- General program chair: Florian Rabe
- Track chairs: Grant Passmore (Calculemus), Olaf Teschke (DML),
Bill Farmer (MKM), Abdou Youssef (Systems & Projects), Osman Hasan
(Workshops, Tutorial, Doctoral Programme) * For further
information see the website.
LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND
PRACTICE (LFMTP 2018)
Call for Papers
July 07, 2018, Oxford, UK
http://lfmtp.org/workshops/2018/
* 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 8, 2018
Paper deadline: April 15, 2018
* INVITED SPEAKERS:
Delia Kesner (Université Paris Diderot, France)
Kuen-Bang Hou, alias Favonia (Institute for Advanced Study, Princeton, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
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)
INTERNATIONAL WORKSHOP ON EXTERNAL AND INTERNAL
CALCULI FOR NON CLASSICAL LOGICS (EICNCL 2018)
Second Call For Papers
Oxford, UK, 19 July 2018
(affiliated with IJCAR 2018 in FLOC 2018)
http://weic2018.loria.fr/
* The purpose of this workshop would be to discuss recent results on
analytic (external or internal) calculi for non-classical logics
like intuitionistic, modal, epistemic logics, conditional logics,
substructural, resource logics, and other logical systems.
* A Special Issue of a Journal on these topics is expected after the
workshop.
* PROGRAM CHAIRS
A. Ciabattoni (TU Vienna, Austria - co-chair)
D. Galmiche (Lorraine University, CNRS, LORIA, France - co-chair)
N. Olivetti (LSIS, Aix-Marseille University, France - co-chair)
R. Ramanayake (TU Vienna, Austria - co-chair)
* IMPORTANT DATES
Submission deadline: 23 April 2018
Notification to authors: 9 May 2018
Final versions due: 21 May 2018
Workshop date: 19 July 2018
* Additional information will be available through WWW address:
http://weic2018.loria.fr/
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.
EIGHTH SUMMER SCHOOL ON FORMAL TECHNIQUES
Call for Participation
May 19 - May 25, 2018
Menlo College, Atherton, California
http://fm.csl.sri.com/SSFT18
* Techniques based on formal logic, such as model checking,
satisfiability, static analysis, and automated theorem proving, are
finding a broad range of applications in modeling, analysis,
verification, and synthesis. This school, the sixth in the series,
will focus on the principles and practice of formal techniques, with
a strong emphasis on the hands-on use and development of this
technology. It primarily targets graduate students and young
researchers who are interested in studying and using formal
techniques in their research.
* The lecturers at the school include:
Emina Torlak (University of Washington): Solver-Aided Programming
Mooly Sagiv (Tel Aviv University): Modularity for Decidability:
Implementing and Semi-Automatically Verifying Distributed Systems
Nikhil Swamy and Jonathan Protzenko (Microsoft Research):
Programming and Proving in F* and Low*
Andreas Abel (Chalmers/Gothenburg University): Introduction to
Dependent Types and Agda
Dirk Beyer (Ludwig Maximilian University, Munich, Germany): Software
Model Checking
* The main lectures in the summer school will be preceded by a two-day
background course on logic: Natarajan Shankar (SRI CSL) and Stephane
Graham-Lengrand (Ecole Polytechnique) Speaking Logic
* We will also have invited talks by
Nina Narodytska (VMWare Research)
Verifying Properties of Binarized Deep Neural Networks
Gordon Plotkin (U. Edinburgh, UK)
Some Principles of Differentiable Programming Languages Research Papers
Edward A. Lee (UC Berkeley)
Plato and the Nerd - The Creative Partnership of Humans and Technology
* Applicantion deadline: April 30, 2018
13TH INTERNATIONAL CONFERENCE ON CRITICAL INFORMATION
INFRASTRUCTURES SECURITY (CRITIS 2018)
Call for Papers
Kaunas, Lithuania, September 24-26, 2018
www.lei.lt/critis2018
* TOPICS (but not limited to):
http://www.lei.lt/critis2018/call-for-papers.html
* Special sessions will be organized by CRITIS 2018 Supporting Chairs:
Energy CIP: Marcelo Masera, European Commission, Joint Research
Centre, the Netherlands
CI Resilience: Marianthi Theocharidou, European Commission, Joint
Research Centre, Italy
Human Factor and CIP Grigore Havarneanu, UIC, France
SCADA Security: Simin Nadjm-Tehrani, Linköping University, Sweden
Modelling and Simulation in CIP: Erich Rome (President 2E!SAC),
Fraunhofer IAIS, Germany
Interconnected Infrastructures and Systems of Systems: Enrico Zio,
Politecnico di Milano, Italy and Ecole Centrale Paris, France
IoT Security: Sokratis K. Katsikas, NTNU, Norway and University of
Piraeus, Greece
* Call for Papers (PDF to download):
http://www.lei.lt/critis2018/assets/critis_2018_call_for_papers.pdf
* IMPORTANT DATES
Full-text submission: 30 April 2018
Notification of acceptance: 18 June 2018
Camera-ready papers: 9 September 2018
* PROGRAMME CHAIR
Eric Luiijf, TNO (retired) and Luiijf Consultancy, the Netherlands
5th INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN
FORMULAS (AND BEYOND) (QBF 2018)
Call for Papers
July 8 2018, Oxford, UK
http://fmv.jku.at/qbf18/
* The goal of the International Workshop on Quantified Boolean
Formulas (and Beyond) is to bring together researchers working on
theoretical and practical aspects of QBF solving and applications.
Apart from topics related to QBF, topics of interest include the
theory and practice of quantification in other formalisms like
satisfiability modulo theories (SMT) or theorem proving. The
workshop is affiliated to and co-located with the Federated Logic
Conference 2018 (FLoC), Oxford, UK, July 6-19, 2018.
* IMPORTANT DATES
May 01 2018: paper submission
May 15 2018: notification of acceptance
May 25 2018: camera-ready versions
* Topics of interest (not limited to the following): QBF applications;
encodings; benchmarks; certificates; proofs; proof formats; proof
checkers; decision procedures; QBF solving; implementation details;
structural QBF solving; heuristics; preprocessing; quantifiers in
SMT and theorem proving;
* Please see the workshop website for further information:
http://fmv.jku.at/qbf18/
5TH ANNUAL SYNTAX GUIDED SYNTHESIS COMPETITION (SYGUS-COMP 2018)
Call for Solvers and Benchmarks Submission
July 18, 2018 Oxford, England (with FLoC, CAV and SYNT)
http://www.sygus.org/SyGuS-COMP2018.html
* The SyGuS Competition is an annual competition for solvers of the
syntax-guided synthesis problem. This problem asks to find a program
meeting a given logical formulae augmented with a grammar
restricting the set of allowed implementations. These are formulated
in SyGuS-IF, a logical formalism built on top of SMT-LIB.
* Benchmarks and Solvers submission is now open.
* IMPORTANT DATES
Benchmark submission deadline: 1 May 2018
Deadline for first version of solvers: 1 June 2018
* Detailed information can be found on the webpage.
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
25TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION
AND REASONING (TIME 2018)
Call for papers
15-17 October 2018, Warsaw, Poland
https://time2018.ipipan.waw.pl/
* TIME 2018 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer
Science. The symposium, currently in its 25th edition, has a wide
remit and intends to cater to both theoretical aspects and
well-founded applications. One of the key aspects of the symposium
is its interdisciplinarity, with attendees from distinct areas such
as artificial intelligence, database management, logic and
verification, and beyond. The symposium will encompass four tracks
on temporal representation and reasoning in (1) Artificial
Intelligence, (2) Databases (3) Logic and Verification, and (4) New
areas and Applications.
* IMPORTANT DATES
Abstracts due: May 7, 2018;
Full papers due: May 11, 2018;
Notification: June 26, 2018;
Final version due: July 13, 2018
SYMPOSIUM LOGIC AND ALGORITHMS IN COMPUTATIONAL
LINGUISTICS 2018, STOCKHOLM (LACompLing2018)
Call for Papers
Stockholm, 28-31 August 2018
http://staff.math.su.se/rloukanova/LACompLing2018-web/
* The workshop focuses mainly on logical approaches to computational
processing of natural language, and on the applicability of methods
and techniques from the study of artificial languages
(programming/logic) in computational linguistics.
* IMPORTANT DATES
Submission deadline, regular papers: 15 May 2018 (AoE)
Submission deadline, abstracts: 31 May 2018 (AoE)
Notifications: 15 June 2018
Final submissions: TBA
LACompLing2018: between 28-31 Aug 2018 (depending on the program)
* ORGANIZERS
Krasimir Angelov, University of Gothenburg, Sweden
Kristina Liefke, Ludwig-Maximilians-University Munich, Germany
Roussanka Loukanova, Stockholm University, Sweden (chair)
Michael Moortgat, Utrecht University, The Netherlands
Satoshi Tojo, School of Information Science, JAIST, Japan
* CONTACT
Roussanka Loukanova (rloukanova@gmail.com)
Kristina Liefke (Liefke@lingua.uni-frankfurt.de)
3RD INTERNATIONAL WORKSHOP ON AI ASPECTS OF REASONING,
INFORMATION, AND MEMORY 2018 (AIRIM'18)
Call for papers
Poznan, Poland, September 9-12, 2018
https://www.fedcsis.org/2018/airim
* SCOPE
There is general realization that computational models of languages
and reasoning can be improved by integration of heterogeneous
resources of information, e.g., multidimensional diagrams, images,
language, syntax, semantics, quantitative data, memory. While the
event targets promotion of integrated computational approaches, we
invite contributions from any individual areas related to
information, language, memory, reasoning.
* IMPORTANT DATES
Paper submission (strict deadline): May 15 2018 23:59:59 pm HST
Position paper submission: June 12, 2018
Authors notification: June 24, 2018
Final paper submission and registration: July 03, 2018
Final deadline for discounted fee: August 01, 2018
Conference dates: September 9-12, 2018
* EVENT CHAIRS
Grabowski, Adam, Institute of Informatics, University of Bialystok
Ishihara, Hajime, Japan Advanced Institute of Science and Technology
Loukanova, Roussanka, Stockholm University
Schwarzweller, Christoph, Institute of Informatics, University of Gdansk
van den Herik, Jaap, Leiden University
* CONTACT INFORMATION
Roussanka Loukanova (rloukanova@gmail.com)
12TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL
LOGIC (AiML 2018)
Second call for papers
Bern, 27 August -31 August 2018
http://www.aiml2018.unibe.ch
* Advances in Modal Logic is an initiative aimed at presenting the
state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes
based on the conferences. Information about the AiML series can be
obtained at http://www.aiml.net
* AiML 2018 will be co-located with the sixth edition of the
conference "Logic, Algebra and Truth Degrees" (LATD 2018)
http://www.latd2018.unibe.ch
* TOPICS: We invite submissions on all aspects of modal logic,
including: history of modal logic, philosophy of modal logic,
applications of modal logic, computational aspects of modal logic
(complexity and decidability of modal and temporal logics, modal and
temporal logic programming, model checking, model generation,
theorem proving for modal logics), theoretical aspects of modal
logic (topological/algebraic/categorical perspectives on modal
logic, coalgebraic modal logic, completeness and canonicity,
correspondence and duality theory, many-dimensional modal logics,
modal fixed point logics, model theory of modal logic, proof theory
of modal logic), specific instances and variations of modal logic
(description logics, modal logics over non-boolean bases, dynamic
logics and other process logics, epistemic and deontic logics, modal
logics for agent-based systems, modal logic and game theory, modal
logic and grammar formalisms, provability and interpretability
logics, spatial and temporal logics, hybrid logic, intuitionistic
logic, substructural logics, computationally light fragments of all
such logics). Papers on related subjects will also be considered.
* INVITED SPEAKERS
Agata Ciabattoni (TU Wien, Austria)
Rob Goldblatt (Victoria University, New Zealand)
Rosalie Iemhoff (Utrecht University, The Netherlands) -- joint
AiML-LATD invited speaker
Stanislav Kikot (Birkbeck College London and Institute for
Information Transmission Problems, Moscow)
Dana Scott (University of California, Berkeley)
* PROGRAMME COMMITTEE CHAIRS
Guram Bezhanishvili (New Mexico State University)
Giovanna D'Agostino (University of Udine)
* IMPORTANT DATES
Abstracts of full papers submission deadline: 11 March 2018
Full papers submission deadline: 18 March 2018
Full papers acceptance notification: 18 May 2018
Short presentations submission deadline: 20 May 2018
Short presentations acceptance notification: 8 June 2018
Final version of full papers and short presentations due: 17 June 2018
Conference: 27 August -- 31 August 2018
* FURTHER INFORMATION
Please see http://www.aiml2018.unibe.ch
E-mail enquiries should be directed to the PC chairs, sent to
aiml2018@easychair.org
THE NINTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA,
LOGICS, AND FORMAL VERIFICATION (GandALF 2018)
Call for Papers
Saarbrucken (Germany), September 26th - 28th, 2018.
https://www.react.uni-saarland.de/gandalf2018/index.html
* The aim of GandALF 2018 is to bring together researchers from
academia and industry which are actively working in the fields of
Games, Automata, Logics, and Formal Verification. The idea is to
cover an ample spectrum of themes, ranging from theory to
applications, and stimulate cross-fertilization.
* Papers focused on formal methods are especially welcome. Authors are
invited to submit original research or tool papers on all relevant
topics in these areas. Papers discussing new ideas that are at an
early stage of development are also welcome. The topics covered by
the conference include, but are not limited to, the following:
Automata Theory, Automated Deduction, Computational aspects of Game
Theory, Concurrency and Distributed computation, Decision
Procedures, Deductive, Compositional, and Abstraction Techniques for
Verification, Finite Model Theory, First-order and Higher-order
Logics, Formal Languages, Formal Methods for Systems Biology,
Hybrid, Embedded, and Mobile Systems, Games and Automata for
Verification, Game Semantics, Logical aspects of Computational
Complexity, Logics of Programs, Modal and Temporal Logics, Model
Checking, Models of Reactive and Real-Time Systems, Program Analysis
and Software Verification, Run-time Verification and Testing,
Specification and Verification of Finite and Infinite-state Systems,
Synthesis.
* IMPORTANT DATES
Abstract submission: June 13th, 2018
Paper submission: June 15th, 2018
Notification: August 1st, 2018
Camera-ready: August 17th, 2018
Conference: September 26th-28th, 2018
* PROGRAM CHAIRS
Martin Zimmermann, Saarland University, Germany
Andrea Orlandini, ISTC-CNR, Italy
31st INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL 2018)
Call for Papers
October 26-29, 2018 - Tempe, Arizona, US
http://dl.kr.org/dl2018/
* 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 June 29, 2018;
Paper submission July 6, 2018;
Notification September 10, 2018;
Camera-ready copies due October 4, 2018;
Workshop dates October 26-29, 2018
* 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).
INTERNATIONAL SUMMER SCHOOL AND WORKSHOP ON PROOF THEORY
ANNOUNCEMENT
1st International Summer School on Proof Theory
Ghent, September 2-5, 2018
http://www.proofsociety.org/summer-school-2018/
and
Workshop on Proof Theory
Ghent, September 6-7, 2018
http://www.proofsociety.org/workshop-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 Gödel 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 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 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. Students are invited to apply with an informal abstract (1
page) to the poster session which will be held as part of the
workshop.
* 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)
* More information is available on
http://www.proofsociety.org/summer-school-2018/
PhD POSITION IN PARAMETERIZED COMPLEXITY AT TU WIEN, AUSTRIA
* The position is part of the Austrian research project "New Frontiers
for Parameterized Complexity" within the Algorithms and Complexity
Group at the Vienna University of Technology (TU Wien). The project
investigates the parameterized complexity of problems not only in
the traditional graph setting, but also in areas such as
Computational Logic, Artificial Intelligence and Integer Linear
Programming. The candidate will be supervised by Robert Ganian
(Project PI).
* Applicants are expected to have excellent mathematical skills as
well as an interest and background in discrete algorithms.
* The position should start in the second half of 2018 and is for up
to three years (the expected duration of the PhD program). The
salary is according to the FWF standard contracts for PhD candidates
(approx. EUR 38,000.00 gross, p.a.), which allows for a convenient
life in Vienna close to the city center.
* The application should include the candidate's CV, an abstract of
the diploma/masters thesis, a short motivation letter, and two
letters of recommendation (all five items in a single pdf file;
alternatively, letters of recommendation may be sent directly by
their authors). The application should also mention possible
starting dates and should be sent to rganian@gmail.com by 30 April
2018.
* Enquiries and questions about the position may also be sent to
rganian@gmail.com.
POSTDOC POSITION: TEAMPLAY EUROPEAN PROJECT, RENNES, FRANCE
* Postdoctoral Researcher in computer science and engineering in
security for the TeamPlay European project (2018-2020).
* Leader of the TAMIS team : Axel LEGAY
* Coordinator of the TeamPlay project: Olivier ZENDRA
* Duration of the contract: From now till end of December 2020.
* Full details: https://jobs.inria.fr/public/classic/en/offres/2018-00596
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).
POSTDOC OPENING AT THE UNIVERSITA DEGLI STUDI DI VERONA, ITALY
The Department of Computer Science of the Universita degli Studi di
Verona has an opening for one postdoctoral researcher position in
automated reasoning. The position is full-time on research (no
teaching assignments), and is completely flexible in terms of
research topic. Funding for one year was already secured and an
application for funding for a second year was recently
submitted. Thus, the position is for one year, possibly
renewable. The candidate is expected to start in September 2018 the
latest. Recent PhD graduates in Computer Science or related fields
with a thesis in any topic in automated reasoning, broadly meant,
are invited to get in touch by e-mail with Maria Paola Bonacina
(see http://profs.sci.univr.it/~bonacina/index.html for
contact info). Applications will be considered as soon as received.
Back to the LICS web page.