May 2019 - Categories - categories.org.au

EPIT 2020: Spring School on Homotopy Type Theory (first announcement)
by nicolas tabareau 28 May '19

28 May '19

(This is the first announcement, details about the registration and application procedure will given in a second announcement after summer) ==================================================================== Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory Ile d’Oléron, CAES CNRS La vieille Perrotine, France. 25th-29th May 2020 https://epit2020cnrs.inria.fr =================================================================== The EPIT is a French thematic school proposing, on an yearly basis, an intensive 5-day long training, specializing on a particular topic in theoretical computer science. It is primarily addressed to PhD students, Post-doctoral researchers and junior academics. The 2019 edition of the EPIT will be centered around Homotopy Type Theory, a research topic at the junction of Computer Science and Mathematics. Our hope is hence to provide an introduction that is accessible to researchers in both areas. -------------------------------------------------------------------- Lecturers Andrej Bauer (Ljubljana University): Introduction to Homotopy Type Theory Bas Spitters (Aarhus University): The Coq-HoTT library Andy Pitts (Cambridge University): Models of (Univalent) Type Theory Anders Mörtberg (Stockholm University): Cubical Type Theory Guillaume Brunerie (Stockholm University): Synthetic Homotopy Theory [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc positions in compositionality and applied category theory
by Pawel Sobocinski 23 May '19

23 May '19

Applications are invited for several postdoctoral researcher positions in the Department of Software Science at Taltech (Tallinn University of Technology) working with Pawel Sobocinski on compositionality and applied category theory. Compositionality describes and quantifies how compound systems can be assembled out of their constituent parts in a way that respects the underlying semantics. Compositional design is necessary for trustworthy software and leads to the development of correct and efficient data structures and algorithms. The inter-disciplinary group will work on compositional approaches to various application domains, including models of concurrency, control theory and cyber-physical systems, game theory, relational algebra and database theory, and machine learning. The language and techniques of category theory will serve as a connecting and unifying lingua franca, with an emphasis on the use of string diagrams and diagrammatic reasoning. The group will focus on theoretical as well as practical aspects, including tool development. The project is part of a research measure of the Estonian IT Academy programme, funded by the Estonian state and the European Social Fund. Qualifications -------------- The ideal applicants will have a PhD in Computer Science (or related field), strong background in at least one application area as well as in category theory. Experience in programming and software engineering is also desirable. In addition to research, the successful applicants will be expected to contribute to creating a fertile and exciting intellectual environment, participate and help with the organisation of a weekly seminar with invited external speakers from Europe and overseas, and help in organising and hosting regular international scientific events. There will also be opportunities to recruit and co-supervise masters and doctoral students, interact with local industry and with the general public through outreach activities. Tallinn and Taltech ------------------- Tallinn, a historically important Hansa trading port has its charming old town listed on the UNESCO World Heritage List. In recent years it has become one of the fastest-growing IT hubs and one of the most active startup scenes in Europe. The working languages at Taltech are Estonian and English. Further details and application procedure ----------------------------------------- Compensation will competitive wrt to European standards, and commensurate with experience. The positions will start on a mutually agreeable date from September 2019 and last for two years, with the possibility of an extension. Interested candidates are invited to contact Pawel Sobocinski (pawel(a)cs.ioc.ee) for any questions. To apply, the candidate should send a CV, a research statement (maximum 3 pages) and the names and contact details of two people who can be contacted for a reference to pawel(a)cs.ioc.ee by June 21, 2019. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Facets of realizability - last call for contributions
by Valentin Blot 20 May '19

20 May '19

LAST CALL FOR CONTRIBUTIONS For the FACETS OF REALIZABILITY workshop. https://project.inria.fr/realizability2019 Cachan (Paris), France, 1 - 3 July 2019. We are looking for people who want to present recent work on topics related to realizability. IMPORTANT DATES: Submission deadline: 1st June Workshop: 1st-3rd July BACKGROUND: The goal of the workshop is to bring together researchers interested in realizability or whose research involves applications of realizability. Here, ???realizability??? is to be understood in a very broad sense to foster new ideas from interaction of people working on its different aspects. The main focus will be realizability interpretations, arithmetic, function and categorical realizability and in particular work on the boundary between any of these. An example of a concept that lies at the border between arithmetic and function realizability is the principle of bar induction. INVITED SPEAKER: Paulo Oliva TOPICS: The scope of the workshop includes but is not limited to: - Number realizability - Modified realizability - Function realizability - Computable analysis - Dialectica interpretation - Classical realizability - Synthetic topology - Categorical realizability - Bar induction / bar recursion Short abstracts (at most half a page excluding references) should be sent to the two organizers directly with subject line ???[facets of realizability] abstract???. There will be no formal reviewing but the organizers will select work they consider relevant to the workshop and give notification of accepted abstracts as they arrive. The abstracts will not be published and contributions about submitted or already published work are welcome. the organizers, Valentin Blot & Florian Steinberg [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Summer School on HHT/UF - Registration closes soon
by Karol Szumiło 19 May '19

19 May '19

Dear friends and colleagues, This is the final announcement for the Summer School on Higher Topos Theory and Univalent Foundations, which will take place at the University of Leeds (UK) from Monday 24th June to Friday 28th June, 2019. Registration closes soon, the deadline is May 24th, 2019. To register, please follow the instructions at https://conferences.leeds.ac.uk/httuf/registration/ Note that you will need to create an account at the University of Leeds online store in order to register. The goal of the school is to help PhD students and young researchers to obtain entry points into the areas of Higher Topos Theory and Univalent Foundations and, perhaps most importantly, learn about connections between them. This would help future developments in both subjects, e.g. in the development of elementary higher topos theory. The school will consist of the following activities. Mini-courses: - Peter LeFanu Lumsdaine (Stockholm University), Univalent Foundations - Charles Rezk (University of Illinois at Urbana-Champaign), Higher Topos Theory Invited lectures: - Benedikt Ahrens (University of Birmingham) - André Joyal (Université du Québec à Montréal) - Emily Riehl (Johns Hopkins University) Tutorials: - Nicola Gambino (University of Leeds) - Paige North (Ohio State University) - Nima Rasekh (Max Planck Institute for Mathematics) - Karol Szumilo (University of Leeds) The website of the summer school can be found at: https://conferences.leeds.ac.uk/httuf/ If you have any queries please do not hesitate to contact the local organizers at httuf(a)leeds.ac.uk. With best regards, The organisers (Nicola Gambino, Nima Rasekh, Karol Szumilo) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Scottish Programming Languages and Verification Summer School, Strathclyde, Glasgow, UK, 5--9 August 2019
by Clemens Kupke 17 May '19

17 May '19

??+-----------------------------------------------------------------+ ??| | ??|?? Scottish Programming Languages and Verification Summer School?? | ??|?? The University of Strathclyde, Glasgow, UK, 5--9 August 2019???? | ??| http://www.macs.hw.ac.uk/splv/splv19/??????????????????????????????????????… | ??| | ??+-----------------------------------------------------------------+ The inaugural Scottish Programming Languages and Verification Summer School will be held at the University of Strathclyde 5--9 August 2019. The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES ======= Invited course -------------- ?? Chung-chieh Shan (Indiana University) ?? "Probabilistic programming" Core courses ------------ ?? Phil Wadler (University of Edinburgh) ?? "Programming Foundations in Agda" ?? Neil Ghani (University of Strathclyde) ?? "Category Theory" Specialised courses ------------------- ?? Chris Brown (University of St Andrews) ?? "Parallel Programming" ?? Ornela Dardha (University of Glasgow) ?? "Session Types" ?? Conor McBride (University of Strathclyde) ?? "Dependently Typed Programming" ?? Greg Michaelson and Rob Stewart (Heriot-Watt University) ?? "Domain-Specific Languages" PREREQUISITES ============= The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic. DATES ===== Early Registration deadline: 4 July 2019. School: Monday 5 August to Friday 9 August 2019. SPONSORSHIP =========== The summer school is generously sponsored by SICSA, the Scottish Informatics and Computer Science Alliance, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network. We also offer a range of sponsorship opportunities for industry with attractive benefits -- please get in touch if you are interested. REGISTRATION ============ Registration will open soon. Since the school is sponsored by SICSA, attendance will be *free* for PhD students affiliated with Scottish universities. The registration fees in general are as follows: SICSA student: ??0. Academic: ??160. Industry: ??300. The registration fee covers coffee breaks, lunches and an excursion. ACCOMMODATION ============= We can offer accommodation in student dorms for ??170. Alternatively, there are plenty of hotels, hostels or Airbnbs in central Glasgow. FURTHER INFORMATION =================== More information can be found on the school webpage: ?? http://www.macs.hw.ac.uk/splv/splv19/ Please contact one of the local organisers if you have any questions: - Bob Atkey?????????????????????????????????????? robert.atkey(a)strath.ac.uk - Clemens Kupke?????????????????????????????? clemens.kupke(a)strath.ac.uk - Fredrik Nordvall Forsberg fredrik.nordvall-forsberg(a)strath.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final Call for Participation: Fourth Symposium on Compositional Structures (SYCO 4)
by Kohei Kishida 17 May '19

17 May '19

FOURTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 4) Chapman University, California, USA 22-23 May, 2019 http://events.cs.bham.ac.uk/syco/4/ The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. The first SYCO was in September 2018, at the University of Birmingham. The second SYCO was in December 2018, at the University of Strathclyde. The third SYCO was in March 2019, at the University of Oxford. Each meeting attracted about 70 participants. The fourth SYCO will be in Chapman University, California, and we have 15 papers accepted for presentation, ranging over theory and practice of category theory, from homotopy type theory to differential programming, to rewriting systems, and to machine learning. Indeed the SYCO series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic". # INVITED SPEAKERS John Baez, University of California, Riverside Tobias Fritz, Perimeter Institute for Theoretical Physics Nina Otter, University of California, Los Angeles # PAPERS ACCEPTED FOR PRESENTATION ??? Samuel Balco and Alexander Kurz, Nominal String Diagrams ??? Harsh Beohar and Sebastian K??pper, Bisimulation Maps in Presheaf Categories ??? Owen Biesel, Duality for Algebras of the Connected Planar Wiring Diagrams Operad ??? Daniel Cicala, Rewriting Structured Cospans ??? Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF+H ??? Kenny Courser and John Baez, Structured Cospans ??? Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards Formalizing and Extending Differential Programming via Tangent Categories ??? Kohei Kishida, Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, Categorical Equivalence between Orthocomplemented Quantales and Complete Orthomodular Lattices ??? Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-Wright, Scalars in Tangent Categories ??? Jade Master, Generalized Petri Nets ??? Joe Moeller and Christina Vasilakopoulou, Monoidal Grothendieck Construction ??? Jeffrey Morton, 2-Group Actions and Double Categories ??? Michael Shulman, All (???,1)-Toposes Have Strict Univalent Universes ??? David Sprunger and Shin-Ya Katsumata, Differential Categories, Recurrent Neural networks, and Machine learning ??? Christian Williams and John Baez, Enriched Lawvere Theories for Operational Semantics # REGISTRATION Please register as soon as possible so that catering can be arranged. https://docs.google.com/forms/d/e/1FAIpQLScSmO-WYDjTOzRCW_NkY9Qrf1CebA3wteX… # PROGRAMME COMMITTEE Miriam Backens, University of Oxford Ross Duncan, University of Strathclyde and Cambridge Quantum Computing Brendan Fong, Massachusetts Institute of Technology Tobias Fritz, Perimeter Institute for Theoretical Physics Stefano Gogioso, University of Oxford Amar Hadzihasanovic, Kyoto University Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Martti Karvonen, University of Edinburgh Kohei Kishida, Dalhousie University (chair) Andre Kornell, University of California, Davis Alexander Kurz, Chapman University Martha Lewis, University of Amsterdam Samuel Mimram, ??cole Polytechnique Benjamin Musto, University of Oxford Nina Otter, University of California, Los Angeles Simona Paoli, University of Leicester Dorette Pronk, Dalhousie University Mehrnoosh Sadrzadeh, Queen Mary Pawel Sobocinski, University of Southampton Joshua Tan, University of Oxford Sean Tull, University of Oxford Dominic Verdon, University of Bristol Jamie Vicary, University of Birmingham and University of Oxford Maaike Zwart, University of Oxford [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

RAMiCS2020 - CFP
by Michael Winter 15 May '19

15 May '19

CALL FOR PAPERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08. April to 11. April 2020, Palaiseau, France URL: http://ramics18.gforge.inria.fr/ IMPORTANT DATES: Abstract Submission: 06. October 2019 Paper Submission: 13. October 2019 Author Notification: 15. December 2019 Final Version: 16. January 2020 RAMiCS 2020: 08. April to 11. April 2020 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications WATA 2020 WATA 2020, the 10th International Workshop on Weighted Automata: Theory and Applications, will take place just after RAMICS, from 14 to 17 April, in Marseille. We encourage participants to combine the two events. SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2020 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Programme Committee ------------------- Roland Backhouse University of Nottingham, UK Rudolf Berghammer Kiel University, Germany Manuel Bodirsky TU Dresden, Germany Jules Desharnais Laval University, Canada Amina Doumane PPS, France Uli Fahrenberg École polytechnique, France Hitoshi Furusawa Kagoshima University, Japan Mai Gehrke LIAFA, France Walter Guttmann University of Canterbury, New Zealand Robin Hirsch University College London, UK Peter Höfner CSIRO, Australia Marcel Jackson La Trobe University, Australia Jean-Baptiste Jeannin University of Michigan, USA Peter Jipsen Chapman University, USA Wolfram Kahl McMaster University, Canada Dexter Kozen Cornell University, USA Tadeusz Litak FAU Erlangen-Nürnberg, Germany Wendy MacCaull St. Francis Xavier University, Canada Roger Maddux Iowa State University, USA Annabelle McIver Macquarie University, Australia Szabolcs Mikulas University of London, UK Ali Mili NJIT, USA Jose Oliveira University of Minho, Portugal Alessandra Palmigiano Technical University of Delft, Netherlands Damien Pous CNRS - ENS Lyon, France Mehrnoosh Sadrzadeh Queen Mary University of London, UK Luigi Santocanale LIS, Aix-Marseille Université, France John Stell University of Leeds, UK Georg Struth University of Sheffield, UK Michael Winter Brock University, Canada [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Several Open Research Positions within Research Training Group,"Cybercrime and Forensic Computing"
by Lutz Schröder 15 May '19

15 May '19

[The RTG includes PhD topics that may be of interest to readers of the categories list, with Stefan Milius and Lutz Schr??der as possible PhD advisers.] The Department of Computer Science and the School of Law at FAU invite applications for 10 PhD positions (m/f/d) (salary level 13 TV-L) in Computer Science (full time) and Law (part time, 75%) and 1 postdoctoral position at the School of Law (m/f/d) (salary level 13 TV-L, full time) within the Research Training Group 2475 "Cybercrime and Forensic Computing" funded by the German Research Foundation (DFG) commencing on October 1, 2019. The Research Training Group aims to systematically analyse research questions arising from the interaction between computer science and criminal law. The principal investigators of this project offer expertise in the following areas: o Computer security, digital forensic science o Criminal law, criminal procedure, criminology o Theoretical computer science (logic, semantics, automata) o Pattern recognition, image processing, image forensics o Cryptography o Hardware-software-co-design More information about possible research topics can be found at https://cybercrime.fau.de Applicants should have an excellent academic record, hold an MSc, LL.M. or an equivalent university degree in computer science, law or related disciplines, and have the goal to finish a PhD degree within three years. Applicants for the postdoctoral position should hold a PhD in law. FAU aims to increase the number of women in scientific positions. Female candidates are therefore particularly encouraged to apply. In case of equal qualifications, candidates with disabilities will take precedence. Please submit your complete application documents by 12.6.2019 to cybercrime-applications(a)fau.de. Please mention in your application at least two research areas from the above list which you are specifically interested in. Interviews will commence between 3.7.2019 and 12.7.2019 in Erlangen. Further inquiries can be directed to Felix Freiling (felix.freiling(a)fau.de) regarding positions in computer science and Hans Kudlich (hans.kudlich(a)fau.de) regarding positions in law. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

About that missing paper
by Michael Barr, Prof. 11 May '19

11 May '19

It has been found. I have at least one request for a copy, which I have filled. If anyone else wants a copy, just write me. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May
by Marcus Aloysius Bezem 11 May '19

11 May '19

ANNOUNCEMENT AND CALL FOR PARTICIPATION 25th International Conference on Types for Proofs and Programs, TYPES 2019 and EUTYPES Cost Action CA15123 meeting Oslo, Norway, 11 - 14 June 2019 https://cas.oslo.no/types2019/ TYPES 2019 will be held in parallel (and jointly on 12 June) with HoTT-UF, 12-14 June 2019, https://cas.oslo.no/hott-uf/ REGISTRATION: https://cas.oslo.no/types2019/registration/ The deadline for early registration is 25 May. When you register we send you (in a few days) a mail with some information about (discounted, still expensive) hotel options close to the conference site. You will be able to find cheaper accomodation a bit farther from the city center, still very well connected by public transport. Don't wait for the EU funding, or our grants for young researchers, to be decided. Book a hotel ASAP with a cancellation option and/or payment upon arrival. PROGRAM (!!!TENTATIVE!!!) : http://www.ii.uib.no/~bezem/program.pdf INVITED SPEAKERS * Adam Chlipala (MIT, Cambridge MA, USA): Challenges Scaling Type-Theory-Based Verification to Cryptographic Code in Production * Assia Mahboubi, (INRIA, Nantes, France): Classical analysis in dependent type theory * Conor McBride (University of Strathclyde, Glasgow, UK): Check the Box! * Stephanie Weirich (University of Pennsylvania, Pittsburgh, USA): A Dependently-Typed Core Calculus for GHC BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same research topics as TYPES and partially sponsors the TYPES Conference: Part of the programme is organised under the auspices of EUTypes. POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2018, a post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline: September 2019. PROGRAMME COMMITTEE Thorsten Altenkirch (University of Nottingham) Marc Bezem (University of Bergen, chair) Ma??gorzata Biernacka (University of Wroc??aw) Jesper Cockx (Chalmers University Gothenburg) Herman Geuvers (Radboud University Nijmegen) Silvia Ghilezan (University of Novi Sad) Mauro Jaskelioff (Universidad Nacional de Rosario) Ambrus Kaposi (E??tv??s Lor??nd University) Ralph Matthes (IRIT ??? CNRS and University of Toulouse) ??tienne Miquey (INRIA, France) Leonardo da Moura (Microsoft Research) Keiko Nakata (SAP Potsdam) Fredrik Nordvall Forsberg (University of Strathclyde) Benjamin Pierce (University of Pennsylvania) Elaine Pimentel (Federal University of Rio Grande do Norte) Lu??s Pinto (University of Minho) Simona Ronchi Della Rocca (Universit?? di Torino) Carsten Sch??rmann (IT University of Copenhagen) Wouter Swierstra (Utrecht University) Tarmo Uustalu (Reykjavik University) TYPES STEERING COMMITTEE Andreas Abel, Marc Bezem, Jos?? Esp??rito Santo, Hugo Herbelin, Ambrus Kaposi, Ralph Matthes (chair). ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. From 2016, TYPES is partially supported by COST Action EUTypes CA15123. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), B??stad (1992), Nijmegen (1993), B??stad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), L??keberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018). CONTACT Email:types2019 at cas.oslo.no Organisers: Marc Bezem (University of Bergen, chair) Bj??rn Ian Dundas (University of Bergen) Erna Kas (Utrecht University) Camilla K. Elmar (Centre for Advanced Study) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0