SIGLOG Monthly 197
December 6, 2017
*******************************************************************
* Past issues of the newsletter are available at
http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
LICS 2018 - Call for Papers
FLoC 2018 - Joint Call for Papers
FLoC 2018 - Workshop Announcement
Winners of the 2017 Alonzo Church Award
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
SYSMICS 2018 - Call for Abstracts
FoIKS 2018 - Call for papers
PODS 2018 - Call for Papers
HAPOP4 - Call for Papers
CMCS 2018 - Call for Papers
ITEQS - Call for papers
ACM CPSS'18 - Call for Papers
NETYS 2018 - Call For Papers
FSCD 2018 - First Call for Papers
GaLoP 2018 - Call for submissions
CCC2017 - Second Call for submissions (postproceedings)
CiE 2018 - First 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
DCM 2018 - First Call for Papers
CSL 2018 - Preliminary Call for Papers
LFMTP 2018 - First Call for Papers
CONCUR 2018 - Call for Papers
MINDS AND MACHINES SPECIAL ISSUE - Call for Papers
* JOB ANNOUNCEMENTS
2 POSTDOCTORAL POSITIONS IN COMPUTATIONAL LOGIC AT OXFORD, UK
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
WINNERS OF THE 2017 CHURCH AWARD
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Samson Abramsky, Radha
Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno
Nickau for providing a fully-abstract semantics for higher-order
computation through the introduction of game models, thereby
fundamentally revolutionising the field of programming language
semantics, and for the applied impact of these models.
* Their contributions appeared in three papers:
- S. Abramsky, R. Jagadeesan, and P. Malacaria. Full Abstraction for
PCF. Information and Computation, Vol. 163, No. 2, pp. 409 - 470,
2000.
- J.M.E. Hyland and C.-H.L. Ong. On Full Abstraction for PCF: I, II,
and III. Information and Computation, Vol. 163, No. 2,
pp. 285 - 408, 2000.
- H. Nickau. Hereditarily sequential
functionals. Proc. Symp. Logical Foundations of Computer Science:
Logic at St. Petersburg (eds. A. Nerode and Yu.V. Matiyasevich),
Lecture Notes in Computer Science, Vol. 813,
pp. 253 - 264. Springer-Verlag, 1994.
A description of the contributions is available at
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 award was presented at the 26th Computer Science Logic
(CSL) Conference, the annual meeting of the European Association for
Computer Science Logic. This was held August 20th - 24th, 2017, at
Stockholm University, Sweden.
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
Panangaden and the other officers are Luke Ong (vice-Chair), Amy
Felty (Treasurer) and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science is the flagship
conference of SIGLOG. SIGLOG will also actively seek association
agreements with other conferences in the field. A SIGLOG newsletter
(SIGLOG News) is also published quarterly in an electronic format
with community news, technical columns, members' feedback,
conference reports, book reviews and other items of interest to the
community.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG
membership fee is $25 and $15 for students).
EATCS Bulletin - Call for abstracts
* EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we will be considering for publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all
areas of theoretical computer science (for instance, see topics of
the three Tracks of ICALP,
http://www.easyconferences.eu/icalp2016/cfp.html).
* Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.
* The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 20th of the previous month, for instance, May
20 (Sat) 2017 for the June issue of this year. All materials
including tex and pdf files should be sent electrically to
bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp.
Acceptance/rejection, decided based on its merit mentioned above,
will be notified as soon as possible. The Bulletin will not require
copy-right transfer for accepted abstracts.
DATES
* SYSMICS 2018
Call for Abstracts
February 26-28, 2018, Vienna, Austria
http://sysmics.logic.at
Abstract submission deadline: 15th December 2017
* FoIKS 2018
Call for papers
May 14-18, 2018, Alfred Renyi Institute of Mathematics, Budapest, Hungary
http://2018.foiks.org/
Paper submission: December 18, 2017
* PODS 2018
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
Paper submission (2nd cycle): Dec 19, 2017
* HAPOP4
Call for Papers
https://www.shift-society.org/hapop4/
23 March 2018, Mathematical Institute, University of Oxford, Uk
Co-located with BSHM Meeting on History of Computing, 22 March 2018
Submission deadline: 1 January 2018
* CMCS'18
Call for Papers
14 - 15 April 2018, Thessaloniki, Greece
co-located with ETAPS 2018
www.coalg.org/cmcs18
Submission of regular papers due: 12 January 2018
* ITEQS 2018
Call for Papers
Co-located with ICST 2018, Vasteras - Sweden
http://www.mrtc.mdh.se/ITEQS/2018/
Submission deadline: January 12, 2018
* ACM CPSS'18
Incheon, Korea, June 4, 2018
(in conjunction with ACM AsiaCCS'18)
http://jianying.5gbfree.com/cpss/CPSS2018/
Submission due: Jan 20, 2018 (GMT) - firm
* 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
* CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017
Call for Submissions (Postproceedings)
Deadline for submission 1 February 2018
* CiE 2018
First 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
* 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
Preliminary 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)
* MINDS AND MACHINES SPECIAL ISSUE
Call for Papers
http://philo.hlrs.de/?p=277
Deadline for paper submissions: 2018-05-01
SECOND SYSMICS WORKSHOP "SUBSTRUCTURAL LOGICS: SEMANTICS, PROOF THEORY
AND APPLICATIONS"
Call for Abstracts
February 26-28, 2018, Vienna, Austria
http://sysmics.logic.at
* Substructural logics are non-classical logics lacking some of the
structural rules of classical logic, and are motivated by
philosophical, linguistic and computational
considerations. Traditionally, substructural logics have been
investigated using proof theoretic and algebraic methods. In recent
years, combined approaches have started to emerge. The program of
this SYSMICS workshop will be focused on the interactions between
syntactic and semantic methods in substructural and related logics,
as well as their applications.
* If you would like to give a contributed talk, please submit an
abstract of 1-3 pages in pdf via the EasyChair submission page:
http://easychair.org/conferences/?conf=sysmicsw2
* Participation will be free of charge, and everyone is welcome to
attend with or without contributing a talk. Notification of
attendance via email by 10th February, 2018 would be
appreciated. All notifications and informal enquiries should be
addressed to sysmics@logic.at
* Limited travel grants may be available (please enquire).
* Invited Speakers: To be announced
* IMPORTANT DATES
15th December 2017: abstract submission deadline
22nd December 2017: author notification
26 - 28th February 2018: workshop
* This is the second workshop in the framework of the MSCA-RISE
project SYSMICS (Syntax meets Semantics - Methods, Interactions, and
Connections in Substructural logics
http://logica.dmi.unisa.it/sysmics/).
* Detailed information can be found on the webpage.
10th SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND
KNOWLEDGE SYSTEMS (FoIKS 2018)
Call for papers [Extended Deadline]
May 14-18, 2018, Alfred Renyi Institute of Mathematics,
Budapest, Hungary
http://2018.foiks.org/
* FoIKS 2018 solicits original contributions dealing with any
foundational aspect of information and knowledge systems. This
includes submissions that apply ideas, theories or methods from
specific disciplines to information and knowledge systems. Examples
of such disciplines are discrete mathematics, logic and algebra,
model theory, information theory, complexity theory, algorithmics
and computation, statistics and optimization.
* The FoIKS symposia are a forum for intense discussions. Speakers
will be given sufficient time to present their ideas and results
within the larger context of their research; furthermore,
participants will be asked to prepare a first response to another
contribution in order to initiate discussion.
* Invited Speakers:
Gerhard Brewka (Leipzig Univ.) Laura Kovacs (TU Wien),
Sebastian Link (Auckland Univ.), David Pearce (TU Madrid),
Bernhard Thalheim (Christian-Albrechts Univ. Kiel)
* Scientific Sponsors:
AIJ, ALP, EATCS, Vienna Center for Logic and Algorithms
* Important dates (EXTENDED):
Abstract submission due (EXTENDED) : December 11, 2017;
Paper submission (EXTENDED): December 18, 2017;
Notification (EXTENDED): February 19, 2018
* Detailed information can be found on the webpage:
http://2018.foiks.org/
37th ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE
SYSTEMS (PODS 2018)
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
* The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of data
management, traditional or non-traditional (see
http://www.sigmod.org/the-pods-pages/the-pods-pages).
* For the 37th edition, PODS continues to aim to broaden its scope,
and calls for research papers providing original, substantial
contributions along one or more of the following aspects:
- deep theoretical exploration of topical areas central to data
management;
- new formal frameworks that aim at providing the basis for deeper
theoretical investigation of important emerging issues in data
management;
- validation of established theoretical approaches from the lens of
practical applicability in data management. Papers in this track
should provide an experimental evaluation that gives new insight
in established theories. Besides, they should provide a clear
message to the database theory community as to which aspects need
further (theoretical) investigation, based on the experimental
findings.
* Topics (that fit the interests of the symposium include, but are not
limited to):
- concurrency & recovery, distributed/parallel databases, cloud
computing
- data and knowledge integration and exchange, data provenance, views
and data warehouses, metadata management
- data-centric (business) process management, workflows, web services
- data management and machine learning
- data mining, information extraction, search
- data models, data structures, algorithms for data management
- data privacy and security, human-related data and ethics
- data streams
- design, semantics, query languages
- domain-specific databases (multi-media, scientific, spatial,
temporal, text)
- graph databases and (semantic) Web data
- incompleteness, inconsistency, uncertainty in data management
- knowledge-enriched data management
- model theory, logics, algebras, computational complexity
* PROGRAM CHAIR: Marcelo Arenas
* IMPORTANT DATES:
First Submission Cycle:
- Abstract submission: Jun 15, 2017
- Paper submission: Jun 22, 2017
- First notification: Aug 31, 2017
- Revision deadline: Sep 28, 2017
- Final notification: Nov 02, 2017
Second Submission Cycle:
- Abstract submission: Dec 12, 2017
- Paper submission: Dec 19, 2017
- Final notification: Feb 27, 2018
All deadlines end at 11:59pm AoE.
FOURTH SYMPOSIUM ON THE HISTORY AND PHILOSOPHY OF PROGRAMMING
(HAPOP4 2018)
Call for Papers
https://www.shift-society.org/hapop4/
23 March 2018, Mathematical Institute, University of Oxford, Uk
Co-located with BSHM Meeting on History of Computing, 22 March 2018
* HaPoP 2018 is the fourth edition of the Symposium on the History and
QPhilosophy of Programming, organised by HaPoC, Commission on the
History and Philosophy of Computing: http://www.hapoc.org
* For the symposium, we invite submission of two-page extended abstracts
(including footnotes, but excluding references).
* IMPORTANT DATES:
Submission deadline: 1 January 2018
Author notification: 2 February 2018
HaPoP symposium: 23 March 2018
Submission web site: (coming soon)
Program committee and registration
* HaPoP4 co-chairs are Tomas Petricek and Ursula Martin.
* CONTACT: Tomas at tomas@tomasp.net. For
quick questions, you can also use @tomaspetricek on Twitter.
* For further information see the website.
COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS'18)
Call for Papers
14 - 15 April 2018, Thessaloniki, Greece
co-located with ETAPS 2018
www.coalg.org/cmcs18
* Established in 1998, the CMCS workshops aim to bring together
researchers with a common interest in the theory of coalgebras,
their logics, and their applications. As the workshop series strives
to maintain breadth in its scope, areas of interest include
neighbouring fields as well.
* Keynote speaker
Samson Abramsky (University of Oxford, United Kingdom)
* Invited speakers
Clemens Kupke (University of Strathclyde, United Kingdom)
Daniela Petrisan (University Diderot Paris 7, France)
* Invited tutorial speakers
Bob Coecke (University of Oxford, United Kingdom)
Aleks Kissinger (Radboud University Nijmegen, The Netherlands)
* IMPORTANT DATES
Abstract regular papers 5 January 2018
Submission regular papers 12 January 2018
Notification regular papers 12 February 2018
Camera-ready copy 19 February 2018
Submission short contributions 23 February 2018
Notification short contributions 9 March 2018
* Proceedings: The proceedings of CMCS 2018 will include all accepted
regular papers and will be published post-conference as a Springer
volume in the IFIP-LNCS series.
* PC chair: Corina Cirstea (University of Southampton, United Kingdom)
2ND INTERNATIONAL WORKSHOP ON TESTING EXTRA-FUNCTIONAL PROPERTIES
AND QUALITY CHARACTERISTICS OF SOFTWARE SYSTEMS (ITEQS)
Co-located with ICST 2018, Vasteras - Sweden
http://www.mrtc.mdh.se/ITEQS/2018/
* SCOPE The workshop endorses contributions in a wide range of
topics related to testing of EFPs in the form of full papers and
short yet solid work-in-progress/position papers. Note: The
workshop does not accept papers that focus purely onfunctional
testing! For further information, see the website.
* IMPORTANT DATES
Submission deadline: January 12, 2018
Notifications: February 21, 2018
Workshop date: April 9, 2018 (preliminary)
* ORGANIZERS
Mehrdad Saadatmand, RISE SICS Vasteras, Sweden
(mehrdad.saadatmand[at]ri.se)
Birgitta Lindstrom, University of Skovde, Sweden
(birgitta.lindstrom[at]his.se)
Bernhard K. Aichernig, Graz University of Technology, Austria
(aichernig[at]ist.tugraz.at)
* Contact: iteqs2018@easychair.org
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/
Submission due: Jan 20, 2018 (GMT) - firm
* 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
Submission due: Jan 20, 2018 (GMT) - firm
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
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)
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)
First 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.
* Further details regarding the conference, including grants and
organisation, are available on the web-site.
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
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)
Preliminary Call for Papers
4-7 September 2018, Birmingham, UK
https://easychair.org/cfp/CSL18
Paper submission : April 14th, 2018
* 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
Paper submission : April 14th, 2018
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)
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
2 POSTDOCTORAL POSITIONS IN COMPUTATIONAL LOGIC AT OXFORD
* Oxford University, UK
* Duration 1-3 years,
* Multiple postdoctoral positions are available in Oxford in the
project Proof-Driven Query Planning. Topics of interest include
model theory and proof theory for guarded logics, interpolation,
proof search and automata-to-logic translation.
* Starting time and duration are flexible, with the latest starting
time being fall of 2018. Both applied and theoretically-oriented
candidates will be considered. The position has no teaching or
administration duties.
* Deadline, December 13, 2017
* Contact for application and position details:
further details: michael.benedikt@cs.ox.ac.uk
application: http://www.cs.ox.ac.uk/news/1410-full.html
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.