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