February 2018 - Categories - categories.org.au

Equivalence of categories
by Vasili I. Galchin 26 Feb '18

26 Feb '18

> Dear Category Group, > > What are some examples of invariants that are necessary for two > categories to be equivalent? E.g. If A and B are equivalent and A is a > elementary topic, does this imply that B is an elementary topos? > > Regards, > > Vasily Gal'chin > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

suggestions for the 2020 MSC classifications
by Emily Riehl 26 Feb '18

26 Feb '18

Hi all, I’ve recently learned that Zentralblatt and the Mathematics Reviews are collaborating to revise the Mathematics Subject Classifications (MSC) for 2020. The current MSC2010 codes were a revision of the original MSC2000 codes. You can read more about this here: https://blogs.ams.org/beyondreviews/2016/07/26/msc2020-mathematics-subject-… <https://blogs.ams.org/beyondreviews/2016/07/26/msc2020-mathematics-subject-…> The editors of zbMath and MR are inviting suggestions from the community as part of this process and I think category theory should weigh in about the 3- and 5-digit subject classifications housed under “18.” This might not be the most important thing in the world but on the other hand, I could imagine working as a mathematician whose primary research area is (say) 55 or 3, searching for MSC codes to add to a paper before uploading to the arXiv, finding a particularly apt one under 18, and then gradually over many years of this starting to think of myself as a category theorist, in part, too. I’d rather not be the one to curate feedback regarding the MSC codes but if no other volunteer presents themselves, I’ll at least send an email summarizing the discussion that takes place here. I’m appending some emails that came over the homotopy type theory list (which is how I first learned about the classification update) as an illustration of the kind of discussion that I hope we’ll have in category theory. Best, Emily — Assistant Professor, Dept. of Mathematics Johns Hopkins University www.math.jhu.edu/~eriehl <http://www.math.jhu.edu/~eriehl> > From: Ulrik Buchholtz <ulrikbuchholtz(a)gmail.com <mailto:ulrikbuchholtz@gmail.com>> > Subject: [HoTT] HoTT/UF in MSC2020 > Date: January 11, 2018 at 6:45:12 AM GMT+11 > To: Homotopy Type Theory <HomotopyTypeTheory(a)googlegroups.com <mailto:HomotopyTypeTheory@googlegroups.com>> > > MR (Mathematical Reviews) and zbMATH are currently soliciting comments for the upcoming MSC (Mathematics Subject Classification) 2020 at https://msc2020.org/ <https://msc2020.org/> > > I would like to suggest some new entries for the work that we do, as it is not always a perfect fit for the old MSC 2010 system. (To put it mildly!) > > But what should we suggest? This wasn't entirely clear to me either, and I was hoping that we could have a discussion about that here, and then submit our consensus proposal (if we can get one) at msc2020.org <http://msc2020.org/>. > > To get started, what do you think of the following: > > Under 03B General Logic, we add: 03B16 Dependent type theory (in general) [or Martin-Löf type theory], and 03B17 Homotopy type theories (Dependent type theories from a homotopical point of view) > > Under 03F Proof theory and constructive mathematics, we add: 03F57 Univalent mathematics > > [With cross references.] > > But what about 18 Category Theory and 55 Algebraic Topology? Infinity-topos theory and the relations to HoTT/UF don't really fit in the existing categories there, either. > > Looking forward to your comments, > Ulrik > From: Michael Shulman <shulman(a)sandiego.edu <mailto:shulman@sandiego.edu>> > Subject: Re: [HoTT] HoTT/UF in MSC2020 > Date: January 11, 2018 at 9:00:03 PM GMT+11 > Cc: Homotopy Type Theory <HomotopyTypeTheory(a)googlegroups.com <mailto:HomotopyTypeTheory@googlegroups.com>> > > > I agree with proposing adding "dependent type theories" to 03B, > although one could argue that it fits under 03B15 "Higher-order logic > and type theory". > > I don't think I would put homotopy type theories in 03B, though; it > seems too specific. Syntactic study of homotopy type theories could > go under your 03B16, while semantic study could go under 18C50 > "Categorical semantics of formal languages" and/or 03G30 "Categorical > logic, topoi". For higher categories/toposes themselves there are > 18D05 "Double categories, $2$-categories, bicategories and > generalizations" (although that should be renamed to something like > "higher categories", and maybe moved to somewhere other than 18D > "Categories with structure") and 18B25 "Topoi" (which I would > interpret to include higher topoi as well -- although I don't > understand why 18B25 is under 18B "Special categories"). > > I might propose replacing 55U35 "Abstract and axiomatic homotopy > theory" and 55U40 "Topological categories, foundations of homotopy > theory" with three topics like "Model categories and generalizations", > "Homotopy theory in higher categories (see also 18D05)", and > "Synthetic homotopy theory (see also 03B16, 18C50, 03G30)". > > What seems to me like the really egregious mistake is lumping together > "Proof theory and constructive mathematics" in 03F, since most > constructive mathematics has nothing to do with proof theory. What > about proposing a new three-digit [sic] classification like "03I > Mathematics done using alternative foundations", which could contain > things like 03I01 "Constructive mathematics" and 03I02 "Univalent > mathematics" -- distinguishing the *use* of such foundations from > their *metatheoretic* study (which is what most 03 "Mathematical logic > and foundations" seems to be about). > > Overall, it's unclear to me what the criteria should be for giving a > subject its own three- or five-digit classification. The community of > univalent mathematics and synthetic homotopy theory is still quite > small relative to all of mathematics, so we might not be justified in > asking for our own five-digit classification(s). On the other hand, > many of the existing five-digit classifications seem to me, as an > outsider of the fields in question, to be *extremely* narrow. It > would be useful to have some data regarding how much mathematics is > being done under existing classifications; are there existing > five-digit subjects whose communities are the same size as HoTT/UF or > smaller? Is there any good way to get (or approximate) such data? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2

Archive missing?
by David Roberts 25 Feb '18

25 Feb '18

[Note from moderator: This question may be of interest to other readers of the list. The GMane archive of the categories list has, despite promises, never been restored. My plan is to complete post-2009 archives of the list at some time this year. Pre-2009 archives remain available on the list's web site. ] Hi all, does anyone know how to access the archives of this list? The link on the page https://www.mta.ca/~cat-dist/, namely http://blog.gmane.org/gmane.science.mathematics.categories is broken. If I go to http://dir.gmane.org/gmane.science.mathematics.categories none of the links there work either. Help! David -- David Roberts http://ncatlab.org/nlab/show/David+Roberts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2

Announcement of publication
by Marta Bunge 23 Feb '18

23 Feb '18

Dear colleagues, The book "Synthetic Differential Topology" by Marta Bunge (McGill), Felipe Gago (Sgo de Compostela) and Ana Maria San Luis (Oviedo) will be published by Cambridge University Press on March 29, 2018. A reference to it containing some advance material from the book is http://www.cambridge.org/ca/academic/subjects/mathematics/logic-categories-… and may be used to preorder copies for teaching or reviewing purposes. Marta Bunge [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TAC welcomes new editors / thanks retiring editors
by TAC 22 Feb '18

22 Feb '18

On behalf of the Editors of Theory and Applications of Categories, it is a great pleasure to announce newly elected members of the TAC Editorial Board. They are: Julie Bergner, University of Virginia Gabriella Bohm, Wigner Research Centre for Physics Richard Garner, Macquarie University Dirk Hoffman, Universidade de Aveiro Pieter Hofstra, University of Ottawa Joachim Kock, Universitat Autonoma de Barcelona Matias Menni, Conicet and Universidad Nacional de La Plata Kate Ponto, University of Kentucky Tim van der Linden, Universite catholique de Louvain Authors may submit articles to them by following the usual guidelines at http://www.tac.mta.ca/tac/authinfo.html With regret, the Editors also announce that the following TAC Editors are retiring after many years of distinguished service to the journal: Ronnie Brown Martin Hyland Walter Tholen They have each made a very large contribution to the success of TAC. We sincerely thank Ronnie, Martin, and Walter and wish them a happy and well-earned retirement from TAC editorial duties, and much success in future endeavours. best to all, Bob Rosebrugh, Managing Editor Theory and Applications of Categories [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

"Toposes in Como" - first announcement
by Olivia Caramello 21 Feb '18

21 Feb '18

Dear All, We are pleased to announce the following international event (school + conference) on topos theory, which will take place in Como from 24 to 29 June 2018. We hope to see you in Como. Best regards, Olivia Caramello (on behalf of the Scientific and Organizing Committees) =============================================================================== TOPOSES IN COMO Call for participation School: 24-26 June 2018 - Conference: 27-29 June 2018 Lake Como School of Advanced Studies and Università degli Studi dell’Insubria http://tcsc.lakecomoschool.org * Scope * ------------ The event “Toposes in Como”, which represents the second edition of the conference “Topos à l’IHES” held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science. * School lecturers * -------------------------- Francis BORCEUX (Université Catholique de Louvain) Olivia CARAMELLO (Università degli Studi dell’Insubria - Como) Alain CONNES (IHES) Laurent LAFFORGUE (IHES) * Conference invited speakers * ------------------------------------------ Tibor BEKE (University of Massachusetts) Ingo BLECHSCHMIDT (University of Augsburg) Eduardo DUBUC (University of Buenos Aires) Pieter HOFSTRA (University of Ottawa) Maria Emilia MAIETTI (Università degli Studi di Padova) Andrew PITTS (University of Cambridge) Mauro PORTA (Université de Strasbourg) Bas SPITTERS (Aarhus University) David SPIVAK (MIT) * Scientific Committee * -------------------------------- Olivia CARAMELLO Alain CONNES Caterina CONSANI Laurent LAFFORGUE * Organizing Committee * ---------------------------------- Olivia CARAMELLO Franco CAZZANIGA Stefano PIGOLA Lidia STOPPINO * Short communications * ---------------------------------- There is room for a few short communications (20-25 minutes long); if you want to submit a one-page abstract for a short talk at the conference, please upload it while registering on the conference website before the 15th of April. * Financial support for students and young researchers * --------------------------------------------------------------------------- There is a limited number of travel grants (or registration fee exemptions) for attending this event available for deserving students and young researchers who are not funded by their own institutions. If interested in obtaining such a grant, please send a request to the address mailto:tcsc@lakecomoschool.org before the 15th of April, attaching a Curriculum Vitae and a supporting letter by a senior mathematician (e.g. your Ph.D. supervisor). * Registration and contact * ------------------------------------ Registration information is available at the conference webpage http://tcsc.lakecomoschool.org/registration/ If you have any queries please send them to the conference e-mail address tcsc(a)lakecomoschool.org =============================================================================== [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Logic for Children (workshop) - updates and resources
by Eduardo Ochs 17 Feb '18

17 Feb '18

Hi list, we - me and Fernando Lucatelli - are organizing a workshop called "Logic for Children" that will happen in the UniLog 2018 in Vichy, France, in june 21-26. We announced it here a few months ago and we received a lot of feedback from people who are interested on the theme but who will not be able to attend it, so we organized their material and made it available here: http://angg.twu.net/logic-for-children-2018.html#resources If you have something to add or would like to receive periodical updates, please get in touch! ABOUT THE WORKSHOP The "children" in "logic for children" means "people without mathematical maturity", which in its turn means people who: * have trouble with very abstract definitions, * prefer starting from particular cases (and then generalize), * handle diagrams better than algebraic notations, * like to use diagrams and analogies. If we say that categorical definitions are "for adults" - because they may be very abstract - and that particular cases, diagrams, and analogies are "for children", then our intent ith this workshop becomes easy to state. "Children" are willing to use "tools for children" to do mathematics, even if they will have to translate everything to a language "for adults" to make their results dependable and publishable, and even if the bridge between their tools "for children" and "for adults" is somewhat defective, i.e., if the translation only works on simple cases... We are interested in that _bridge_ between maths "for adults" and "for children" in several areas. Maths "for children" are hard to publish, even informally as notes, so often techniques are rediscovered over and over, but kept restricted to the "oral culture" of the area. Our main intents with this workshop are: * to discuss (over coffee breaks!) the techniques of the "bridge" that we currently use in seemingly ad-hoc ways, * to systematize and "mechanize" these techniques to make them quicker to apply, * to find ways to publish those techniques - in journals or elsewhere, * to connect people in several areas working in related ideas, and to create repositories of online resources. Cheers! =) Eduardo Ochs and Fernando Lucatelli http://angg.twu.net/logic-for-children-2018.html [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CMCS 2018: Call for Short Contributions
by Henning Basold 17 Feb '18

17 Feb '18

Call for Short Contributions The 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18) Thessaloniki, Greece, 14 - 15 April 2018 (co-located with ETAPS 2018) www.coalg.org/cmcs18 Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - the theory of coalgebras (including set theoretic and categorical approaches); - coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.); - coalgebras in (functional, logic, answer set, object-oriented, concurrent, and constraint) programming; - coalgebraic data types, type systems and behavioural typing; - coinductive definition and proof principles for coalgebras (including "up-to" techniques); - coalgebras and algebras; - coalgebras and (modal) logic; - coalgebraic specification and verification; - coalgebra and control theory (notably of discrete event and hybrid systems); - coalgebra in quantum computing; - coalgebra and game theory; - tools exploiting coalgebraic techniques. Venue and event --------------- CMCS'18 will be held in Thessaloniki, Greece, co-located with ETAPS 2018, on 14 - 15 April 2018. Keynote speaker --------------- Samson Abramsky (University of Oxford, United Kingdom) Invited speakers ---------------- Clemens Kupke (University of Strathclyde, United Kingdom) Daniela Petrisan (University Diderot Paris 7, France) Invited tutorial speakers ------------------------- There will be a special session on quantum computation, with invited tutorials by Bob Coecke (University of Oxford, United Kingdom) Aleks Kissinger (Radboud University Nijmegen, The Netherlands) Important dates --------------- Submission short contributions 28 February 2018 Notification short contributions 12 March 2018 Proceedings ----------- Accepted short contributions will be bundled in a technical report. Programme committee ------------------- Filippo Bonchi (University of Pisa, Italy) Marcello Bonsangue (LIACS, Leiden University, The Netherlands) Corina Cirstea (University of Southampton, United Kingdom) Fredrik Dahlqvist (University College London, United Kingdom) Ugo Dal Lago (University of Bologna, Italy) Sergey Goncharov (FAU Erlangen-N??rnberg, Germany) Helle Hvid Hansen (Delft University of Technology, The Netherlands) Ichiro Hasuo (National Institute of Informatics, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Bartek Klin (University of Warsaw, Poland) Paul Levy (University of Birmingham, United Kingdom) Stefan Milius (FAU Erlangen-N??rnberg, Germany) Lawrence Moss (Indiana University, United States) Dirk Pattinson (Australian National University, Australia) Dusko Pavlovic (University of Hawai???i at M??noa, United States) Daniela Petrisan (University Diderot Paris 7, France) Damien Pous (CNRS, ENS Lyon, France) Juriaan Rot (Radboud University Nijmegen, The Netherlands) Jan Rutten (CWI/Radboud University Nijmegen, The Netherlands) Lutz Schr??der (FAU Erlangen-N??rnberg, Germany) Alexandra Silva (University College London, United Kingdom) Ana Sokolova (University of Salzburg, Austria) Henning Urbat (Technische Universit??t Braunschweig, Germany) Jamie Vicary (University of Oxford, United Kingdom) Publicity chair --------------- Henning Basold (CNRS, ENS Lyon, France) PC chair -------- Corina Cirstea (University of Southampton, United Kingdom) Steering committee ------------------ Filippo Bonchi (University of Pisa, Italy) Marcello Bonsangue (LIACS, Leiden University, The Netherlands) Corina Cirstea (University of Southampton, United Kingdom) Ichiro Hasuo (National Institute of Informatics, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Bartek Klin (University of Warsaw, Poland) Alexander Kurz (University of Leicester, United Kingdom) Marina Lenisa (University of Udine, Italy) Stefan Milius (chair), FAU Erlangen-N??rnberg, Germany Larry Moss (Indiana University, United States) Dirk Pattinson (Australian National University, Australia) Jan Rutten (CWI/Radboud University Nijmegen, The Netherlands) Lutz Schr??der (FAU Erlangen-N??rnberg, Germany) Alexandra Silva (University College London, United Kingdom) Submission guidelines --------------------- Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages long, and should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2018. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FLoC 2018 - Joint Call for Workshop Papers
by Andrzej Murawski 16 Feb '18

16 Feb '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

MacGillavry Fellowship
by Benno van den Berg 16 Feb '18

16 Feb '18

Dear all, A tenure track position will become available at the Institute for Logic, Language and Computation, which is part of the University of Amsterdam. We are looking for female candidates in the direction of Logic and Computation. Application deadline is Monday 19 March. More information below. Best wishes, Benno ============================== MacGillavry Fellowship, Tenure Track position for women in Logic and Computation Deadline: Monday 19 March 2018 ILLC participates in the recruitment programme at the Faculty of Science for top level female talent. This programme is named after the ground breaking crystallographer Carolina MacGillavry, an alumna of the University of Amsterdam. The MacGillavry Fellowships <http://www.uva.nl/en/faculties/faculteit-der-natuurwetensch appen-wiskunde-en-informatica/organisation/macgillavry- fellowship/macgillavry-fellowship.html> at the Faculty of Science are offered to women who excel in their discipline, who possess leadership potential and aspire to a career as a professor at the University of Amsterdam. For more information, see here <https://www.illc.uva.nl/NewsandEvents/News/Positions/newsit em/9569/MacGillavry-Fellowship,-Tenure-Track-position-for- women-in-Logic-and-Computation> or at www.uva.nl/en/content/vacancies/2017/12/17-656-macgillavry- fellowship-tenure-track-position-for-women-in-logic-and-computation.html or contact Prof. Sonja Smets at S.J.L.Smets at uva.nl <S.J.L.Smets(a)uva.nl>. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0