May 2017 - Categories - categories.org.au

Workshop on Coinduction in Type Theory in Chambéry
by Tom Hirschowitz 24 May '17

24 May '17

Dear all, This is the second call for participation to our little workshop / summer school on Coinduction in Type Theory in Le Bourget-du-Lac, near Chambéry, France, from July 3 to July 6, 2017. Everything you need to know should be at http://lama.univ-savoie.fr/~hirschowitz/CoTT2017 , in particular, registration is open until June 15, here: http://lama.univ-savoie.fr/~hirschowitz/CoTT2017/registration.php . Briefly, the workshop will revolve around three mini-courses: - Henning Basold: Type Theory Based on Dependent Inductive and Coinductive Types, - Neil Ghani: Coinduction and infinite games, - Rasmus Møgelberg: Guarded dependent type theory with coinductive types. Contributed talks are solicited on theoretical and more applied topics having to do with coinduction and type theory — preferably both! —, particularly those not represented by the invited talks. In the tradition of the Réalisabilité à Chambéry workshop series, the organisers won't organise much, apart from the talks and coffee breaks. In particular, lunch is not organised and registration is free. Some things generally happen spontaneously, like a social dinner and a barbecue near Lake Bourget. The workshop website includes a few hints for accomodation and the like, but please don't hesitate to contact us in case of further questions. Hoping to see you there, Tom Hirschowitz Clovis Eberhart Pierre Hyvernat Rodolphe Lepigre Christophe Raffalli [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Changes in the “Cahiers de Topologie et Geometrie Differentielle Categoriques”
by Andrée Ehresmann 23 May '17

23 May '17

The ???Cahiers???have been created by Charles Ehresmann in 1957/58. We have decided to make an important change on their 60th birthday: from January 2018 on, the ???Cahiers??? will become a free (and no-fee) Open Access Journal (no longer paper-printed), while keeping their present objectives and presentation (except for paper being replaced by e-file). Indeed, the volume of each year will still consist of 4 quarterly issues (about 80-100 pages each), in the same format as the present Cahiers except that they will be pdf files rather than paper-books. At the beginning of each quarter, the (entire) corresponding issue will be posted on the site http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm and will be freely downloadable. The people who ask for it will be informed when an issue is published online and downloadable. And the separate articles will also be freely downloadable from the Louvain-la-Neuve mirror site (which is almost ready, and will be functional soon). There will still be no charge for authors nor their institution. We hope this change toward more modernity and easier access will allow for more permanency of the ???Cahiers???, and an increased visibility. Andree Ehresmann, Marino Gran and Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Categories for Homotopy Theory and Rewriting
by Dimitri Ara 23 May '17

23 May '17

Dear colleagues, This is the second announcement for the conference Categories for Homotopy Theory and Rewriting September 25 to September 29, 2017 CIRM, Luminy (France) The conference will deal more generally with applications of categorical methods in a broad range of fields: homotopy theory, rewriting, higher categories, computer science, geometric group theory, operads, physics, homological algebra and homotopy type theory. The invited speakers are: Steve Awodey (Carnegie Mellon University) Fr?r?dic Chapoton (CNRS, Universit? de Strasbourg) Pierre-Louis Curien (CNRS, Universit? Paris 7) Ya?l Fr?gier (Universit? d'Artois) St?phane Gaussent (Universit? Jean Monnet) ?ric Hoffbeck (Universit? Paris 13) Martin Hyland (University of Cambridge) (to be confirmed) Andr? Joyal (Universit? du Qu?bec ? Montr?al) Joachim Kock (Universitat Aut?noma de Barcelona) Victoria Lebed (Trinity College Dublin) Peter LeFanu Lumsdaine (Stockholms Universitet) Simona Paoli (University of Leicester) Dominic Verity (Macquarie University) Two mini-courses will be given: Philippe Malbos (Universit? Lyon 1), on Squier's theory for monoids and algebras Fran?ois M?tayer (Universit? Paris Nanterre), on homotopy theory of strict omega-categories and its connection with homology of monoids A limited number of slots are available for short contributed talks. People interested in giving such a talk should send an abstract to one of the organizers before July 16, 2017. Some (not so) limited funding is available to support participants, particularly young researchers and those who may not have other means of covering their expenses. Applications for financial support should be sent to one of the organizers as soon as possible. Further information and updates will be available on the website of the conference: http://scientific-events.weebly.com/1773.html Preregistration is open until July 16, 2017. To preregister, please fill in the form on the webpage of the event: http://www.cirm-math.fr/preRegistration/index.php?EX=menu0&id_renc=1773 We look forward seeing you in Luminy. The organizers, Dimitri Ara Marcelo Fiore Yves Guiraud Samuel Mimram [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

LFCS 2018 Call for Papers
by Ruy de Queiroz 23 May '17

23 May '17

FIRST CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS '18), Deerfield Beach, Florida, January 8-11, 2018. LFCS GENERAL CHAIR: Anil Nerode. LFCS STEERING COMMITTEE: Anil Nerode, (Ithaca); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St. Petersburg); Samuel Buss (San Diego); Gerald Sacks (Cambridge, MA); Dana Scott, (Pittsburgh, PA - Berkeley, CA). LFCS ’18 PROGRAM COMMITTEE: Sergei Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris); Steve Awodey (Pittsburgh, PA); Matthias Baaz (Vienna); Lev Beklemishev (Moscow); Andreas Blass (Ann Arbor, MI); Samuel Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thierry Coquand (Göteborg); Michael Fellows (Bergen), Melvin Fitting (New York); Sergey Goncharov (Novosibirsk); Denis Hirschfeldt (Chicago, IL); Martin Hyland (Cambridge); Rosalie Iemhoff (Utrecht); Hajime Ishihara (JAIST - Kanazawa); Bakhadyr Khoussainov (Auckland); Roman Kuznets (Vienna); Daniel Leivant (Bloomington, IN); Robert Lubarsky (Boca Raton, FL); Victor Marek (Lexington, KY); Lawrence Moss (Bloomington, IN); Anil Nerode (Ithaca, NY) - General LFCS Chair; Hiroakira Ono (JAIST - Kanazawa); Alessandra Palmigiano (Delft); Ramaswamy Ramanujam (Chennai); Michael Rathjen (Leeds); Jeffrey Remmel (San Diego); Andre Scedrov (UPenn); Helmut Schwichtenberg (Munich); Philip Scott (Ottawa); Alex Simpson (Ljubljana); Sonja Smets (Amsterdam); Sebastiaan Terwijn(Nijmegen). LFCS ’18 LOCAL ORGANIZING COMMITTEE CHAIR: Robert Lubarsky. LFCS TOPICS of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. SUBMISSION DETAILS. Proceedings will be published in the Springer LNCS series. There will be a post-conference volume of selected works published. Submissions should be made electronically via http://www.easychair.org/ LFCS18/. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings. LFCS issues the BEST STUDENT PAPER AWARD named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science. IMPORTANT DATES. Submissions deadline: September 10, 2017, any time zone. Notification: October 10, 2017. LOCAL ARRANGEMENTS. The venue of LFCS ’18 will be the spectacular Wyndham Deerfield Beach Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441. Website: http://www.wyndhamdeerfieldresort.com Further Information about LFCS symposia: http://lfcs.ws.gc.cuny.edu/ About LFCS. The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992. LFCS has enjoyed support and endorsements from a number of bodies, including the US National Science Foundation (NSF) and the City University of New York Research Foundation. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CILC 2017 call for paper: deadline approaching
by Dario Della Monica 23 May '17

23 May '17

********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it) Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Universit?? del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 25 May 2017 Notification of acceptance: 30 June 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bil??, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017(a)easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc at AFRL
by Steve Awodey 16 May '17

16 May '17

Passing along the following opportunity: > The Air Force Research Laboratory (in Dayton, Ohio) has an opening for a 3 year postdoc position, roughly starting in Fall 2017 to work on a project focused on studying categories of (various kinds of) dynamical systems with one eye toward interesting categorical semantics and the other toward realizability in physical systems. The project will involve a collaboration with the kod*lab robotics group led by Dan Koditschek (University of Pennsylvania). We are looking for interested US citizens who have a background in type theory, categorical semantics, dynamical systems or related areas. Please contact Jared Culbertson (jared.culbertson(a)us.af.mil) for more information. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FROM 2017
by From 2017 15 May '17

15 May '17

[Apologies for multiple copies] FROM 2017 - Second Call for Papers http://unibuc.ro/~conference/from2017 WORKING FORMAL METHODS SYMPOSIUM 5 - 8 July 2017 Faculty of Mathematics and Computer Science University of Bucharest Deadline for abstract submissions: 21 May 2017 Aims and Scope Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest, and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi organize FROM 2017, the first one from a yearly workshop series, meant to bring together Romanian researchers in formal methods and to foster international collaborations. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation is available upon request. The program of the symposium will include invited lectures (the current list can be seen on the workshop web page) and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Mathematical structures in computer science - Models of computation - Semantics of programming languages Methods of interest include: - Model checking - Deductive verification - Automated reasoning and model generation - Automated induction - Symbolic computation Applications of interest include: - Program analysis - Verification and synthesis of software and hardware, - Computational logic, - Computer mathematics, - Knowledge representation, ontology reasoning, deductive databases, - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of 2 pages, excepting the references, formatted according to the guidelines for Springer LNCS: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The abstracts should be submitted before 21 May 2017, via EasyChair: https://easychair.org/conferences/?conf=from2017 The notification of acceptance will be received by 31 May 2017. Depending on the number and the quality of submissions, we intend to publish extensions of selected presentations in peer-reviewed well-ranked journal. Registration There is no conference fee, but valid registration is required in order to participate at the conference. All participants registered with an abstract will receive the conference kit. There is an additional fee of 50 RON for the social dinner at Casa Universitarilor. For details and updates see http://unibuc.ro/~conference/from2017/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

History of string diagrams
by Pawel Sobocinski 15 May '17

15 May '17

Dear Categorists, I would like to ask for comments about the history of string diagrams as graphical notation for the arrows of higher and monoidal categories. For the sake of precision, I mean the (various kinds of) graphical notation where there is a "dimension flip", i.e. given a (weak) n-category, the n-cells are drawn as points (0-dimension), the n-1 cells as lines (1-dimension) etc. This includes, as a special case, string diagrams as notation for the arrows of symmetric monoidal categories (Joyal and Street), which have found a number of applications (quantum mechanics, computer science, engineering, linguistics, ...) in recent years. We now also have impressive online tools, such as Jamie Vicary's Globular, that allow both type-setting and computing with string diagrams. It seems to me that there aren't very many historical notes available: Peter Selinger's "A survey of graphical languages for monoidal categories" is a nice survey but it's quite terse on the historical aspects. In the historical notes that I've come across, string diagrams are often mentioned in the same breath with Penrose tensor diagrams, Feynman diagrams, and proof nets, but while there are of course similarities, there are also clear differences owing to the categorical nature of string diagrams; for example, string diagrams are usually quite strictly "typed" with domain and codomain determined by dangling wires in the case of monoidal categories (or, in higher dimensions, surfaces). I'm interested in the history of the use of the notation, as well as the surrounding "sociological" aspects. Through overheard gossip, I believe that the notation was a quasi-secret "house style" in some groups, used for calculations, but carefully exided from formal publications. But maybe this is a bit overblown, and the printing technology simply wasn't there? Or were there particularly conservative editors who were not comfortable with publishing diagrammatic calculations? In any case, it seems strange that we have had to wait until the 1990s for this notation to actually start making it into papers. Many calculations in earlier works were quite clearly worked out with string diagrams, then painstakingly copied into equations. Sometimes, clearly graphical structures were described in some detail without actually being drawn: e.g. the construction of free compact closed categories in Kelly and Laplazas 1980 "Coherence for compact closed categories". From personal experience, some papers become much more readable after being redrawn into almost comic books: Carboni and Walters' 1987 "Cartesian bicategories I" comes to mind. I'm reminded of quote by E.J. Aiton from his biography of Leibniz (which I came across in Peter Gabriel's Matrices, géométrie, algèbre linéaire): "Owing to the reluctance of printers to accept books on mathematics, because of the difficulties of type-setting and the small number of potential readers, the statement of results in letters, especially when these were registered in the Royal Society or the Paris Academy, provided a means of establishing a claim to invention, rending possible publication at a later date. The most precious possessions of a mathematician were, of course, the original methods by which new results could be obtained. While communicating results, in order to establish his possession of a general method, to which he might refer in impenetrably opaque terms, he took pains to eliminate any dues that would enable his correspondent to guess the method..." I'd appreciate any comments -- both personal and more summative. I'll be happy to compile any information sent to me personally, or to the list, and make it available online. I'm especially interested in: * Who came up with the notation? When was it first used? Was it rediscovered independently by several groups? * Was there an effort to keep it a "house secret"? * Was there any institutional resistance to the use/publishing of string diagrams? Finally, I'd like to take the opportunity to advertise the 1st Workshop on String Diagrams in Computation, Logic, and Physics, which I'm organising with Aleks Kissinger, and which will take place at the Jericho Tavern in Oxford, September 8-9, 2017. More information is available at http://string2017.cs.ru.nl, and we will soon send out a formal call for papers. Best wishes, Pawel. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

8 7

Final Announcement for FMCS 2017
by Richard Blute 12 May '17

12 May '17

Final Announcement for FMCS 2017 +++++++++++++++++++++++++++++ Foundational Methods in Computer Science 2017 Ottawa, June 8-11 2017 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. Past meetings have been held in Mount Allison, Dalhousie, Ottawa, Hamilton, Spokane, Vancouver, Kananaskis and Portland. The 2017 workshop is informal and interdisciplinary. This will be a four day meeting with tutorials aimed at students, with research talks as well as talks by students on their thesis work in progress. The website can be found at http://aix1.uottawa.ca/~rblute/FMCS2017.html If you intend to give a talk, please send title and abstract to the organizers by Monday 15th. Our plan is that the talks will begin on the morning of June 8th and we will have a welcome reception on the evening of the 8th. Some limited funding toward accommodation expenses is available to support graduate students who wish to attend FMCS. To apply for this funding you should contact Richard Blute. Organizers: Richard Blute Pieter Hofstra (613) 562-5800, ext. 3535 (613) 562-5800, ext. 3494 rblute(a)uottawa.ca phofstra(a)uottawa.ca [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final announcement: Workshop on Infinity-operads and Applications
by ORIOL RAVENTOS MORERA 08 May '17

08 May '17

Dear all, This is the last announcement for the Workshop on Infinity-operads and Applications that will take place at the University of Osnabrück, 12-14 July 2017. There will be three courses by - Javier J. Gutiérrez (Barcelona) - Gijs Heuts (Copenhagen) - Ieke Moerdijk (Utrecht) and further talks by - Pedro Boavida (Lisbon) - Philip Hackney (Sydney) - Rune Haugseng (Copenhagen) - Brice Le Grignou (Utrecht) - Marcy Robertson (Melbourne) The schedule and the abstracts can be found in the workshop webpage: http://userpage.fu-berlin.de/jcirici/infinityoperads/ Before the end of May it is possible to get a hotel room reserved directly through the registration procedure. Be aware that we can only accept 20 more participants because of the dimensions of the lecture hall. The workshop is supported by the project SPP 1786 "Homotopy Theory and Algebraic Geometry" http://www.esaga.uni-due.de/spp1786/. We hope to see you next July in Osnabrück, Hongyi Chu, Joana Cirici, Markus Spitzweck, and Oriol Raventós [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0