From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 973745D5 for ; Wed, 11 Apr 2018 07:04:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,435,1517871600"; d="scan'208,217";a="322261910" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Apr 2018 09:04:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C00FD82444; Wed, 11 Apr 2018 09:04:09 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D1C058240C for ; Wed, 11 Apr 2018 08:08:12 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Andrzej.Murawski@cs.ox.ac.uk; spf=Pass smtp.mailfrom=Andrzej.Murawski@cs.ox.ac.uk; spf=None smtp.helo=postmaster@relay16.mail.ox.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3AlMuxhBHB3RWEnnwVSIyMYJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76p8q9bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul8qlrVQToiD?= =?us-ascii?q?8ZODEl7GHZhMtwjKdBrxKgoRx03orYbY6ROfZ7eK7WYNEUSndbXstJWCNBGYOy?= =?us-ascii?q?YYUMAeQcI+hXs5LwqEESoRakHwSgGP/jxz1Oi3Tr3aM6yeMhEQTe0QE8GdIBrW?= =?us-ascii?q?7UrdTrO6cQTOu7y7TIzS/ZYPJYwjf964nIeQ0mrPyQW7J/bNDRyEgxGAPHlFme?= =?us-ascii?q?rpHlPymP2eUDqGib7OtgWPmzhG48sQ1xpTeuyt02hYbVnI4V11PE+Dx/zY0oK9?= =?us-ascii?q?O4T0t7bsSlEJtWryyaKo12QsI+Q2Fvoio6y6EGtYa6fCgM0pQnxgTQZ+aJc4iS?= =?us-ascii?q?+h7jSeCRLixiiH1+YrKznw6y8VK6xe3zU8m7ykpKritZndnXsXAN2QfT5dKbSv?= =?us-ascii?q?dn+UehwzmP2xjd6uFAJkA7ibTXJ4I8zrMzjJYTtl7DHiDulEX1kKCWcl8o9fK0?= =?us-ascii?q?5Oj9f7XmpYeQN5J1ig7lMaQigNawDvgiPgcUQ2iX4f6z1KX7/U3iXLVFlOE2nb?= =?us-ascii?q?fDvJ/EOMsbu7a1Awtb0oYm9xa/Fy2q0NMCnXkINF5FYBWHj4zpOlHSPv/3Efe/?= =?us-ascii?q?g1KtkDdy2vDJIKftApvXLnXFjbzvfq595lZBxAcyw91T/Y9YBqsfLP7pR0P8td?= =?us-ascii?q?3VAgcnPwCox+vrEtZw24MEVW6RH6OUMLnevFCM6+8pPuKCfpUauCznJPgg//Pu?= =?us-ascii?q?jWE2mVsafaSxx5sYdnS4Ee5mIkmEYHfgmNIBHn0Lvgo6VuDqj1KDXSRJaHmuRa?= =?us-ascii?q?48+zI7BJqnDYfFWI+tnKSM0Dq6E5BYfGxKF0qAHWnye4mZWvoBaTqeIsp7nTwF?= =?us-ascii?q?UbihRZUh1RartALi17dnKPfb+jcZtJ391th5/erdlQwo9TNuAcWdyGKNT2Bvk2?= =?us-ascii?q?wUXD86xqd/oENnxliZzad0meFYFd9L6/NTTgg6LYLcz/B9C93qRg3OZNKJSFK/?= =?us-ascii?q?TtWiADExVc4xzsQVY0d9HtWilgrM0zCrA78TjbyLBYY7/rjS33jrdI5BzCPt3a?= =?us-ascii?q?wlyn0nWdcHYWavg6o68wnIG6bIlV+YnuCkb/JP8jTK8TKqy2aUrkxaGCttS6za?= =?us-ascii?q?RnMeLh//q9jj9E7ACZqzE704KQhA4cWZbKxaLNTiy0hFEqSwcO/Can68zj/jTS?= =?us-ascii?q?2DwamBOda7IjRP7GDmEEEB1jsr0zODPAk6CD2mpjuFXjd1U1X/JUrnt/R9+iri?= =?us-ascii?q?Eh0EijqSZkgk7IKbvwYPjKXHGfgImLUU/i4q7Sh3Tg7kgoDmTuGYrg8kR51yJN?= =?us-ascii?q?Mw5FAdjjDDugh0L8X+aaVrh1pYdBQxtkioyhYlUog=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AQA5pc1ah6YCAaNcFggBDAaEFQ5vK?= =?us-ascii?q?INigR1CgV2UWYFlAQGDfYwVggoDUgEKI4FXgUd3gxQZBwEENBQBAgEBAQEBAQE?= =?us-ascii?q?BARMBAQEKCwkIKCMMVwGBXQyDAgMGMBUFHRUtCgIkEgEFASIcC4M4gUABD5dRg?= =?us-ascii?q?x08iwWCHIdQGGiCH4YNgTyBeT+BCwGCGjyDCCAMCwEBAQEEhFaCVAKMYIJxh38?= =?us-ascii?q?IhVaCT4YRgTM7gWOBPIc2iR8+RhOFSQ8hgQQMJ1RtHA4ITTRvBoF8AQEOCQkNg?= =?us-ascii?q?VEwDgmBTS8rNWkzNxFDgRsLCn1uFyRNYFVkgnhPAQGMLBArghgBAQ?= X-IPAS-Result: =?us-ascii?q?A0C+AQA5pc1ah6YCAaNcFggBDAaEFQ5vKINigR1CgV2UWYF?= =?us-ascii?q?lAQGDfYwVggoDUgEKI4FXgUd3gxQZBwEENBQBAgEBAQEBAQEBARMBAQEKCwkIK?= =?us-ascii?q?CMMVwGBXQyDAgMGMBUFHRUtCgIkEgEFASIcC4M4gUABD5dRgx08iwWCHIdQGGi?= =?us-ascii?q?CH4YNgTyBeT+BCwGCGjyDCCAMCwEBAQEEhFaCVAKMYIJxh38IhVaCT4YRgTM7g?= =?us-ascii?q?WOBPIc2iR8+RhOFSQ8hgQQMJ1RtHA4ITTRvBoF8AQEOCQkNgVEwDgmBTS8rNWk?= =?us-ascii?q?zNxFDgRsLCn1uFyRNYFVkgnhPAQGMLBArghgBAQ?= X-IronPort-AV: E=Sophos;i="5.48,434,1517871600"; d="scan'208,217";a="261608449" Received: from relay16.mail.ox.ac.uk ([163.1.2.166]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Apr 2018 08:08:10 +0200 Received: from smtp4.mail.ox.ac.uk ([129.67.1.207]) by relay16.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1f68vO-0005cl-rJ for caml-list@inria.fr; Wed, 11 Apr 2018 07:08:09 +0100 Received: from mail-lf0-f49.google.com ([209.85.215.49]) by smtp4.mail.ox.ac.uk with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1f68vO-00070r-Dd for caml-list@inria.fr; Wed, 11 Apr 2018 07:08:06 +0100 Received: by mail-lf0-f49.google.com with SMTP id p142-v6so891467lfd.6 for ; Tue, 10 Apr 2018 23:08:06 -0700 (PDT) X-Gm-Message-State: ALQs6tAJ2mhFmdJkCB+hI00xHC2rmqvxaZp/PA0iUTYDl1hYcDgPkLc9 d9eT6xWxMIC/OEu6pX3Y9ZeRJb2TrxDL7/J9UCA= X-Google-Smtp-Source: AIpwx49t2Wekujdf+iC4EfVa1uBQR/c9GzA2HaZeFp1S2rUzY3K2uO8CWRCHxrHOe9MK1o/ijH1hQgX5N1LSFa5umHA= X-Received: by 2002:a19:59d1:: with SMTP id n200-v6mr1838053lfb.84.1523426885420; Tue, 10 Apr 2018 23:08:05 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Tue, 10 Apr 2018 23:08:04 -0700 MIME-Version: 1.0 Sender: Andrzej Murawski From: Andrzej Murawski Date: Tue, 10 Apr 2018 23:08:04 -0700 X-Google-Sender-Auth: LbxcZshfrKI6J9Cw-xuGvqoqLiU X-Gmail-Original-Message-ID: Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="00000000000058cb0d05698c7609" X-Oxford-Username: lina0645 X-Oxmail-Spam-Status: score=0.0 tests=HTML_MESSAGE,UNPARSEABLE_RELAY,URI_TRY_3LD 0.0 URI_TRY_3LD URI: "Try it" URI, suspicious hostname 0.0 HTML_MESSAGE BODY: HTML included in message 0.0 UNPARSEABLE_RELAY Informational: message has unparseable relay lines X-Oxmail-Spam-Level: / X-Validation-by: andrzej.murawski@cs.ox.ac.uk Subject: [Caml-list] FLoC 2018 - Last Joint Call for Workshop Papers Reply-To: Andrzej Murawski X-Loop: caml-list@inria.fr X-Sequence: 16796 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000058cb0d05698c7609 Content-Type: text/plain; charset="UTF-8" FLoC 2018 --- The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England 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, FLoC 2018 will feature 79 workshops arranged in three segments: Pre-FLoC: Sat 7 - Sun 8 (workshops related to CSF, FSCD, ITP, LICS and SAT), Mid-FLoC: Wed 11 - Sat 14 (workshops related to CAV, ICLP, IJCAR, ITP and LICS), Post-FLoC: Wed 18 - Thu 19 (workshops related to FM, CAV, ICLP and IJCAR). The suggested submission deadline is 15th April 2018, notifications will be sent out no later than 15th May 2018. Please refer to the individual websites for workshop-specific Calls for Papers, deadlines and information on how to submit. *** 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/ Mentor Workshop 1, 8 July (website coming soon) *** Mid-FLoC workshops (Wednesday 11 - Saturday 14 July) Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems (SC^2 2018), 11 July http://www.sc-square.org/CSA/workshop3.html IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 11-13 July http://www.cs.ox.ac.uk/conferences/ADHS18/ 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 12-13 July http://smt-workshop.cs.uiowa.edu/2018/ CAV Tutorials, 13 July http://cavconference.org/2018/invited-speakers-tutorials/ 7th Workshop on Logic and Systems Biology (LSB), 13 July http://perso.ens-lyon.fr/russell.harmer/lsb7.html Isabelle Workshop, 13 July http://sketis.net/isabelle/isabelle-workshop-2018 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 13 July https://sites.google.com/a/aixia.it/rcra/rcra-2018 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018), 13 July http://forsyte.at/events/frida2018/ 5th Vampire Workshop (Vampire 2018), 13 July http://easychair.org/smart-program/Vampire18/ 19th Workshop on Logic and Computational Complexity (LCC), 13 July http://www.cs.swansea.ac.uk/lcc/index.html 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), 13 July https://www.sci.unich.it/hcvs18/ Workshop on Learning and Automata (LearnAut 2018), 13 July https://learnaut2018.wordpress.com/ 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018), 13 July http://math.umons.ac.be/more2018/ Workshop on Modular Knowledge (Tetrapod), 13 July http://new.kwarc.info/events/Tetrapod-2018/ First Workshop on Automated Deduction for Separation Logics (ADSL 2018), 13 July http://adsl.univ-grenoble-alpes.fr/ DMW18: Deduction Mentoring Workshop, 13 July http://easychair.org/smart-program/DMW18/ Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13 July http://rv4rise.conf.tuwien.ac.at/ 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), 13 July http://www.informatik.uni-bremen.de/uitp/uitp2018/ Verification Mentoring Workshop 2, 13 July http://cavconference.org/2018/verification-mentoring-workshop/ Summit on Machine Learning Meets Formal Methods, sponsored by the Alan Turing Institute, 13 July http://www.floc2018.org/summit-on-machine-learning/ 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), 14 July https://sites.google.com/view/fideworkshop2018 16th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2018), 14 July http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2018/ 16th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, 14 July http://overturetool.org/workshops/16th-Overture-Workshop.html FM Doctoral Symposium, 14 July http://www.fm2018.org/doctoral-symposium/ *** Post-FLoC workshops (Wednesday 18 - Thursday 19 July) 18th Refinement Workshop, 18 July http://www.refinenet.org.uk/ 1st International Workshop on Parallel Logical Reasoning (PLR), 18 July https://antonwijs.wixsite.com/plr2018 7th Workshop on Synthesis (SYNT 2018), 18 July http://synt2018.seas.ucla.edu Theorem Prover Components for Educational Software (ThEdu 2018), 18 July http://www.uc.pt/en/congressos/thedu/thedu18 TLA+ Community Event 2018, 18 July http://tla2018.loria.fr/ Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), 18 July https://sites.google.com/site/aspocp2018/ International Conference on Logical Programming - Doctoral Consortium (ICLP - DC 2018), 18 July http://easychair.org/smart-program/ICLP-DC2018/ 16th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2018), 18 July https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), 18 July http://iltp.de/ARQNL-2018/ Workshop on Logic and Practice of Programming (LPoP 2018), 18 July http://lpop.cs.stonybrook.edu/ 13th International Workshop on Constraint Based Methods in Bioinformatics (WCB 2018), 18 July http://clp.dimi.uniud.it/wcb/wcb18/ International Workshop on the Verification and Validation of Autonomous Systems (VaVAS), 18-19 July http://cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/ 16th International Workshop on Termination (WST 2018), 18-19 July http://wst2018.webs.upv.es/ MLP18: Machine Learning for Programming, 18-19 July https://prodo.ai/mlp18 The LaSh 2018 Workshop on Logic and Search, 18-19 July http://www.logicandsearch.org/LaSh2018/ 10th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2018), 18-19 July http://vstte18.it.uu.se/ 11th International Workshop on Numerical Software Verification (NSV-XI), 18-19 July https://nsv-2018.github.io/nsv2018/ 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), 18-19 July http://avocs18.irisa.fr/ Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), 19 July http://pruv18.inf.unibz.it/ Third Workshop on Fun With Formal Methods (FWFM 2018), 19 July http://persons.iis.nsk.su/en/FWFM2018 International Workshop on External and Internal Calculi for Non-Classical Logics, 19 July http://weic2018.loria.fr/ Robots, Morality, and Trust through the Verification Lens, 19 July http://qav.cs.ox.ac.uk/robots_morality_trust/ 6th Workshop on the Practical Aspects of Automated Reasoning (PAAR 2018), 19 July http://easychair.org/smart-program/PAAR-2018/ Verification of Engineered Molecular Devices and Programs (VEMDP 2018), 19 July http://dna.caltech.edu/vemdp2018/ Workshops Committee General Chair: Moshe Y. Vardi Co-chairs: Daniel Kroening, Marta Kwiatkowska Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase CAV: Hana Chockler CSF: Cas Cremers FM: Helen Treharne FSCD: Paula Severi ICLP: Stefan Woltran IJCAR: Alberto Griggio ITP: Assia Mahboubi LICS: Patricia Bouyer SAT: Martina Seidl -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs --00000000000058cb0d05698c7609 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
FLoC 2018 --- The 2018 Federated Logic Conference
6-19 = July 2018
Oxford, England UK
http://www.floc2018.org/workshops

The seventh Federated Lo= gic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, a= t the Mathematical Institute and the
Blavatnik School of Government at t= he University of Oxford. In addition
to nine major international confere= nces related to mathematical logic
and computer science, FLoC 2018 will = feature 79 workshops arranged
in three segments:

Pre-FLoC: Sat 7 = - Sun 8 (workshops related to CSF, FSCD, ITP, LICS and SAT),
Mid-FLoC: W= ed 11 - Sat 14 (workshops related to CAV, ICLP, IJCAR, ITP and LICS),
Po= st-FLoC: Wed 18 - Thu 19 (workshops related to FM, CAV, ICLP and IJCAR).
The suggested submission deadline is 15th April 2018, notificationswill be sent out no later than 15th May 2018. Please refer to the
indiv= idual websites for workshop-specific Calls for Papers, deadlines
and inf= ormation on how to submit.


*** Pre-FLoC workshops (Saturday 7 - = Sunday 8 July)

32nd International Workshop on Unification (UNIF 2018= ), 7 July
http://unif2018.cic.un= b.br/

7th International Workshop on Confluence (IWC 2018), 7 Jul= y
http://cl= -informatik.uibk.ac.at/events/iwc-2018/

7th International Worksh= op on Classical Logic and Computation (CL&C
2018), 7 July
http://www.di.= unito.it/~stefano/CL&C/CL&C18.htm

Higher-Dimensional Rew= riting and Algebra (HDRA 2018), 7 July
http://hdra.gforge.inria.fr/

International Workshop on L= ogical Frameworks and Meta-Languages:
Theory and Practice (LFMTP 2018), = 7 July
http://lfmtp.org/wor= kshops/2018/

7th International Workshop on the Cross-Fertilizati= on Between CSP and
SAT (CSPSAT 2018), 7 July
(website coming soon)
Pragmatics of SAT (PoS 2018), 7 July
http://www.pragmaticsofsat.org/2018/

Twenty Y= ears 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 Lang= uages (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
Lineari= ty and 2nd Workshop on Trends in Linear Logic and
Applications), 7-8 Jul= y
http://lipn.u= niv-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

Worksho= p 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 Rea= soning (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 Compute= r Science (NLCS 2018), 7-8 July
http://www.indiana.edu/~iulg/nlcs.html

7th Workshop o= n Mathematically Structured Functional Programming (MSFP
2018), 8 Julyhttps://msfp2018.bentnib.org/

5th International Workshop on Rewriting Techniques for ProgramTransformations and Evaluation (WPTE 2018), 8 July
http://researchers.li= lle.inria.fr/niehren/WPTE-2018/main.html

The Coq Workshop 2018, = 8 July
https://coqworkshop= 2018.inria.fr/

International Workshop on Quantified Boolean Form= ulas and Beyond (QBF
2018), 8 July
http://fmv.jku.at/qbf18/

5th International Workshop on Graphi= cal Models for Security (GraMSec
2018), 8 July
http://gramsec.uni.lu/

Women in Logic 2018, 8 July<= br>https= ://sites.google.com/site/womeninlogic2018/welcome

9th Workshop o= n Intersection Types and Related Systems (ITRS 2018), 8 July
https://www.irif.fr/~michele/itrs201= 8

Coalgebra Now, 8 July
http://homepage.tudelft.nl/c9d1n/floc2= 018coalgebra/index.html

12th International Workshop on Developme= nts 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/

Wo= rkshop on Foundations of Computer Security (FCS 2018), 8 July
http://www.andrew= .cmu.edu/user/liminjia/events/fcs2018/

Mentor Workshop 1, 8 July=
(website coming soon)


*** Mid-FLoC workshops (Wednesday 11 -= Saturday 14 July)

Satisfiability Checking and Symbolic Computation:= Bridging Two
Communities to Solve Real Problems (SC^2 2018), 11 Julyhttp://www.sc-squa= re.org/CSA/workshop3.html

IFAC Conference on Analysis and Design= of Hybrid Systems (ADHS 2018), 11-13 July
http://www.cs.ox.ac.uk/conferences/ADHS18/
16th International Workshop on Satisfiability Modulo Theories (SMT
= 2018), 12-13 July
htt= p://smt-workshop.cs.uiowa.edu/2018/

CAV Tutorials, 13 July
http://= cavconference.org/2018/invited-speakers-tutorials/

7th Workshop = on Logic and Systems Biology (LSB), 13 July
http://perso.ens-lyon.fr/russell.harmer/l= sb7.html

Isabelle Workshop, 13 July
http://sketis.net/isabelle/isabelle-wo= rkshop-2018

25th RCRA International Workshop on Experimental Eva= luation 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/frida2= 018/

5th Vampire Workshop (Vampire 2018), 13 July
http://easychair.org/smart-p= rogram/Vampire18/

19th Workshop on Logic and Computational Compl= exity (LCC), 13 July
http://www.cs.swansea.ac.uk/lcc/index.html

5th Workshop on H= orn Clauses for Verification and Synthesis (HCVS 2018), 13 July
https://www.sci.unich.it/hcvs18/<= br>
Workshop on Learning and Automata (LearnAut 2018), 13 July
https://learnaut2018.wordpress.co= m/

1st International Workshop on Multi-objective Reasoning inVerification and Synthesis (MoRe 2018), 13 July
http://math.umons.ac.be/more2018/

Worksho= p on Modular Knowledge (Tetrapod), 13 July
http://new.kwarc.info/events/Tetrapod-2018/<= br>
First Workshop on Automated Deduction for Separation Logics (ADSL 20= 18), 13 July
http://adsl= .univ-grenoble-alpes.fr/

DMW18: Deduction Mentoring Workshop, 13= July
http://easyc= hair.org/smart-program/DMW18/

Runtime Verification for Rigorous = Systems Engineering (RV4RISE), 13 July
http://rv4rise.conf.tuwien.ac.at/

13th Internationa= l Workshop on User Interfaces for Theorem Provers
(UITP 2018), 13 Julyhttp://www= .informatik.uni-bremen.de/uitp/uitp2018/

Verification Mentoring = Workshop 2, 13 July
http://cavconference.org/2018/verification-mentoring= -workshop/

Summit on Machine Learning Meets Formal Methods, spon= sored by the Alan
Turing Institute, 13 July
http://www.floc2018.org/summit-on-ma= chine-learning/

4th Workshop on Formal Integrated Development En= vironment (F-IDE 2018), 14 July
https://sites.google.com/view/fideworkshop2018
16th International Workshop on Quantitative Aspects of Programming
Lan= guages and Systems (QAPL 2018), 14 July
http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2= 018/

16th Overture Workshop: New Capabilities and Applications f= or
Model-based Systems Engineering, 14 July
http://overturetool.org/wo= rkshops/16th-Overture-Workshop.html

FM Doctoral Symposium, 14 Ju= ly
http://www.fm20= 18.org/doctoral-symposium/


*** Post-FLoC workshops (Wednesda= y 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
<= a href=3D"http://synt2018.seas.ucla.edu">http://synt2018.seas.ucla.edu<= br>
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/<= br>
Workshop on Answer Set Programming and Other Computing Paradigms
= (ASPOCP 2018), 18 July
https://sites.google.com/site/aspocp2018/

International Con= ference on Logical Programming - Doctoral Consortium
(ICLP - DC 2018), 1= 8 July
http:= //easychair.org/smart-program/ICLP-DC2018/

16th International Co= lloquium on Implementation of Constraint and
Logic Programming Systems (= CICLOPS 2018), 18 July
https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS= 2018/

3rd International Workshop on Automated Reasoning in Quant= ified
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 Internat= ional 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 Terminat= ion (WST 2018), 18-19 July
http:= //wst2018.webs.upv.es/

MLP18: Machine Learning for Programming, = 18-19 July
https://prodo.ai/mlp18=

The LaSh 2018 Workshop on Logic and Search, 18-19 July
http://www.logicandsearch.org/= LaSh2018/

10th Working Conference on Verified Software: Theories= , Tools and
Experiments (VSTTE 2018), 18-19 July
http://vstte18.it.uu.se/

11th International Wor= kshop on Numerical Software Verification
(NSV-XI), 18-19 July
https://nsv-2018.github.io/nsv2018= /

18th International Workshop on Automated Verification of Criti= cal
Systems (AVOCS 2018), 18-19 July
http://avocs18.irisa.fr/

Logics for Reasoning about Prefere= nces, Uncertainty, and Vagueness
(PRUV 2018), 19 July
http://pruv18.inf.unibz.it/

Third Works= hop 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-Clas= sical Logics, 19 July
http://weic2= 018.loria.fr/

Robots, Morality, and Trust through the Verificati= on 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.or= g/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 Kroeni= ng, Marta Kwiatkowska
Workshops Chair: Gethin Norman
Workshops Deputy= Chair: Christoph Haase
CAV: Hana Chockler
CSF: Cas Cremers
FM: He= len Treharne
FSCD: Paula Severi
ICLP: Stefan Woltran
IJCAR: Albert= o Griggio
ITP: Assia Mahboubi
LICS: Patricia Bouyer
SAT: Martina S= eidl
--00000000000058cb0d05698c7609--