<div dir="ltr"><div><span style="font-size:12.800000190734863px">THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">6-19 July 2018</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Oxford, England, UK</span><br></div><div><a href="http://www.floc2018.org/workshops" target="_blank">http://www.floc2018.org/worksh<wbr>ops</a><br></div><div><br></div><div><span style="font-size:12.800000190734863px">REGULAR REGISTRATION CLOSES on 25th June 2018.</span><br style="font-size:12.800000190734863px"></div><div class="gmail_quote"><div dir="ltr"><br></div><div dir="ltr">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><span style="font-size:12.800000190734863px">REGULAR REGISTRATION CLOSES on 25th June 2018.</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">ON SITE REGISTRATION will be possible during the conference.</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.</span><br style="font-size:12.800000190734863px"><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Website: </span><a href="http://www.floc2018.org/" style="font-size:12.800000190734863px" target="_blank">http://www.floc2018.o<wbr>rg/</a><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Conference and workshops programme now live: </span><a href="https://easychair.org/smart-program/FLoC2018/index.html" style="font-size:12.800000190734863px" target="_blank">https://easychair.org/sm<wbr>art-program/FLoC2018/index.htm<wbr>l</a><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Registration: </span><a href="http://www.floc2018.org/register/" style="font-size:12.800000190734863px" target="_blank">http://www.floc2<wbr>018.org/register/</a><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Accommodation: </span><a href="http://www.floc2018.org/accommodation/" style="font-size:12.800000190734863px" target="_blank">http://www.floc<wbr>2018.org/accommodation/</a><br style="font-size:12.800000190734863px"><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Registration for the main conference block gives you access to any</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">other conference in the same period. Conference registration includes</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">reception, lunches and coffee breaks. Stand up banquet can be added to</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">the conference registration.</span><br style="font-size:12.800000190734863px"><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">Registration for a workshop day means you can attend any other</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">workshop on the same day. Workshop registration includes lunches and</span><br style="font-size:12.800000190734863px"><span style="font-size:12.800000190734863px">coffee breaks.</span><br style="font-size:12.800000190734863px"><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/" target="_blank">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/" target="_blank">http://cl-informatik.uibk.ac.a<wbr>t/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" target="_blank">http://www.di.unito.it/~stefan<wbr>o/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/" target="_blank">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/" target="_blank">http://lfmtp.org/workshops/201<wbr>8/</a><br><br>7th International Workshop on the Cross-Fertilization Between CSP and<br>SAT (CSPSAT 2018), 7 July</div><div dir="ltr"><a href="http://lfmtp.org/workshops/2018/" target="_blank">http://sysrun.haifa.il.ibm.com<wbr>/hrl/cspsat2018/</a><br></div><div dir="ltr"><br>Pragmatics of SAT (PoS 2018), 7 July<br><a href="http://www.pragmaticsofsat.org/2018/" target="_blank">http://www.pragmaticsofsat.org<wbr>/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" target="_blank">https://www.lix.polytechnique.<wbr>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" target="_blank">https://nms.kcl.ac.uk/maribel.<wbr>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/" target="_blank">https://cs.appstate.edu/~johan<wbr>np/lola18/</a><br><br>9th Workshop on Higher Order Rewriting (HOR 2018), 7 July<br><a href="https://lipn.univ-paris13.fr/HOR18/" target="_blank">https://lipn.univ-paris13.fr/H<wbr>OR18/</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/" target="_blank">http://lipn.univ-paris13.fr/TL<wbr>LALinearity18/</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/" target="_blank">https://hott-uf.github.io/2018<wbr>/</a><br><br>Game Semantics 25, 7-8 July<br><a href="http://www.gamesemantics.org/game-semantics-25" target="_blank">http://www.gamesemantics.org/g<wbr>ame-semantics-25</a><br><br>Workshop on Proof Complexity (PC 2018), 7-8 July<br><a href="http://easychair.org/smart-program/PC2018/" target="_blank">http://easychair.org/smart-pro<wbr>gram/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/" target="_blank">https://www.irif.fr/~saurin/RA<wbr>PIDO/PARIS-2018/</a><br><br>6th Workshop on Strategic Reasoning (SR 2018), 7-8 July<br><a href="http://projects.lsv.fr/sr18/" target="_blank">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/" target="_blank">https://andrejbauer.github.io/<wbr>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" target="_blank">http://www.indiana.edu/~iulg/n<wbr>lcs.html</a><br><br>7th Workshop on Mathematically Structured Functional Programming (MSFP<br>2018), 8 July<br><a href="https://msfp2018.bentnib.org/" target="_blank">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" target="_blank">http://researchers.lille.inria<wbr>.fr/niehren/WPTE-2018/main.htm<wbr>l</a><br><br>The Coq Workshop 2018, 8 July<br><a href="https://coqworkshop2018.inria.fr/" target="_blank">https://coqworkshop2018.inria.<wbr>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/" target="_blank">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/" target="_blank">http://gramsec.uni.lu/</a><br><br>Women in Logic 2018, 8 July<br><a href="https://sites.google.com/site/womeninlogic2018/welcome" target="_blank">https://sites.google.com/site/<wbr>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" target="_blank">https://www.irif.fr/~michele/i<wbr>trs2018</a><br><br>Coalgebra Now, 8 July<br><a href="http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html" target="_blank">http://homepage.tudelft.nl/c9d<wbr>1n/floc2018coalgebra/index.htm<wbr>l</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" target="_blank">https://sites.google.com/g.upo<wbr>rto.pt/dcm18</a><br><br>IFIP Working Group 1.6: Rewriting, 8 July<br><a href="http://cbr.uibk.ac.at/ifip-wg1.6/" target="_blank">http://cbr.uibk.ac.at/ifip-wg1<wbr>.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/" target="_blank">http://www.andrew.cmu.edu/user<wbr>/liminjia/events/fcs2018/</a><br><br>Mentor Workshop 1, 8 July</div><div dir="ltr"><a href="https://lics.siglog.org/lics18/lmw.php" target="_blank">https://lics.siglog.org/<wbr>lics18/lmw.php</a><br></div><div dir="ltr"><br></div><div dir="ltr"><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" target="_blank">http://www.sc-square.org/CSA/w<wbr>orkshop3.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/" target="_blank">http://www.cs.ox.ac.uk/confere<wbr>nces/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/" target="_blank">http://smt-workshop.cs.uiowa.e<wbr>du/2018/</a><br><br>CAV Tutorials, 13 July<br><a href="http://cavconference.org/2018/invited-speakers-tutorials/" target="_blank">http://cavconference.org/2018/<wbr>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" target="_blank">http://perso.ens-lyon.fr/russe<wbr>ll.harmer/lsb7.html</a><br><br>Isabelle Workshop, 13 July<br><a href="http://sketis.net/isabelle/isabelle-workshop-2018" target="_blank">http://sketis.net/isabelle/isa<wbr>belle-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" target="_blank">https://sites.google.com/a/aix<wbr>ia.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/" target="_blank">http://forsyte.at/events/frida<wbr>2018/</a><br><br>5th Vampire Workshop (Vampire 2018), 13 July<br><a href="http://easychair.org/smart-program/Vampire18/" target="_blank">http://easychair.org/smart-pro<wbr>gram/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" target="_blank">http://www.cs.swansea.ac.uk/lc<wbr>c/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/" target="_blank">https://www.sci.unich.it/hcvs1<wbr>8/</a><br><br>Workshop on Learning and Automata (LearnAut 2018), 13 July<br><a href="https://learnaut2018.wordpress.com/" target="_blank">https://learnaut2018.wordpress<wbr>.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/" target="_blank">http://math.umons.ac.be/more20<wbr>18/</a><br><br>Workshop on Modular Knowledge (Tetrapod), 13 July<br><a href="http://new.kwarc.info/events/Tetrapod-2018/" target="_blank">http://new.kwarc.info/events/T<wbr>etrapod-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/" target="_blank">http://adsl.univ-grenoble-alpe<wbr>s.fr/</a><br><br>DMW18: Deduction Mentoring Workshop, 13 July<br><a href="http://easychair.org/smart-program/DMW18/" target="_blank">http://easychair.org/smart-pro<wbr>gram/DMW18/</a><br><br>Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13 July<br><a href="http://rv4rise.conf.tuwien.ac.at/" target="_blank">http://rv4rise.conf.tuwien.ac.<wbr>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/" target="_blank">http://www.informatik.uni-brem<wbr>en.de/uitp/uitp2018/</a><br><br>Verification Mentoring Workshop 2, 13 July<br><a href="http://cavconference.org/2018/verification-mentoring-workshop/" target="_blank">http://cavconference.org/2018/<wbr>verification-mentoring-worksho<wbr>p/</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/" target="_blank">http://www.floc2018.org/summit<wbr>-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" target="_blank">https://sites.google.com/view/<wbr>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/" target="_blank">http://www1.isti.cnr.it/~Massi<wbr>nk/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" target="_blank">http://overturetool.org/worksh<wbr>ops/16th-Overture-Workshop.htm<wbr>l</a><br><br>FM Doctoral Symposium, 14 July<br><a href="http://www.fm2018.org/doctoral-symposium/" target="_blank">http://www.fm2018.org/doctoral<wbr>-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/" target="_blank">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" target="_blank">https://antonwijs.wixsite.com/<wbr>plr2018</a><br><br>7th Workshop on Synthesis (SYNT 2018), 18 July<br><a href="http://synt2018.seas.ucla.edu" target="_blank">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" target="_blank">http://www.uc.pt/en/congressos<wbr>/thedu/thedu18</a><br><br>TLA+ Community Event 2018, 18 July<br><a href="http://tla2018.loria.fr/" target="_blank">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/" target="_blank">https://sites.google.com/site/<wbr>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/" target="_blank">http://easychair.org/smart-pro<wbr>gram/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/" target="_blank">https://people.cs.kuleuven.be/<wbr>~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/" target="_blank">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/" target="_blank">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/" target="_blank">http://clp.dimi.uniud.it/wcb/w<wbr>cb18/</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/" target="_blank">http://cgi.csc.liv.ac.uk/~mich<wbr>ael/VaVAS-July2018/</a><br><br>16th International Workshop on Termination (WST 2018), 18-19 July<br><a href="http://wst2018.webs.upv.es/" target="_blank">http://wst2018.webs.upv.es/</a><br><br>MLP18: Machine Learning for Programming, 18-19 July<br><a href="https://prodo.ai/mlp18" target="_blank">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/" target="_blank">http://www.logicandsearch.org/<wbr>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/" target="_blank">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/" target="_blank">https://nsv-2018.github.io/nsv<wbr>2018/</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/" target="_blank">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/" target="_blank">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" target="_blank">http://persons.iis.nsk.su/en/F<wbr>WFM2018</a><br><br>International Workshop on External and Internal Calculi for<br>Non-Classical Logics, 19 July<br><a href="http://weic2018.loria.fr/" target="_blank">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/" target="_blank">http://qav.cs.ox.ac.uk/robots_<wbr>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/" target="_blank">http://easychair.org/smart-pro<wbr>gram/PAAR-2018/</a><br><br>Verification of Engineered Molecular Devices and Programs (VEMDP 2018), 19 July<br><a href="http://dna.caltech.edu/vemdp2018/" target="_blank">http://dna.caltech.edu/vemdp20<wbr>18/</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>
</div><br></div>