March 2021 - Categories - categories.org.au

Re: "First" use of 'Category theory' to describe our field
by David Roberts 24 Feb '24

24 Feb '24

Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street(a)mq.edu.au> wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly taught in 1965 > was called ``Category Theory''. It concentrated on different kinds of morphisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have their own category of expertise. > I told this to John Gray who said that was fine; the time had come for that category to be Cat. > > I would suggest that the first category theorists to think of themselves as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537(a)gmail.com> wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that name? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 4

Categories and Companions Symposium 2021 — First announcement and call for talks from research students
by Categories and Companions 2021 31 Mar '21

31 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. ================================================================= FIRST ANNOUNCEMENT AND CALL FOR TALKS FROM RESEARCH STUDENTS Categories and Companions Symposium 2021 (CaCS2021) 08:00–10:30 and 20:00–22:30, June 8–12, 2021 (UTC+10) on Zoom http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/ ================================================================= BACKGROUND CaCS2021 is an event for research students (Honours/Masters/PhD) in category theory and related disciplines from around the world to meet each other and share their work. Everyone is welcome to attend the event. Each day will feature a 50 minute talk by an invited speaker and a series of 20 minute contributed talks by research students, split across two sessions — the first aimed at Australasian and American time zones and the second at Australasian, African and European time zones. Attendees will also have the opportunity to meet and talk to each other in smaller groups at various times throughout the symposium. This symposium is supported by MATRIX and AMSI. To support post-symposium research collaboration between PhD student participants, MATRIX and AMSI are providing funding through the MATRIX-AMSI PhD Student Research Collaboration Scheme. For more information, see https://www.matrix-inst.org.au/phd-student-research-collaboration-scheme-gu… . Please share the details of this event with research students in your local academic community. ================================================================= IMPORTANT DATES - Submission of abstracts: Friday, May 7, 2021 23:59:59 Anywhere on Earth. - Acceptance/rejection notification: mid-May. - Registration for attendance: Friday, June 4, 2021 23:59:59 Anywhere on Earth. - Symposium: Tuesday, June 8 to Saturday, June 12, 2021. ================================================================= REGISTRATION & ABSTRACT SUBMISSION Registration is now open (for both research students and the wider community) via the linked Google Form https://forms.gle/ZdEfrpzeaD3zkUzT8. When registering, all research students (Honours/Masters/PhD) are invited to propose a title and abstract for a 20 minute talk in category theory or category theory adjacent topics. Talks about work in progress, and talks by those who usually have fewer opportunities to present internationally, are very welcome and especially encouraged. Upon submitting the registration form, a link titled "Edit your response" will be presented; talk proposals may be edited using this link up until the May 7 deadline. ================================================================= INVITED SPEAKERS The following invited speakers will each deliver an extended 50 minute talk. Further information, including the titles and abstracts of their talks can be found on the CaCS2021 website: http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/. - John Baez (University of California, Riverside) - Eugenia Cheng (School of the Art Institute of Chicago) - Tobias Fritz (University of Innsbruck) - Emily Riehl (Johns Hopkins University) - Ross Street (Macquarie University) ================================================================= ORGANISERS Bryce Clarke (Macquarie University) Matthew Di Meglio (Macquarie University) Nicola Di Vittorio (Macquarie University) Eli Hazel (Macquarie University) Yuki Maehara (Kyushu University) Adrian Miranda (Macquarie University) Giacomo Tendas (Macquarie University) Paula Verdugo (Macquarie University) Giulian Wiggins (University of Sydney) For any additional information, please contact us at catscomps2021(a)gmail.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final Call for Nominations: Beth Outstanding Dissertation Prize 2021
by Sadrzadeh, Mehrnoosh 30 Mar '21

30 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Final Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2021 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 2020. The deadline for nominations is the 15th of April 2021. Qualifications: - A Ph.D. dissertation on a topic concerning Logic, Language, or Information is eligible for the Beth Dissertation Prize 2021, if the degree was awarded between January 1st and December 31st, 2020. - 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 topics in the broad remit of ESSLLI, including 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 2022. The English translation must in such cases be submitted before the deadline of the call for nominations in 2022. 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, divided among the winners, should there be more than one winner - 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=bodp2021. In case of any problems or questions please contact the chair of the committee Mehrnoosh Sadrzadeh (m.sadrzadeh(a)ucl.ac.uk) The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school, which will be based in Utrecht, but held online August 2-13, 2021. Beth dissertation prize committee 2021: Samson Abramsky (University of Oxford) Maria Aloni (University of Amsterdam) Cleo Condoravdi(Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Sujata Ghosh (ISI, Chennai) Davide Grossi (Universities of Groningen and Amsterdam) Christoph Haase (University of Oxford) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Mehrnoosh Sadrzadeh (University College London, chair) Mark Steedman (University of Edinburgh) Matthew Stone (Rutgers University) Jouko Vaananen (University of Helsinki and University of Amsterdam) FoLLI is committed to diversity and inclusion and we welcome dissertations from all under-represented groups [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Invitation: GReTA online seminar, April 9 at 15:00 CEST
by Heckel, Reiko (Prof.) 30 Mar '21

30 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Another very interesting seminar next Friday, on Hypergraph Rewriting and the Wolfram Model by Jonathan Gorard. Best wishes Reiko On 29/03/2021, 19:22, "GReTA Seminar organisers" <greta(a)irif.fr> wrote: Dear colleagues, It is our great pleasure to invite you to the next seminar of the “GReTA - Graph Transformation Theory and Applications” series: Friday, April 9, 15:00 CEST “Hypergraph Rewriting and the Wolfram Model”, J. Gorard (abstract: see attached) Please refer to http://www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%…> for further information on how to register for this Zoom meeting, or alternatively on how to attend the meeting via a YouTube live stream! The GReTA seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are scheduled twice a month (cf. https://www.irif.fr/~greta/#talks<https://eur03.safelinks.protection.outlook.com/?url=https:%2F%2Fwww.irif.fr…> for a list of upcoming events). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, April 9, 15:00 CEST Title: Hypergraph Rewriting and the Wolfram Model Speaker: Jonathan Gorard (University of Cambridge and Wolfram Research, UK) Abstract: This talk will summarize some recent results obtained in connection with the Wolfram Physics Project: a systematic attempt to reduce fundamental physics to the problem of hypergraph rewriting. Specifically, we will discuss the construction of an efficient hypergraph rewriting scheme using the formalism of Wolfram model multiway systems, with a categorical semantics defined via double-pushout rewrites over selective adhesive categories, and equipped with a dagger-symmetric monoidal structure that exhibits surprising formal connections to categorical quantum mechanics. We will also demonstrate that, by equipping such a multiway system with an additional notion of causal structure (defined via the semantics of precausal categories), we are able to introduce new inference rules of selective resolution, paramodulation and factoring that generalize the standard Knuth-Bendix completion rules for term rewriting systems, and significantly improve the efficiency of automated diagrammatic reasoning algorithms over hypergraphs. Time permitting, we will discuss some near-term practical applications of these methods for quantum information theory (allowing for more efficient diagrammatic simplification of quantum circuits), as well as numerical general relativity (allowing for more explicit numerical simulation of graph-theoretic models of space and time). Zoom registration link: https://zoom.us/meeting/register/tJwldOGqqDooG9DhUDq-Hok5KwabTAddJ5xE<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fzoom.us%2…> Link to YouTube live stream: https://youtu.be/TJ5RkdGObGE<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fyoutu.be%…> ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------- Contact: greta(a)irif.fr<mailto:greta@irif.fr> Webpage: www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%…> YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.youtu…> Twitter: https://twitter.com/GReTAseminars<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.c…> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Nominations: EiC of ACM TOCL journal
by Sam Staton 30 Mar '21

30 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL http://tocl.acm.org/) is coming to an end, and the ACM Publications Board has set up a nominating committee to assist the Board in selecting the next EiC. Nominations, including self-nominations, are invited for a three-year term as TOCL EiC, beginning on July 1, 2021. The EiC appointment may be renewed at most one time. This is an entirely voluntary position, but ACM will provide appropriate administrative support. Appointed by the ACM Publications Board, Editors-in-Chief (EiCs) of ACM journals are delegated full responsibility for the editorial management of the journal consistent with the journal's charter and general ACM policies. The Board relies on EiCs to ensure that the content of the journal is of high quality and that the editorial review process is both timely and fair. He/she has the final say on acceptance of papers, size of the Editorial Board, and appointment of Associate Editors. A complete list of responsibilities is found in the ACM Volunteer Editors Position Descriptions (http://www.acm.org/publications/policies/position_descriptions) Additiona= l information can be found in the following documents: - Roles and Responsibilities in ACM Publishing=20 https://www.acm.org/publications/policies/roles-and-responsibilities - ACM's Evaluation Criteria for Editors-in-Chief http://www.acm.org/publications/policies/evaluation/ Nominations should include a vita along with a brief statement of why the nominee should be considered. Self-nominations are encouraged and should include a statement of the candidate's vision for the future development of TOCL. The deadline for submitting nominations is May 7, 2021, although nominations will continue to be accepted until the position is filled.=20 Please send all nominations to the search committee chair,=20 Dale Miller (dale.miller(a)inria.fr).=20 The search committee members are: - Dale Miller (Inria & LIX/IPP, France), Chair - Christel Baier (TU Dresden, Germany) - Prakash Panangaden (McGill University, Canada) - Andrew Pitts (University of Cambridge, UK) - Simona Ronchi Della Rocca (University of Turin, Italy) - Adelinde Uhrmacher (University of Rostock, Germany) ACM Pubs Board Liais= on [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALCO 2021: First Call for Papers
by Laura Bussi 29 Mar '21

29 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. [Apologies if you receive multiple copies of this message] ========================================================= CALL FOR PAPERS: CALCO 2021 9th International Conference on Algebra and Coalgebra in Computer Science 31 Aug - 03 Sep 2021 Salzburg, Austria (if possible) Co-located with MFPS XXXV https://www.coalg.org/calco-mfps2021/ ========================================================== Paper submission: 3 June 2021 Author notification: 29 July 2021 Final version due: 12 August 2021 ========================================================== Scope ======================== Algebraic and coalgebraic methods and tools are a mainstay of computer science. From data types to development techniques and specification formalisms, both theoreticians and practitioners have benefited from the large body of research proposed and implemented since the pioneering works of the 1960s. CALCO aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (the Netherlands, 2015), Ljubljana (Slovenia,2017), and London (UK, 2019). The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII. Submission Categories ======================== CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions. 1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry. 2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way. 3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research. 4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools. Topics of Interests ======================== All topics relating to algebraic and coalgebraic theory and applications are of interest for CALCO, and among them * Models and logics - Automata and languages - Graph transformations and term rewriting - Modal logics - Proof systems - Relational systems * Algebraic and coalgebraic semantics - Abstract data types - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * Methodologies in software and systems engineering - Development processes - Method integration - Usage guidelines * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Concurrent, distributed, mobile, cyber-physical, and context-aware computational paradigms - Systems theory and computational models (chemical, biological, etc.) * System specification and verification - Formal testing and quality assurance - Generative programming and model-driven development - Integration of formal specification techniques - Model-driven development - Specification languages, methods, and environments * Tools supporting algebraic and coalgebraic methods for - Advances in automated verification - Model checking - Theorem proving - Testing * String diagrams and network theory - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams * Quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra Submissions Guidelines ======================== All submissions will be handled via EasyChair: https://easychair.org/conferences/?conf=calco2021 The format for all submissions is specified by LIPIcs. Please use the latest version of the style: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Regular papers ======================== Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Regular papers should be maximum 15 pages long, excluding references. Proofs omitted due to space limitations may be included in a clearly marked appendix. Each submission will be evaluated by at least three reviewers. Proceedings will be published in the Dagstuhl LIPIcs Leibniz International Proceedings in Informatics series. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is planned. (Co)algebraic pearls ======================== This is a new submission category in 2021. Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. We encourage the submission of pearls: elegant essays that illustrate an idea in a beautiful or didactically clever way, perhaps by developing an application. Pearls are typically short and concise and so should not be longer than regular papers in the format specified by LIPIcs. Authors who feel they need a bit more space should consult with the PC co-chairs. The accepted papers will be included in the final proceedings of the conference. Each submission will be evaluated by at least two reviewers. Early ideas abstracts ======================== Submissions should not exceed 2 pages in the format specified by LIPIcs. The volume of selected abstracts will be made available on arXiv and on the CALCO pages. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. Each submission will be evaluated by at least two reviewers. Tool papers ======================== Submissions should not exceed 5 pages in the format specified by LIPIcs. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission for download and evaluation. Each submission will be evaluated by at least three reviewers, and one or more of the reviewers will be asked to download and use the tool. Best Paper and Best Presentation Awards ======================== This edition of CALCO will feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants. Programme Committee ======================== * Zena M. Ariola (University of Oregon) * Paolo Baldan (University of Padova) * Rui Soares Barbosa (International Iberian Nanotechnology Laboratory) * Luis Caires (NOVA University Lisbon) * Francisco Durán (University of Málaga) * Brendan Fong (Massachusetts Institute of Technology) * Fabrizio Romano Genovese (University of Pisa) * Jules Hedges (University of Strathclyde, Glasgow) * Thomas Hildebrandt (IT University of Copenhagen) * Peter Jipsen (Chapman University) * Wolfram Kahl (McMaster University) * Marie Kerjean (CNRS -- Laboratoire d'Informatique de Paris Nord) * Jean Krivine (CNRS -- Université de Paris) * Michele Loreti (University of Camerino) * Sonia Marin (University College London) * Manuel A. Martins (University of Aveiro) * Annabelle McIver (Macquarie University) * Hernan Melgratti (University of Buenos Aires) * Koko Muroya (RIMS, Kyoto University) * Elaine Pimentel (UFRN) * Elvinia Riccobene (University of Milan) * Alex Simpson (University of Ljubljana) * David I. Spivak (Massachusetts Institute of Technology) * Christine Tasson (LIP6 - Sorbonne Université) * Tarmo Uustalu (Reykjavik University/Tallinn U. of Technology) * Maaike Zwart (University of Oxford) * Rob van Glabbeek (Data61 - CSIRO) Chairs ======================== * Fabio Gadducci (University of Pisa) * Alexandra Silva (University College London) Organisers ======================== * Ana Sokolova (local) (University of Salzburg) Publicity Chair ======================== * Henning Basold (LIACS -- Leiden University) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages
by Harley D. Eades III 28 Mar '21

28 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Hi, everyone. On Friday, April 2, 2021 between 1pm and 2pm EST (6pm - 7pm UTC), Dr.Francesco Gavazzo will be giving a presentation as part of the CS Colloquium Series at Augusta University. Presentation details can be found here: https://the-au-forml-lab.github.io/colloquium_talks/Gavazzo.html This will be an exciting talk on Francesco's work on program equivalence w.r.t coeffect type systems like graded and quantified type systems. I know I'm pumped about this talk. These talks are open to the general public via Zoom and Youtube. I'll be live streaming it on Youtube. If you are interested in attending the Zoom meeting please RSVP with me before the talk. Questions will be taken from those on Zoom and YouTube. If you care to watch via YouTube, please use the following link: https://youtu.be/-tgA2zShDcQ Feel free to share this message with everyone you know. I hope all of you, your family and friends are doing well! Very best, Harley [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SemSpace 2021 Final CfP and Deadline extension
by Martha Lewis 27 Mar '21

27 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. [Apologies for cross-posting] Final CfP and extension Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2021) This year we are excited to be (virtually) co-located with IWCS: https://iwcs2021.github.io/ <https://www.google.com/url?q=https%3A%2F%2Feur01.safelinks.protection.outlo…> 14-18 June, 2021 https://sites.google.com/view/semspace2021/home <https://www.google.com/url?q=https%3A%2F%2Feur01.safelinks.protection.outlo…> IMPORTANT DATES: Paper submission: 26 March 2021 6 April 2021 Notification to contributors: 16 Apr 2021 23rd April 2021 Camera Ready: 7 May 2021 SUBMISSION INSTRUCTIONS Authors may submit non-anonymized extended abstracts (3 pages) or papers (8 pages) SemSpace21 papers should be formatted following the common two-column structure as used by ACL. Please use the IWCS specific style-files <https://iwcs2021.github.io/download/iwcs2021-templates.zip> or the Overleaf template <https://www.overleaf.com/latex/templates/instructions-for-iwcs-2021-proceed…>, taken from ACL 2021. Submission link: https://www.softconf.com/iwcs2021/SemSpace2021/user/ <https://www.softconf.com/iwcs2021/SemSpace2021/user/> AIMS AND SCOPE Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics. Crucial similarities between the vector representations of quantum mechanics and those of natural language are exhibited via bicompact linear logic and compact closed categorical structures in natural language. Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between these three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically. Topics of interest include (but are not restricted to): Reasoning in semantic spaces Compositionality in semantic spaces and conceptual spaces Conceptual spaces in linguistics and natural language processing Applications of quantum logic in natural language processing and cognitive science Modelling functional words such as prepositions and relative pronouns in compositional distributional models of meaning Diagrammatic reasoning for natural language processing and cognitive science Modelling so-called ‘non-compositional’ phenomena such as metaphor SUBMISSIONS: We welcome two types of submission: - Archival papers of up to 8 pages should report on complete, original and unpublished research. Accepted papers will be published in the workshop proceedings and appear in the ACL anthology. - Extended abstracts (up to 3 pages) may report on work in progress or work that was recently published/accepted at a different venue. Extended abstracts will not be included in the workshop proceedings. Both accepted papers and extended abstracts are expected to be presented at the workshop. Authors must submit non-anonymized extended abstracts or papers by April 6th. Both extended abstracts and papers must be formatted according to the IWCS guidelines, and must be submitted via softconf (link: https://www.softconf.com/iwcs2021/SemSpace2021/user/ <https://www.softconf.com/iwcs2021/SemSpace2021/user/>). The extended abstracts should not contain an abstract section and may consist of up to 3 pages of content, plus unlimited references. Archival papers may consist of up to 8 pages of content, plus unlimited references. Camera-ready versions of papers will be given one additional page of content so that reviewers’ comments can be taken into account. INVITED SPEAKERS Ellie Pavlick, Brown University Haim Dubossarsky, University of Cambridge PROGRAMME COMMITTEE Tai-Danae Bradley, X, the Moonshot Factory Bob Coecke, Cambridge Quantum Computing Gemma De Las Cuevas, Institute for Theoretical Physics, University of Innsbruck Stefano Gogioso, University of Oxford Peter Gärdenfors, Lund University Peter Hines, University of York Antonio Lieto, University of Turin Dan Marsden, University of Oxford Michael Moortgat, Utrecht University Richard Moot, CNRS(LIRMM) & University of Montpellier Dusko Pavlovic, University of Hawaii Emmanuel Pothos, City University of London Matthew Purver, Queen Mary University of London Pawel Sobocinski, Tallinn University of Technology Corina Stroessner, Ruhr University Bochum Dominic Widdows, Serendipity Now! Gijs Wijnholds, Utrecht University ORGANIZATION COMMITTEE Martha Lewis, University of Bristol Mehrnoosh Sadrzadeh, UCL Lachlan McPheat, UCL [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Seminar talk on Extending Homotopy Type Theory with Linear Type Formers
by Harley D. Eades III 26 Mar '21

26 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Hi, everyone. On Friday, March 26, 2021 between 9am and 10am EST (2pm - 3pm UTC), Mitchell Riley will be giving a presentation as part of the CS Colloquium Series at Augusta University. Presentation details can be found here: https://the-au-forml-lab.github.io/colloquium_talks/Riley.html This will be an exciting talk on Mitchell's work as part of his PhD under the direction of Dan Licata on homotopy type theory and linearity. These talks are open to the general public via Zoom and Youtube. I'll be live streaming it on Youtube. If you are interested in attending the Zoom meeting please RSVP with me before the talk. Questions will be taken from those on Zoom and YouTube. If you care to watch via YouTube, please use the following link: https://youtu.be/0f-srpBeXAI Feel free to share this message with everyone you know. I hope all of you, your family and friends are doing well! Very best, Harley [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ITRS 21 CfP
by Riccardo Treglia 25 Mar '21

25 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. ITRS 2021 Call for papersTenth Workshop on Intersection Types and Related Systems - ITRS 2021 17 July 2021, Online Affiliated with FSCD <https://fscd2021.dc.uba.ar/>, 17-24 July 2021, Buenos Aires Web page: http://www.di.unito.it/~deligu/ITRS2021/ Aims and Scope Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus. The key idea is to introduce an intersection type constructor ∧ such that a term of type t ∧ s can be used at both type t and s within the same context. This provides a finite polymorphism where various, even unrelated, types of the term are listed explicitly, differently from the more widely used universally quantified types where the polymorphic type is the common schema that stands for its various type instances. As a consequence, more terms (all and only the normalizing terms) can be typed than with universal polymorphism. Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. Restricted (and more manageable) forms have been investigated, such as refinement types. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and higher-order model checking. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioural approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory. The ITRS 2021 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Possible topics for submitted papers include, but are not limited to: - Formal properties of systems with intersection types. - Results for related systems, such as union types, refinement types, or singleton types. - Applications to lambda calculus, pi-calculus and similar systems. - Applications for programming languages, program analysis, and program verification. - Applications for other areas, such as database query languages and program extraction from proofs. - Related approaches using behavioural/intensional types and/or denotational semantics to characterize computational properties. - Quantitative refinements of intersection types. ITRS workshops have been held every two years (with the exception of 2020, because of COVID-19 outbreak). Information about the previous events is available on the ITRS home page <http://itrs.di.unito.it/>. Invited Speaker - Jeremy Siek (Indiana University Bloomington) Paper Submissions Papers must be original and not previously published, nor submitted elsewhere. Papers should be prepared in LaTeX using the EPTCS macro <http://style.eptcs.org/> package and should be in the range of 3-16 pages, plus at most 2 pages of references. Submissions will be collected via EasyChair and reviewed by anonymous referees. Important Dates - Paper submission: 12 April 2021 - Author notification: 24 May 2021 - Final version: 18 June 2021 - Workshop: 17 July 2021 Program Committee - Antonio Bucciarelli, Université de Paris, France - Daniel De Carvalho, Innopolis University, Russia - Andrej Dudenhefner, Saarland University, Germany - Silvia Ghilezan, University of Novi Sad, Serbia - Giulio Guerrieri, University of Bath, UK - Ugo de' Liguoro, Università di Torino, Italy (chair) - Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treglia(a)unito.it) Steering Committee - Mariangiola Dezani-Ciancaglini, Università di Torino, Italy - Jakob Rehof, TU University of Dortmund, Germany - Joe Wells, Heriot-Watt University, Scotland [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 1