April 2018 - Categories - categories.org.au

ICTAC 2018 final call for papers
by Tarmo Uustalu 30 Apr '18

30 Apr '18

CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 16-19 October 2018 https://www.ictac.org.za/ COLOCATED EVENTS * ICTAC tutorials, 12-14 October 2018 * ICTAC workshop(s), 15 October 2018 * 14th African Conference on Research in Computer Science and Applied Mathematics / 14eme Colloque Africain sur la Recherche en Informatique et en Math?matiques Appliqu?es, CARI 2018, 14-16 October 2018 IMPORTANT DATES * Abstracts 4 May 2018 * Papers 11 May 2018 * Notification 6 July 2018 * Camera-ready 3 August 2018 BACKGROUND Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. SCOPE The topics of the conference include, but are not limited to: * Languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed, grid and cloud computing * Models of objects and components * Coordination models * Models of software architectures * Timed, hybrid, embedded and cyber-physical systems * Static analysis * Software verification * Software testing * Program generation and transformation * Model checking and automated theorem proving * Interactive theorem proving * Verified software, formalized programming theory SUBMISSION OF CONTRIBUTIONS We solicit full-length research papers reporting original research contributions. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Submission is through Easychair: https://easychair.org/conferences/?conf=ictac2018 One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. PROCEEDINGS The proceedings will be published by Springer in the Lecture Notes in Computer Science series. BEST PAPER AWARD Springer is sponsoring a best paper award. SPECIAL ISSUE After the conference, authors of the best contributions are invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMMITTEE June Andronick (Data61, AU) ?ric Badouel (IRISA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Anna Lisa Ferrara (University of Southampton, UK) Adrian Francalanza (University of Malta, MT) Edward Hermann Haeusler (Pontificia Universidade Cat?lica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) Dang Van Hung (VNU University of Engineering and Technology, VN) Atsushi Igarashi (Kyoto University, JP) Jan Kretinsky (Technische Universit?t M?nchen, DE) Martin Leucker (Universitaet zu L?beck, DE) Zhiming Liu (Southwest University, CN) Radu Mardare (Aalborg Universitet, DK) Tobias Nipkow (Technische Universit?t M?nchen, DE) Maciej Pir?g (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Camilo Rueda (Pontificia Universidad Javeriana Cali, CO) Murali Krishna Ramanathan (Uber, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Ina Schaefer (Technische Universit?t Braunschweig, DE) Natarajan Shankar (SRI International, US) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Lynette van Zijl (Stellenbosch University, ZA) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universit?t zu L?beck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universit?t M?nchen, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION AND CITY The conference will be hosted by the Division of Computer Science of Stellenbosch University. The city of Stellenbosch, founded 1685, is the second oldest European settlement in South Africa after Cape Town. It is situated about 50 km to the east of Cape Town. It is the place to admire Cape Dutch architecture and the heart of the Cape Winelands, South Africa's prime wine region. Stellenbosch University is one of the leading universities in Africa. FURTHER INFORMATION Please contact Bernd Fischer, bfischer(at)cs.sun.ac.za. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Categories used to describe molecules
by Dennis Stevenson 30 Apr '18

30 Apr '18

I would appreciate references to the use of category theory to describe molecular structure and/or changes in molecules. — D. E. (Steve) Stevenson Emeritus Associate Professor, School of Computing, Clemson University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2

FMCS 2018 Second Announcement
by Geoffrey Cruttwell 25 Apr '18

25 Apr '18

----- FMCS 2018 Second Announcement----------------- This is the second announcement for FMCS 2018, happening at Mount Allison University from May 30th to June 2nd. Note that the deadline for booking with the Coastal Inn is soon (April 29th) and the deadline for registration and abstract submission is relatively soon (May 10th). 26th Foundational Methods in Computer Science Workshop May 31-June 2, 2018 Mount Allison University Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and category theory. Past workshops have had discussions on areas such as quantum programming languages, restriction categories, database design, and the differential and resource logics. They have been held at Colgate, Dalhousie, Kananaskis (U of Calgary), Mount Allison, Ottawa, UBC, Spokane, and Portland. The 2018 workshop is informal and interdisciplinary. There will be an informal welcoming reception in the evening of May 30th. The scientific program starts on May 31st, and consists of tutorials and contributed talks. The meeting ends on the afternoon of June 2nd. Confirmed tutorial speakers: Kristine Bauer (Calgary) Ernie Manes (Massachusetts) Robert Pare (Dalhousie) Peter Selinger (Dalhousie) Note that the arrival day this year is Wednesday, and talks will end Saturday afternoon. Participants will have time to travel on Saturday either to Halifax for QPL and MFPS, or to Fredericton for the CMS meeting. We particularly encourage graduate students to attend FMCS and to present their work. Anyone interested in attending is kindly requested to notify Bob Rosebrugh (rrosebrugh(a)mta.ca) Please let us know by May 10th. If you wish to give a talk, please also send a title and short abstract. Some limited funding toward accommodation and travel expenses is available to support graduate students who attend FMCS. To apply for this funding you should contact Geoff Cruttwell (gcruttwell(a)mta.ca) Website (with registration/accommodation/travel info): http://www.mta.ca/~rrosebru/FMCS2018/FMCS2018.html The organizers: Geoff Cruttwell (gcruttwell(a)mta.ca) Rory Lucyshyn-Wright (rlucyshynwright(a)mta.ca) Bob Rosebrugh (rrosebrugh(a)mta.ca) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

V. Voevodsky's Univalence Axiom and isomorphic equivalence classes
by Vasili I. Galchin 25 Apr '18

25 Apr '18

Suppose we have a category C. We can partition the objects of C into equivalence classes each populated by the objects that are isomorphic to each other. If we assert the Univalence Axiom, then each equivalence class collapses to one element and the Axiom of Choice becomrd vacuous. I am sure I am using the Univalence Axiom naively, yes? If so, why and how? Thx, Vasily Gal'chin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

QPL 2018 and MFPS 2018 accommodations - book today!
by Peter Selinger 24 Apr '18

24 Apr '18

[This sender failed our fraud detection checks and may not be who they appear to be. Learn about spoofing at http://aka.ms/LearnAboutSpoofing] Dear all, QPL 2018 and MFPS 2018 will take place in a bit over a month in Halifax. We have reserved a block of rooms in the University Residences at $45/night. This block of rooms will be unreserved very soon, so if you would like to take advantage of these room rates (as opposed to a hotel - the cheapest one costs 3 times as much), I recommend that you *** book your rooms today! *** Information on how to book: https://www.mathstat.dal.ca/qpl2018/accommodations.html Thanks, -- Peter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario
by Chris Kapulkin 22 Apr '18

22 Apr '18

Dear all, I am pleased to announce the inaugural Midwest Homotopy Type Theory Seminar*, which will take place on May 26-27, 2018 at the University of Western Ontario (London ON). Speakers: Carlo Angiuli (CMU) Cartesian cubical type theory Simon Cho (Michigan) Weak equivalences between models of type theory Dan Christensen (Western) Localization in homotopy type theory Paige North (OSU) A directed homotopy type theory Robert Rose (Indiana) On the natural numbers in elementary (∞,1)-toposes Luis Scoccola (Western) Congruence closure in intensional type theory The details, including the schedule and lodging information, can be found at http://uwo.ca/math/faculty/kapulkin/seminars/midwest_hott_seminar.html We have negotiated reduced rates at DoubleTree by Hilton and the Ontario Residence Hall. If you are thinking of booking the former, please do so soon, as the rate will expire on April 30. There is no formal registration process (and hence no registration fee), but those planning to attend should contact Chris Kapulkin so that we can make sure there is enough food and coffee for everyone. Best, Chris *Yes, the name is a shameless ripoff of the Midwest Topology Seminar. Sorry! [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Applied Category Theory at NIST
by John Baez 21 Apr '18

21 Apr '18

Dear Category Theorists - There was a great workshop last month: Applied Category Theory: Bridging Theory & Practice, March 15 - 16, 2018, National Institute of Standards and Technology, Gaithersburg, Maryland, USA. Organized by Spencer Breiner and Eswaran Subrahmanian. Now Spencer has made slides and videos for most of the talks available: http://www.appliedcategorytheory.org/?p=* Here are the talk titles, which give a flavor of the event: Ram Sriram - NIST and category theory Spencer Breiner - Introduction Bob Coecke - From quantum foundations to cognition via pictures Dusko Pavlovic - Security science in string diagrams John Baez - Compositional design and tasking of networks (part 1) John Foley - Compositional design and tasking of networks (part 2) David Spivak - A higher-order temporal logic for dynamical systems Ryan Wisnesky - Categorical databases Steve Huntsman - Towards an operad of goals Bill Regli – Disrupting interoperability Evan Patterson - Applied category theory in data science Brendan Fong - Data structures for network languages Stephane Dugowson - A short introduction to a general theory of interactivity Michael Robinson - Sheaf methods for inference Cliff Joslyn - Seeking a categorical systems theory via the category of hypergraphs Emilie Purvine - A category-theoretical investigation of the type hierarchy for heterogeneous sensor integration Helle Hvid Hansen - Long-term values in MDP’s, corecursively Alberto Speranzon - Localization and planning for autonomous systems via (co)homology computation Josh Tan - Indicator frameworks Breakout round report Best, John Baez [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Note on The 60th birthday of toposes, April 21.
by Colin McLarty 14 Apr '18

14 Apr '18

Let me try out some new research on the specific origin of the idea of (Grothendieck) Topos. At the start of 1958 Grothendieck believed the correct Weil cohomology of a scheme S would be the derived functor cohomology of some category Ab(S) of sheaves of Abelian groups on S---and Ab(S) was likely to be the category of all Abelian group objects in some category of sheaves of sets on S. He had no name yet for such conjectural categories of sheaves of sets but for later reference I will call this category T(S). It would require some new notion of sheaves of sets more general than the existing notion using topological spaces. He had no concrete idea what this new notion of sheaf might be. His experience in Kansas in 1955 suggested it was likely to come from some new notion of espace etale over a scheme. and it should have some good exactness properties. On April 21, 1958 Grothendieck went to the Seminaire Chevalley to hear Serre describe isotrivial fiber bundles on a variety V, which are bundles that become trivial when pulled back to some surjective family of finite, unramified maps to V. Serre showed this gave the expected one-dimensional Weil cohomology groups of V. Grothendieck immediately told Serre it would work in all dimensions--which Serre found ``very optimistic'' at the time. All of this is well documented in familiar sources. Grothendieck's 1973 topos lectures in Buffalo show that during Serre's talk Grothendieck saw the Weil espaces etales over a scheme S should be patched together from Serre's unramified maps to S. That is, the sought category T(S) of sheaves of sets on S should be generated by the unramified maps to S, and should have arbitrary colimits of these, and finite limits. He first sought to axiomatize this roughly the way his Tohoku paper had axiomatized sheaves of groups. A few changes came soon: He realized finite unramified maps should be replaced by flat unramified maps (just as topological espaces etales are trivial locally in the fiber and not on the base). He abandoned the axiomatic approach to T(S) as too vague and shifted to construction by sites. And for sites he began treating sheaves as a kind of functor, rather than as espaces etales. Only after the notion ot site developed would Giraud give his topos axioms, and no one has yet really taken a precise notion of espace etale much beyond the topological case. But April 21 1958 was the birth of topos theory. The term topos came later. (Lots of people are not named on the day they are born.) As of the summer of 1973 Grothendieck's stated preferred definition of topos was still: a category wth arbitrary colimits, finite limits, and a small generating set. He says over and over this is not quite adequate for proofs. He says proofs require the notion of site, or else the Giraud axioms, but he calls the vaguer idea more intuitive and says that is the way to think about a topos. Also in 1973 Grothendieck says the objects in any topos should be seen as espaces etales over the terminal object of the topos, in a generalized sense that includes saying any orbit of a group action lies ``etale'' over a fixed point. Today, it is not obvious that this can work well in general. In SGA 4 Grothendieck had already given evidence that it would work for petit topos but not gros topos. But still in 1973 he did say it. And it works perfectly for petit etale toposes---as long as we generalize the notion of espace etale to include a Galois orbit (in an extension field) lying over a single point (in the ground field). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

*** Second Announcement *** CatAlg - 4th Workshop in Categorical Algebra
by Giuseppe Metere 12 Apr '18

12 Apr '18

*** CatAlg - 4th Workshop in Categorical Algebra *** Gargnano del Garda (BS) *** 28 May - 1 June 2018 Dear colleagues and friends, This is the second announcement of the conference CATALG2018 on Categorical Algebra: ???Recent developments and future perspectives???, that will take place in Gargnano (GARDA lake), 28 May - 1 June 2018. The workshop will start with the preregistration at the welcome buffet on Monday May 28th, in the late afternoon. Talks are scheduled from Tuesday May 29th, in the morning, till Friday June 1st, around noon. Invited speakers: Maria Manuel Clementino, Alberto Facchini, Xabier Garc??a-Mart??nez, Marino Gran, Pierre-Alain Jacqmin, George Janelidze, Zurab Janelidze, Andrea Montoli, Tim Porter, Diana Rodelo, Benno van den Berg, Walter Tholen. Besides the talks, there will be an open poster session to present and discuss results and investigations in categorical algebra. On the website of the conference CATALG2018 http://math.unipa.it/metere/Gargnano2018/index.html you will find all the relevant information. In case you are interested, recall that the deadline for registration is 15th of April! Looking forward to seeing you in Gargnano, Tim Van der Linden (Universit?? catholique de Louvain) Sandra Mantovani (Universita' degli Studi di Milano) Giuseppe Metere (Universita' degli Studi di Palermo) -- Giuseppe Metere, PhD. Ricercatore di Algebra Dipartimento di Matematica e Informatica Universit?? degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FLoC 2018 - Last Joint Call for Workshop Papers
by Andrzej Murawski 11 Apr '18

11 Apr '18

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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0