April 2017 - Categories - categories.org.au

Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 **
by Erik Palmgren 28 Apr '17

28 Apr '17

[ Note in particular the special sessions 17 - 19 August on category theory and type theory in honour of Per Martin-L??f on his 75th birthday, with distinguished speakers - Thierry Coquand (G??teborg University) - Richard Garner (Macquarie University, Sidney) - Andr?? Joyal (University of Quebec, Montreal) - Vladimir Voevodsky (Institute of Advanced Study, Princeton) We shall be able to arrange contributed sessions on categorical logic, univalent foundations and homotopy type theory right after these special sessions. Please consider submitting an abstract - at the latest May 5. The registration fee for the whole of Logic Colloquium is quite modest (e.g. 140 Euros for students)] Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 ** ---------------------------------------------- Logic Colloquium 2017: Third Announcement and Call for Submissions August 14-20, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 <https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2> ---------------------------------------------- The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017, at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology. LC2017 will be co-located with several other logic-related events, all taking place at Stockholm University: - the 3rd Nordic Logic Summer School, NLS2017, August 7-11 - the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24 - Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017, August 16-19 - Workshop on Logical Aspects of Multi-Agent Systems, LAMAS2017, August 25 - Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25 There will be a joint session of CSL2017 and LC2017 in the morning of August 20. Further information about all events can be found at: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 <https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2> INVITED SPEAKERS ------------------------------ Plenary speakers: - David Aspero (University of East Anglia) - Alessandro Berarducci (Pisa) - Elisabeth Bouscaren (Paris 11) - Christina Brech (Sao Paolo) - Sakae Fuchino (Kobe University) - Denis Hirschfeldt (University of Chicago) - Wilfrid Hodges (British Academy, UK) - Emil Jerabek (Prague) - Per Martin-L??f (Stockholm University) - Dag Prawitz (Stockholm University) - Sonja Smets (University of Amsterdam) Tutorial speakers: - Patricia Bouyer-Decitre (LSV ENS Cachan) - Mai Gehrke (Paris 7) LC-CSL joint session highlight speakers: - Veronica Becher (University of Buenos Aires) - Pierre Simon (UC Berkeley) - Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden) - Wolfgang Thomas (RWTH Aachen) SPECIAL SESSIONS ----------------------------- Category theory and type theory in honour of Per Martin-L??f on his 75th birthday Dates: August 17-19, 2017 Speakers: - Thierry Coquand (G??teborg University) - Richard Garner (Macquarie University, Sidney) - Andr?? Joyal (University of Quebec, Montreal) - Vladimir Voevodsky (Institute of Advanced Study, Princeton) Computability Organizers: Ver??nica Becher and Denis Hirschfeldt Speakers: - Emmanuel Jeandel (University of Lorraine, France) - Klaus Meer (Brandenburg University of Technology, Cottbus-Senftenberg, Germany) - Arno Pauly (Clare college, Cambridge University) - Theodore Slaman (University of California, Berkeley) - Mariya Soskova (Sofia University, Bulgaria) - Keita Yokoyama (University of California, Berkeley) History of Logic: Organiser: Valentin Goranko Speakers: - Wilfrid Hodges (British Academy, UK) - Peter ??hrstr??m (Aalborg University, Denmark) - Jan von Plato (University of Helsinki, Finland) Model Theory: TBA Philosophical Logic Organizer: Mirna Dzamonja Speakers: - Michele Friend (Gerorge Washington University) - Juliette Kennedy (Helsinki University) - Benedikt Loewe (University of Amsterdam and Hamburg) - Sara Negri (Helsinki University) - Davide Rizza (University of East Anglia) - one more speaker TBA Proof Theory Organizers: Jan von Plato and Andreas Weiermann Speakers: - Fernando Ferreira (University of Lisbon, Portugal) - Annika Kanckos (University of Helsinki, Finland) - Anton Setzer (Swansea University, UK) - further speakers TBA Set Theory Organizers: Christina Brech and Assaf Rinot Speakers: - William Chen (Ben Gurion University, Israel) - Brent Cody (Virginia Commonwealth University, USA) - Ashutosh Kumar (Hebrew University, Jerusalem) - Giorgio Laguzzi (Freiburg University) - Yann Pequignot (University of California, Los Angeles) - Sandra Uhlenbrock (University of Vienna, Austria) SUBMISSIONS OF CONTRIBUTED TALKS --------------------- Abstracts of contributed talks must be submitted as pdf files via this EasyChair page: https://easychair.org/conferences/?conf=lc2017 <https://easychair.org/conferences/?conf=lc2017> (If you do not have an EasyChair-account yet, you can create one at the submission site.) The abstracts must be prepared according to the ASL instructions here: http://www.aslonline.org/rules_abstracts.html <http://www.aslonline.org/rules_abstracts.html> Please: - enter Title and Abstract as plain text - as the first keyword, put the AMS 2010 classification: 03xxx - indicate whether you are submitting for presentation at the colloquium, for publication in the Bulletin of Symbolic Logic, or for both Abstracts of contributed talks submitted by ASL members, which are accepted and prepared according to the ASL Rules for Abstracts, will be published in the Bulletin of Symbolic Logic. Upon notification of acceptance, authors will be requested to submit the LaTeX source files. REGISTRATION ---------------------- The early registration fee, for students and participants from developing countries, is 1400 SEK including VAT (approx. 140 Euros) per participant, and includes coffee breaks and conference materials. For all others, the early registration fee is 2000 SEK including VAT. Late registration is 2800 SEK for regular fee participants, and 2000 SEK for reduced fee participants. Note: 500 SEK fee deduction when registering for CSL2017 at the same time. The registration fee does not cover accommodation, but there will be special offers at hostels and hotels (in the range 700 -1200 SEK per night for single rooms) available. https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/… <https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/…> IMPORTANT DATES -------------------------------------------------------- Main event: August 14-19, 2017 Joint session with CSL2017: August 20, 2017 Abstract deadlines: Abstract submission for contributed talks: May 5, 2017 Notification: May 19, 2017 Grant application deadline: May 8, 2017 Early registration deadline: June 9, 2017 Late registration deadline: August 1, 2017 -------------------------------------------------------- GRANTS ------------------------------------ There are possibilities for grants from ASL, NSF, and the Bill Craig donation. Information can be found at the website of the Logic Colloquium 2017: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/… <https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/…> PROGRAMME COMMITTEE ------------------- - Rod Downey (University of Wellington) - Mirna Dzamonja (PC chair, University of East Anglia) - Ali Enayat (University of Gothenburg) - Fernando Ferreira (University of Lisbon) - Valentin Goranko (Stockholm University) - Martin Hils (University of M??nster) - Sara Negri (University of Helsinki) - Assaf Rinot (Bar-Ilan University) - Igor Walukiewicz (University of Bordeaux) LOCAL ORGANISING COMMITTEE -------------------- - Stefan Buijsman, Department of Philosophy, Stockholm University - Mads Dam, Department of Theoretical Computer Science, KTH - Jacopo Emmenegger, Department of Mathematics, Stockholm University - Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University - Dilian Gurov, Department of Theoretical Computer Science, KTH - Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology - Eric Johannesson, Department of Philosophy, Stockholm University - Vera Koponen, Department of Mathematics, Uppsala University - Johan Lindberg, Department of Mathematics, Stockholm University - Roussanka Loukanova, Department of Mathematics, Stockholm University - Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University - Anders Lundstedt, Department of Philosophy, Stockholm University - Karl Nygren, Department of Philosophy, Stockholm University - Peter Pagin, Department of Philosophy, Stockholm University - Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University - Dag Westerst??hl, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES -------------------- For enquiries on scientific and programme issues, send email to: Mirna Dzamonja (M.Dzamonja(a)uea.ac.uk <mailto:M.Dzamonja@uea.ac.uk>) For enquiries on organising matters, send email to: lc2017 at philosophy.su.se <http://philosophy.su.se> SPONSORS ----------------- Association for Symbolic Logic Stockholm University The GS Magnusson Foundation Prover Technology Stockholm City Hall -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe(a)googlegroups.com. For more options, visit https://groups.google.com/d/optout. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

acyclic models correction
by RONALD BROWN 28 Apr '17

28 Apr '17

My recent post had a misprint in a url, as pointed out by Mike Barr. Here is the correction www.groupoids.org.uk/nonab-a-t.html The book has a section 10.4 on acyclic models for crossed complexes, rather than chain complexes. This means that the theorem readily gives weak equivalences rather than just homology equivalences. Ronnie [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Simplicial acyclic models
by Michael Barr 27 Apr '17

27 Apr '17

Is anyone aware of a non-abelian version of acyclic models that compares simplicial objects (or functors) in a non-additive category? Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Call for papers: Structures and Deduction 2017
by Willem Heijltjes 26 Apr '17

26 Apr '17

*** Call for papers: Structures and Deduction 2017 *** SD17: 4th Int. Workshop on Structures and Deduction 2017 Oxford, 8-9 September 2017 --- Affiliated with FSCD 2017 Submission: 16 June Notification: 21 July Workshop page: http://www.anupamdas.com/sd17/ Submission page: http://easychair.org/conferences/?conf=sd17 FSCD 2017 page: http://www.cs.ox.ac.uk/conferences/fscd2017/ *** Topics of interest *** * Syntactic representations of proofs (e.g. sequent calculi, deep inference, focussing) * Combinatorial representations of proofs (e.g. proof nets) * Algebraic representations of proofs (e.g. via game semantics or category theory) * Methods for proof manipulation and normal forms of proofs * Formulas-as-types interpretations of proofs * Computation and rewriting in proof search (e.g. deduction modulo or fixed point definitions) * Complexity theoretic aspects of proof representations *** Invited Speakers *** Michel Parigot TBA *** Programme Committee *** Andrea Aler Tubella James Brotherston Kaustuv Chaudhuri Anupam Das Willem Heijltjes Kenji Miyamoto Giselle Reis *** Workshop *** SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates. There have been three previous editions of Structures and Deduction, the last of which occurred in 2014. Since then there has been a tremendous amount of progress in the area, witnessed by multiple recent funded projects. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions. *** Submission guidelines *** We welcome submission of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome: * Extended abstracts (8 pages). Finished work, system descriptions, surveys. * Short abstracts (4 pages). Work-in-progress, perspectives on existing work. The page limits above are only recommendations, there is no hard upper or lower bound, within reason. Please prepare your work using the EasyChair style files: http://www.easychair.org/publications/for_authors *** Publication *** We do not intend to have published proceedings, as we encourage people to present work in progress, or material that is already submitted. If there is a strong demand among the participants we may organise a special issue of an open access journal for full papers. *** Contact *** We can be reached by email directly or via sd17(a)easychair.org The organisers. Kaustuv Chaudhuri Anupam Das Willem Heijltjes [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

When is Fam(E) a topos?
by Peter Johnstone 24 Apr '17

24 Apr '17

Others may have noticed a slight gap in what I wrote on Saturday, concerning the difference between toposes with set-indexed copowers and those with coproducts. If E has copowers then the functor Delta exists, but to prove that Fam(E) is equivalent to the topos obtained by glueing along it you need arbitrary coproducts. In fact these are necessary for Fam(E) to be cartesian closed; I now have a proof of this, but it's a bit too complicated to write out in ASCII. I plan to write it up as a short paper. Peter Johnstone [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Participation: International Summer School for Proof Theory in First-order Logic
by Anela Lolic 24 Apr '17

24 Apr '17

Call for Participation International Summer School for Proof Theory in First-order Logic August 22 - 27, 2017 University of Madeira, Funchal, Madeira https://kgs.logic.at/madeira/ The Kurt Goedel Society (https://kgs.logic.at/) is organizing a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27. The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students. Lecturers: * Matthias Baaz (Vienna): Epsilon Calculus II * Agata Ciabattoni (Vienna): Proof Theory for Non-Classical Logics: Sequent calculi and beyond * Chris Ferm??ller (Vienna): Games and Analytic Proof Systems * Stefan Hetzl (Vienna): Proof Theory of Induction * Reinhard Kahle (Lisbon): Hilbert's Larger Programme * Alexander Leitsch (Vienna): Methods of Cut-Elimination * Georg Moser (Innsbruck): Epsilon Calculus I *Michel Parigot (Paris): Computational Interpretations of Formal Proofs For more information and registration, see https://kgs.logic.at/madeira/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: when is Fam (E) a topos?
by Thomas Streicher 23 Apr '17

23 Apr '17

Peter's argument also shows that a topos E has copowers of 1 already if Fam(E) is cartesian closed. Thus, we have also examples of fibrations of ccc's over a topos whose total category is not even cc. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

when is Fam (E) a topos?
by Thomas Streicher 22 Apr '17

22 Apr '17

A couple of days ago I made the wrong claim that > If BB is a topos and P : XX -> BB is a fibration then P is a fibration > of toposes iff XX is a topos and P is a logical functor. The following shows how wrong this claim is. Let E be a topos then Fam(E) -> Set is certainly a fibered topos but by Th.6.2.3 of Pieter Hofstra's Thesis Fam(E) is a topos iff E is an atomic category (in the sense of Johnstone's 1977 book on Topos Theory, exercise 12 on p. 257). But in atomic categories all morphisms are epic and thus Fam(E) is a topos only if E is trivial. Thus, for the motivating examples of fibred toposes the total category is a topos only in the trivial case! Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 2

Final Call for Papers + Deadline extension: QPL 2017
by Aleks Kissinger 20 Apr '17

20 Apr '17

FINAL CALL FOR PAPERS + EXTENDED DEADLINE The 14th International Conference on Quantum Physics and Logic (QPL) July 3-7, 2017 Radboud Universiteit, Nijmegen, Netherlands http://qpl.cs.ru.nl Due to a large number of requests, we have extended the deadline for both original contributions and extended abstracts. We ask that authors wishing to send a paper or extended abstract please submit a title and short abstract via Easychair by the original deadline. - ABSTRACT SUBMISSION DEADLINE: 21 April, 2017 (tomorrow!) - PAPER SUBMISSION DEADLINE: 28 April, 2017 (extended) * * * The 14th International Conference on Quantum Physics and Logic (QPL) will take place at Radboud University between Monday 3 and Friday 7 July, 2017. The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. Previous QPL events were held in Glasgow (2016), Oxford (2015), Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003). REGISTRATION IS NOW OPEN! Find registration details via the QPL 2017 website or register directly at: https://rudigitalsecurity.paydro.com/qpl-2017 SATELLITES There will be a satellite workshop on Quantum Structures hosted by the International Quantum Structures Association (IQSA) from Tuesday July 4th to Friday the 7th. See the QPL website for more information. JOINT QPL-IQSA INVITED SPEAKER Miriam Backens (Bristol) QPL INVITED SPEAKERS Matthias Christandl (Copenhagen) Miguel Navasques (Vienna) Paulo Perinotti (Pavia) Jamie Vicary (Oxford) IQSA INVITED SPEAKERS Guido Bacciagaluppi (Utrecht) Hans Maassen (Radboud/Amsterdam) QPL INVITED TUTORIALS Bart Jacobs (Radboud) - Effectus Theory Dan Marsden (Oxford) - Categorical String Diagrams Simon Perdrix (LORIA) - Measurement-based Quantum Computation Ronald de Wolf (CWI) - Quantum Algorithms IMPORTANT DATES Abstract Submission: 21 April, 2017 Paper Submission: 28 April, 2017 (extended) Notification: 29 May Papers ready: 23 June Conference: 3-7 July All deadlines are at 23:59, Anywhere on Earth (UTC-12). SUBMISSIONS Prospective speakers are invited to submit a contribution to the conference. - Original contributions consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. Authors of accepted papers will be invited to give long or short talks, depending on the quality and/or maturity of the submission. - Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2017 There will be an award for the best paper whose authors are all students, at the discretion of the programme committee. PROGRAMME COMMITTEE Aleks Kissinger (Radboud, co-chair) Bob Coecke (Oxford, co-chair) Samson Abramsky (Oxford) Miriam Backens (Bristol) John Baez (UC Riverside) Benno van den Berg (Amsterdam) Rick Blute (Ottawa) Dan Browne (University College London) Giulio Chiribella (Hong Kong) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Chris Heunen (Edinburgh) Matty Hoban (Oxford) Dominic Horsman (Durham) Bart Jacobs (Radboud) Kohei Kishida (Oxford) Joachim Kock (Barcelona) Matt Leifer (Chapman) Hans Maassen (Radboud) Paul-Andre Mellies (Paris Diderot) Michael Moortgat (Utrecht) Daniel Oi (Strathclyde) Prakash Panangaden (McGill) Dusko Pavlovic (Hawaii) Simon Perdrix (CNRS Nancy) Paolo Perinotti (Pavia) Robert Raussendorf (British Columbia) Lidia del Rio (ETH Zurich) Ana Belen Sainz (Perimeter Institute) Peter Selinger (Dalhousie) Pawel Sobocinski (Southampton) Rob Spekkens (Perimeter Institute) Isar Stubbe (Littoral-Cote-d'Opale) Benoit Valiron (Paris-Sud) Jamie Vicary (Oxford) Mingsheng Ying (UT Sydney) STEERING COMMITTEE Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie) LOCAL ORGANISATION Bart Jacobs Aleks Kissinger Sander Uijlen [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
by Ichiro Hasuo 19 Apr '17

19 Apr '17

[Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our new 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic and category theory. For more about the project please visit http://group-mmm.org/eratommsd About the open positions http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro ======= Ichiro Hasuo Nationai Institite of Informatics, Japan http://group-mmm.org/~ichiro/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0