March 2020 - Categories - categories.org.au

update on MFPS 2020
by Patricia Johann 21 Mar '20

21 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. In view of the chaotic situation in many places of the world due to the pandemic, we are sorry to inform you that we definitely will not be able to maintain the physical event of the MFPS and QPL 2020 conferences in Paris or, indeed, anywhere else in the world. We are still working out the details of how to hold a virtual meeting. At a minimum, we plan to offer the opportunity to upload pre-recorded lectures to an online conference platform. More information on the concrete modalities (offline videos, forum, online discussion platform, etc) will be forthcoming. Conference proceedings of the accepted papers will still be published as usual. The final Call for Papers for MFPS is repeated below. Submission deadlines remain unchanged. Best wishes, Patricia Johann, on behalf of the MFPS and QPL PC chairs Final CALL FOR PAPERS: MFPS XXXVI https://www.monoidal.net/paris2020/mfps/ Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics University of Paris Saclay, France June 2-6, 2020 Co-located with QPL 2020 ====================================================================== March 30, 2020: Abstract Submission April 3, 2020: Paper Submission May 8, 2020: Notification May 22, 2020: Final Papers Deadline All dates AoE ====================================================================== The 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020) takes place at University of Paris Saclay, France, June 2???6, 2020. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. ---------------------------------------------------------------------- INVITED SPEAKERS & SPECIAL SESSIONS: As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and organizers of special sessions: Gilles Barthe (IMDEA) - plenary speaker Christine Tasson (Paris VII) - plenary speaker Special session on Probabilistic programming languages ----- Dexter Kozen (Cornell) - plenary speaker Fredrik Dahlqvist (London) Ohad Kammar (Edinburgh) Radu Mardare (Strathclyde) Valeria Vignudelli (Lyon) Special session on Quantum programming - joint with QPL ----- Alexandre Miquel (Montevideo) - plenary speaker Pierre Clairambault (Lyon) Claudia Faggian (Paris VII) Vladimir Zamdzhiev (Nancy) ---------------------------------------------------------------------- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps20 ---------------------------------------------------------------------- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ---------------------------------------------------------------------- PROGRAMME COMMITTEE: Danel Ahman (University of Ljubljana) Andrej Bauer (University of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara Koenig (Universitaet Duisburg-Essen) Dexter Kozen (Cornell University) Neel Krishnaswami (Cambridge University) Catherine Meadows (NRL) Mike Mislove (Tulane University) Joel Ouaknine (MPI-SWS) Prakash Panangaden (McGill University) Dirk Pattinson (Australian National University) Maciej Pirog (University of Wroclaw) Peter Selinger (Dalhousie University) Alexandra Silva (University College London) Kristina Sojakova (Cornell University) Ana Sokolova (University of Salzburg) Sam Staton (University of Oxford) Tarmo Uustalu (Reykjavik University) ---------------------------------------------------------------------- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). ---------------------------------------------------------------------- LOCAL ORGANIZERS: Pablo Arrighi (AMU & INRIA) Shane Mansfield (Sorbonne) Beno??t Valiron (University of Paris Saclay) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020
by EACSL Mail-Account 19 Mar '20

19 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE *** Due to the current health situation, the submission deadline for nominations has been postponed to July, 1. *** ----------------------------------------------------- PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2018 and 31 December 2019 are eligible for nomination for the award. The new deadline for submission is 1 July 2020. Submission details follow below. *** The Award The 2020 Ackermann award will be presented to the recipient(s) at CSL 21, the annual conference of the EACSL, in Ljubljana, January 25-28, 2021. The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and * financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Michael Benedikt (Oxford University); * Mikolaj Bojanczyk (University of Warsaw); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund) , the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog representative. *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chair of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de The e-mail should have the following subject line and text: * Subject: Ackermann Award 20 Submission * Text: Name of candidate, list of attachments Submissions can be sent via several e-mail messages. If this is the case, please indicate it in the text. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The MIT Categories Seminar is moving online
by Paolo Perrone 18 Mar '20

18 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear all, In response to the Covid-19 outbreak, the MIT Categories Seminar is going online. >>From this week Thursday on, all the seminar talks will be held remotely, in livestreaming on YouTube. Not only will this be safer for everyone, but also more accessible for people across the world. We will share a link to the streaming with anyone who is interested, via a dedicated mailing list. There will be a chat room for questions during and shortly after the talk. A permanent recording of the talk will then be available on YouTube for future view, as it has been the case for many of the past talks. The talks will take place on Thursdays, 12 noon EST (currently corresponding to 4 pm UK time). - Please contact me to be added to the mailing list, or to receive the streaming link to a particular talk. - Please contact me if you wish to be a speaker, or if you are one of the scheduled future speakers. Stay safe everyone. Best, Paolo Perrone (on behalf of the MIT Category Theory group) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on ∞-categories and their applications
by Bruno Stonek 18 Mar '20

18 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear colleagues, It is a pleasure to announce the workshop ∞-categories and their applications to be held at the Max Planck Institute for Mathematics, Bonn, Germany on August 17-21, 2020. The quest for solid foundations for ∞-categories started several decades ago, but from the mid-2000s there have been spectacular developments which excitingly accelerated the pace of progress. This workshop will focus on these objects, both in their foundations and in the applications to different fields of mathematics. The minicourses are: Minicourse 1: Models for homotopical higher categories, by Bergner, Julie (University of Virginia) * Minicourse 2: Introduction to ∞-operads by Haugseng, Rune (NTNU) Minicourse 3: Higher Categories and Algebraic K-Theory by Nikolaus, Thomas (WWU Münster) Minicourse 4: Exodromy and compactifications of arithmetic schemes by Barwick, Clark (University of Edinburgh) The plenary speakers are: Batanin, Michael (Macquarie University, MPIM Bonn) * Gepner, David (University of Melbourne) * Gutiérrez, Javier (Universitat de Barcelona) Hackney, Philip (University of Louisiana at Lafayette) Ozornova, Viktoriya (Ruhr-Universität Bochum) Scherotzke, Sarah (University of Luxembourg) * Schlank, Tomer (The Hebrew University of Jerusalem) Spitzweck, Markus (Universität Osnabrück) * = To be confirmed There will also be time for several contributed talks from early career researchers. All interested to come should register via the website https://www.mpim-bonn.mpg.de/node/10159 indicating if they would like to contribute a talk and if they need financial support. We would especially like to encourage women and under-represented minorities to apply. The deadline for registration is May 31st if you want to contribute a talk or to ask for funding, and August 2nd if you just want to participate. We are looking forward to seeing you in Bonn. Best, Hongyi Chu and Bruno Stonek [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
by Sadrzadeh, Mehrnoosh 17 Mar '20

17 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020 Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information (http://www.folli.info/?page_id=74) with financial support of the E.W. Beth Foundation (https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-wille…) Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2019. The deadline for nominations is the 15th of April 2020. Qualifications: - A dissertation is eligible for the Beth Dissertation Prize 2020, if the Ph.D. degree has been awarded in Logic, Language, or Information between January 1st and December 31st, 2019. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2021. The English translation must in such cases be submitted before the deadline of the call for nominations in 2021. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=bdp2020. In case of any problems with the submission one should contact the chair of the committee Mehrnoosh Sadrzadeh (m.sadrzadeh(a)ucl.ac.uk<mailto:m.sadrzadeh@ucl.ac.uk>). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 2020. Beth dissertation prize committee 2020: Samson Abramsky (University of Oxford) Maria Aloni (University of Amsterdam) Alexander Clark (Kings College London) Cleo Condoravdi (Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Arash Eshghi (Hariot-Watt University) Sujata Ghosh (ISI, Chennai) Davide Grossi (Universities of Groningen and Amsterdam) Chris Haase (University College London) Aurelie Herbelot (University of Trento) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Laura Rimmell (Deep Mind) Mehrnoosh Sadrzadeh (University College London, chair) Matthew Stone (Rutgers) Jouko Vaananen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Alonzo Church Award - Call for Nominations
by geoff＠cs.miami.edu 17 Mar '20

17 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. CALL FOR NOMINATIONS [REMINDER, DEADLINE SOON] The 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt G?del Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see: https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to…, https://www.eatcs.org/index.php/church-award/, and https://eacsl.org/. The 2020 Alonzo Church Award was given jointly to Murdoch J. Gabbay and Andrew M. Pitts for their ground-breaking work introducing the theory of nominal representations, see: http://siglog.org/winners-of-the-2019-alonzo-church-award/. Previous awardees are listed at https://www.eatcs.org/index.php/church-award. ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2020 award, the cut-off date is January 1, 1995. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the G?del Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2020 award are now being solicited. The nominating letter must summarize the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations should be submitted to thomas.eiter(a)tuwien.ac.at by April 1, 2020. PRESENTATION OF THE AWARD The 2020 award will be presented at CSL 2021, the annual conference of the European Association for Computer Science Logic, which is scheduled to take place in Ljubliana in January 2021. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. AWARD COMMITTEE The 2020 Alonzo Church Award Committee consists of the following five members: Mariangiola Dezani, Thomas Eiter (chair), Javier Esparza, Radha Jagadeesan, Natarajan Shankar . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FMCS postponed
by Richard Blute 16 Mar '20

16 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. The organizers of Foundational Methods of Computer Science have decided that it would be wise to postpone for the time being. One possibility we are considering is somehow combining FMCS and Octoberfest. We will update the mailing list when we have more information. Rick Blute Phil Scott Pieter Hofstra [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CANCELLED - PSSL 106
by Karol Szumiło 14 Mar '20

14 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear friends and colleagues, We regret to inform you that PSSL 106, planned for April 4th-5th at University of Leeds, has been cancelled because of the coronavirus outbreak. We are sorry for any inconvenience this cancellation may cause. We hope to reschedule the meeting at a more appropriate time which we will announce in due course. With best regards, Nicola Gambino Sina Hazratpour Gabriele Lobbia Karol Szumiło [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

postponing CT2020
by Giuseppe Rosolini 13 Mar '20

13 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. Due to the emergency for the Covid-19 epidemic, we must postpone the conference CT2020 which was planned in Genova, from 21 to 27 June 2020, to a later date. A new date will be announced as soon as it becomes absolutely clear that it is safe to hold a conference. The organizers: Sandra Mantovani, Beppe Metere, Eugenio Moggi, Andrea Montoli, Giuseppe Rosolini https://sites.google.com/view/ct2020 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

POSTPONED: SYCO 7
by Amar Hadzihasanovic 13 Mar '20

13 Mar '20

CAUTION: The Sender of this email is not from within Dalhousie. In response to travel restrictions and uncertainty related to the 2020 coronavirus outbreak in Europe, we have decided to postpone the meeting until further notice. All the best, Amar on behalf of the steering committee On 24/02/2020 6:55 pm, Amar Hadzihasanovic wrote: > ======== > CALL FOR PARTICIPATION > SEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 7) > > Tallinn University of Technology, Estonia > 30-31 March 2020 > > http://events.cs.bham.ac.uk/syco/7/ > ======== > > 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. > Previous SYCO events have been held at University of Birmingham, > University of Strathclyde, University of Oxford, Chapman University, > and University of Leicester. > > The next SYCO, to be held at Tallinn University of Technology, will > host 2 invited talks and 14 contributed talks. Topics range from > logical methods in computer science, to higher category theory, > through applications of categories in probability and linguistics. > > > INVITED TALKS > ======== > > * Bartek Klin (University of Warsaw) > Monadic monadic second order logic > > * Christine Tasson (IRIF, Universite de Paris) > The linear-non-linear substitution 2-monad > > > CONTRIBUTED TALKS > ======== > > * Sivert Aasnaess - Contextuality for circuits > * Vikraman Choudhury - Tracking intensional resources using weighted > sets and comonads > * Elena di Lavore - A proposal for subgame perfection in compositional > game theory > * Tobias Fritz, Eigil Fjeldgren Rischel - The zero-one laws of > Kolmogorov and Hewitt-Savage in categorical probability > * Lukas Heidemann - Frames in pretriangulated dg-categories > * Nick Hu - External traced monoidal categories > * Maxime Lucas - Rewriting strategies as contracting homotopies > * Violeta Martins de Freitas - Life in arrows: an introduction to > applied category theory > * Dylan McDermott, Alan Mycroft - On the relation between > call-by-value and call-by-name > * Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds - A Frobenius > algebraic analysis for parasitic gaps > * Olivier Peltre - Homological algebra for message-passing algorithms > * Alex Rice - Coinductive invertibility in higher categories > * Julian Salamanca Tellez - Distributive laws over the powerset > * Niels van der Weide - Constructing finitary 1-truncated higher > inductive types as groupoid quotients > > > REGISTRATION > ======== > > Registration is open until Monday 23 March. > > Details are available on the conference website: > http://events.cs.bham.ac.uk/syco/7/ > > > PROGRAMME COMMITTEE > ======== > > Miriam Backens, University of Birmingham > Christoph Dorn, University of Oxford > Ross Duncan, University of Strathclyde > Brendan Fong, MIT > Amar Hadzihasanovic, IRIF, Universite de Paris (PC chair) > Chris Heunen, University of Edinburgh > Alex Kavvos, Aarhus University > Marie Kerjean, INRIA Bretagne Atlantique, Equipe Gallinette > Kohei Kishida, University of Illinois at Urbana-Champaign > Martha Lewis, ILLC, University of Amsterdam > Samuel Mimram, Ecole Polytechnique > Koko Muroya, RIMS, Kyoto University > Jovana Obradovic, Institute of Mathematics CAS > Viktoriya Ozornova, Ruhr-Universitaet Bochum > Simona Paoli, University of Leicester > Mehrnoosh Sadrzadeh, University College London > Pawel Sobocinski, Tallinn University of Technology > Christina Vasilakopoulou, University of Patras > 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