March 2023 - 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

ACT 2023: second announcement
by ACT 2023 31 Mar '23

31 Mar '23

6th Annual International Conference on Applied Category Theory (ACT2023) July 31 - August 4, 2023 https://act2023.github.io/ The Sixth International Conference on Applied Category Theory will take place at the University of Maryland from 31 July to 4 August 2023, preceded by the Adjoint School 2023 from 24 to 28 July. This conference follows previous events at Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford (UK) and Leiden (NL). Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, systems, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. SUBMISSIONS We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion. Submission formats: 1. *Conference Papers* should present original, high-quality work in the style of a computer science conference paper (up to 12 pages, not counting the bibliography; more detailed parts of proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridged version of an existing journal article although pre-submission arXiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings. 2. *Talk proposals* not to be published in the proceedings, e.g. about work accepted/submitted/published elsewhere, should be submitted as abstracts, one or two pages long. Authors are encouraged to include links to any full versions of their papers, preprints or manuscripts. The purpose of the abstract is to provide a basis for determining the topics and quality of the anticipated presentation. 3. *Software demonstration proposals* should also be submitted as abstracts, one or two pages. The purpose of the abstract is to provide the program committee with enough information to assess the content of the demonstration. The original conference papers will ultimately be published with EPTCS, and authors are advised to use the style files available at style.eptcs.org. DATES AND DEADLINES Please submit your papers and talk proposals at: OpenReview <https://openreview.net/group?id=AppliedCategoryTheory.org/ACT/2023/Conferen…>. You will need to create an account or log in. Please tell OpenReview as much as you can about yourself, and your past papers, because it uses this to automatically calculate conflict of interest. (Reviewing is single-blind, and we are not making public the reviews, reviewer names, the discussions nor the list of under-review submissions. This is the same as previous instances of ACT.) The exact deadline time on these dates is given by *anywhere on earth* <http://www.ieee802.org/16/aoe.html> (AoE). *Papers and Abstracts Due* 3 May 2023 *Author Notification* 7 June 2023 *Conference* 31 July – 4 August 2023 Limited financial support will be available for travel. Priority will be given to people with financial need and those giving presentations. We are also aware that not everyone is able to travel to the US, e.g. for visa reasons, and we will accommodate that in the programme via remote participation etc. Please contact the organisers for more information. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Marta Bunge's volume
by Valeria de Paiva 30 Mar '23

30 Mar '23

Dear all, A quick message to remind you that the deadline for submissions to the special volume of TAC in honour of Marta Bunge (1938-2022) is this Friday, 31st March 2023. As discussed earlier if you have your paper almost ready and need a few more days to send it, please get in touch with one of the editors (Maria Manuel Clementino, Jonathon Funk or myself). However, we have a healthy number of submissions and would like to complete our project. Suggestions of other ways of honouring Marta's memory are also requested. (Thanks Andrée Ehresmann for the suggestion of an online celebration!) Best wishes, Valeria (for Maria Manuel and Jonathon too) -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS 2023: Deadline Extension
by Marie Kerjean 28 Mar '23

28 Mar '23

DEADLINE EXTENSION, CALL FOR PAPERS: MFPS XXXIX (MFPS 2023) 39th Conference on Mathematical Foundations of Programming Semantics June 20-23, 2023 in Bloomington, IN, USA Joint with CALCO https://coalg.org/calco-mfps-2023/mfps/ ** Updated : extended deadlines ** ========================================================== IMPORTANT DATES (anywhere on earth): Abstract Submission: April 1, 2023 **extended** Paper Submission: April 8, 2023 **extended** Notification: May 12, 2023 Pre-proceedings : May 26, 2023 Final (post-proceeding) versions : Autumn 2023 ========================================================== We are delighted to announce the 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2023). It will take place at Indiana University Bloomington, with an option for remote participation. 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. ------------------------------------------------- INVITED SPEAKERS: Robert Harper, Carnegie Mellon University (Joint with CALCO) Assia Mahboubi, Inria (Joint with CALCO) Azalea Raad, Imperial College London Alex Simpson, University of Ljubljana ------------------------------------------------- SPECIAL SESSIONS: Proof Assistants, organized by Assia Mahboubi (joint with CALCO) Categories of bidirectional processes, organized by Jules Hedges Semantics and Compilers, organized by Amal Ahmed ------------------------------------------------- PROGRAM COMMITTEE: Henning Basold, LIACS, Leiden University Andrej Bauer, University of Ljubljana Robin Cockett, University of Calgary Liron Cohen, Ben-Gurion University Adrian Francalanza, University of Malta Francesco Gavazzo, University of Pisa Sergey Goncharov, Dept. of Comput. Sci., FAU Erlangen-N??rnberg Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS Justin Hsu, Cornell University Guilhem Jaber, Universit?? de Nantes Achim Jung, University of Birmingham Marie Kerjean, CNRS, LIPN, Universit?? Sorbonne Paris Nord (co-chair) Vasileios Koutavas, Trinity College Dublin Neelakantan Krishnaswami, University of Cambridge Paul Blain Levy, University of Birmingham (co-chair) Maria Emilia Maietti, University of Padua Samuel Mimram, ??cole Polytechnique Alexandre Miquel, University of the Republic (Montevideo) Michael Mislove, Tulane University Koko Muroya, RIMS, Kyoto University Rasmus Ejlers M??gelberg, IT University of Copenhagen Max New, University of Michigan Paige North, Utrecht University Filip Sieczkowski, Heriot-Watt University Ana Sokolova, University of Salzburg Sam Staton, University of Oxford Christine Tasson, Sorbonne University ------------------------------------------------- MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana Lars Birkedal, Aarhus University Stephen Brookes, Carnegie Mellon University Justin Hsu, Cornell University Achim Jung, University of Birmingham Catherine Meadows, Naval Research Laboratory Michael Mislove, Tulane University Jo??l Ouaknine, Max Planck Institute for Software Systems Prakash Panangaden, McGill University Alexandra Silva, Cornell University Sam Staton, University of Oxford Christine Tasson, Sorbonne Universit?? ------------------------------------------------- LOCAL ORGANIZER: Larry Moss, Indiana University ------------------------------------------------- SUBMISSION INSTRUCTIONS: Submissions should be made through EasyChair (<https://easychair.org/conferences/?conf=mfps2023>). Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros (<https://mfpsconf.org/?page_id=309>). ------------------------------------------------- PROCEEDINGS: A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. ------------------------------------------------- CONTACT: For any further information about MFPS 2023, please contact the co-chairs: Marie Kerjean (kerjean(a)lipn.fr) and Paul Levy (P.B.Levy(a)bham.ac.uk) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO 11 - Call for participation
by Samuel Mimram 24 Mar '23

24 Mar '23

----------------------------------------- CALL FOR PARTICIPATION ELEVENTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 11) Palaiseau, France 20-21 April, 2023 Registration deadline: Monday 10 April 2023 https://www.cl.cam.ac.uk/events/syco/11/ ----------------------------------------- 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 in Birmingham, Strathclyde, Oxford, Chapman, Leicester, Tallinn, Como and Edinburgh. The program consists of 2 invited talks and 14 contributed talks. We will try to offer the possibility of following the talks online. REGISTRATION ============ Registration is open until Monday 10 April 2023 at https://forms.gle/WuhKZiJnV2RAcJWf6 Registration is free and required even if you plan to follow the event online. INVITED SPEAKERS ================ The invited speakers are - Daniela Petrisan (IRIF, Universit?? de Paris): TBA - Morgan Rogers (LIPN, Universit?? de Paris 13): _Automorphisms of models: yet another categorification of model theory_ CONTRIBUTED TALKS ================= The full schedule is available at https://www.cl.cam.ac.uk/events/syco/11/ - Damiano Mazza: _A Categorical Approach to Descriptive Complexity Theory_ - Miko??aj Boja??czyk, Le Thanh Dung Nguyen: _Algebraic Recognition of Regular Functions_ - Sam van Gool, Paul-Andr?? Melli??s, Vincent Moreau: _Profinite lambda-terms and parametricity_ - Victoria Vollmer, Daniel Marshall, Harley Eades, Dominic Orchard _A Mixed Linear and Graded Logic_ - Uli Fahrenberg: _2-Categories with Lax Tensors, With a Motivation from Concurrency Theory_ - Simon Burton _String diagrams for higher mathematics with wiggle.py_ - Aziz Kharoof, Cihan Okay _Simplicial distributions, convex categories and contextuality_ - Joshua Wrigley: _The geometric and sub-geometric completions of doctrines_ - Hugo Paquet, Philip Saville: _Strong Pseudomonads and Premonoidal Bicategories_ - Matthew Di Meglio, Bryce Clarke: _An introduction to enriched cofunctors_ - Tobias Schmude, Benedikt Ahrens, Paige Randall North, Eric Finster, Nick Gurski: _Lax Functors of Opetopic Categories: Classifying Higher Functors via Spans and Profunctors_ - Matthew Sutcliffe: _Near-linear-time sampling of parameters in quantum circuits via implementation of symbolic phases into PyZX_ - Kostia Chardonnet, Benoit Valiron, Renaud Vilmart: _Geometry of Interaction for ZX-Diagrams_ - Boldizs??r Po??r, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke: _Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus_ PROGRAM COMMITTEE ================= Nathanael Arkor, Masaryk University Bryce Clarke, Inria Saclay (chair) Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Soichiro Fujii, Macquarie University Zeinab Galal, Sorbonne University Dominic Horsman, University of Grenoble Samuel Mimram, ??cole Polytechnique Paige Randall North, Utrecht University Jean-Simon Pacaud Lemay, Kyoto University Sophie Raynor, James Cook University Mehrnoosh Sadrzadeh, University College London Maru Sarazola, Johns Hopkins University Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge STEERING COMMITTEE ================== Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Oxford Aleks Kissinger, University of Oxford Samuel Mimram, ??cole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2023 (fifth announcement)
by Tim Van der Linden 24 Mar '23

24 Mar '23

Dear colleagues, This is just a reminder that submission of abstracts for the International Category Theory Conference - CT2023 will close soon. The deadline for submitting an abstract is the 31st of March 2023. Further information is available on https://sites.uclouvain.be/ct2023/ If you have any questions or problems, please contact the organizers via the email address ct2023-org(a)uclouvain.be Kind regards, The members of the CT2023 Organizing Committee [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Job vacancy in Pure Mathematics at Christ's College Cambridge.
by Marcelo Fiore 23 Mar '23

23 Mar '23

This is to draw attention to the following job opportunity at the college I'm associated with: Christ’s College Lectureship and Fellowship in Pure Mathematics; tenure: three years from 1 September 2023 (renewable); salary: £32,348–£36,386 plus additional benefits; closing date: 28 April 2023 at 12 noon; further details: https://www.christs.cam.ac.uk/vacancies-christs-college. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

EXPRESS/SOS 2023 First Call for Papers
by Claudio Mezzina 19 Mar '23

19 Mar '23

CALL FOR PAPERS Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS 2023) https://express-sos.github.io/ <https://express-sos2022.github.io/> Antwerp (Belgium) September 18, 2023, Affiliated with CONCUR 2023 Submission deadline (full and short papers): Friday, June 30, 2023 =========================================== == INVITED SPEAKERS Alan Schmitt, INRIA, France Marjan Sirjani, Malardalen University, Sweden == SCOPE AND TOPICS The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Topics of interest for EXPRESS/SOS 2023 include, but are not limited to: - expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems) - expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results); - comparisons between structural operational semantics and other formal semantic approaches; - applications and case studies of structural operational semantics; - software tools that automate, or are based on, structural operational semantics. We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages - formal verification - reversible computation - knowledge representation == SUBMISSION GUIDELINES: We invite two types of submissions: * Full papers (up to 15 pages, excluding references). * Short papers (up to 5 pages, excluding references, not included in the workshop proceedings) All submissions should adhere to the EPTCS format (http://www.eptcs.org) Simultaneous submission to journals, conferences or other workshops is only allowed for short papers; full papers must be unpublished. Submission is performed through EasyChair: https://easychair.org/my/conference?conf=expresssos2023 The final versions of accepted full papers will be published in EPTCS. It is understood that for each accepted submission one of the co-authors will register for the workshop and give the talk. == IMPORTANT DATES - Paper submission: June 30, 2023 - Notification date: August 4, 2023 - Camera ready version: August 18, 2023 - Workshop: September 18, 2023 == WORKSHOP CO-CHAIRS: Georgiana Caltais, University of Twente, The Netherlands Claudio Antares Mezzina, University of Urbino, Italy == PROGRAM COMMITTEE: Georgiana Caltais, (co-chair) University of Twente, The Netherlands Valentina Castiglioni, Reykjavik University, Iceland Matteo Cimini, University of Massachusetts Lowell, US Cinzia Di Giusto, Université Côte d'Azur, France / CNRS, France Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands Sergey Goncharov, FAU Erlangen-Nürnberg, Germany Tobias Kappé, Open University of the Netherlands, The Netherlands Vasileios Koutavas, Trinity College Dublin, Ireland Bas Luttik , Eindhoven University of Technology, The Netherlands Hernán Melgratti, Universidad de Buenos Aires, Argentina Claudio Antares Mezzina (co-chair) University of Urbino, Italy Mohammadreza Mousavi, King's College London, UK Jorge A. Pérez, University of Groningen, The Netherlands G. Michele Pinna, Università di Cagliari, Italy Max Tschaikowski, Aalborg University, Denmark == CONTACT Prospective authors are encouraged to contact the co-chairs in case of questions at claudio.mezzina(a)uniurb.it g.g.c.caltais(a)utwente.nl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALCO 2023: Second Deadline Extension
by Thorsten Wissmann 15 Mar '23

15 Mar '23

Apologies if you receive this mail multiple times ========================================================= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/ *** Updated: Extended Submission Deadline by another week *** ========================================================== Abstract submission: March 22, 2023 (AoE) Full Paper submission: March 26, 2023 (AoE) Author notification: Apr 28, 2023 (AoE) Final version due: May 19, 2023 ========================================================== Invited Speakers ---------------- - Robert Harper, Carnegie Mellon University (Joint with MFPS) - Assia Mahboubi, Inria (Joint with MFPS) - Roberto Bruni, University of Pisa - Elaine Pimentel, University College London - Jeremy Siek, Indiana University Special Sessions ---------------- ???Category Theory in Machine Learning??? Organised by Brendan Fong and Brandon Shapiro (Topos Institute), Fabio Zanasi (University College London) ???Machine-checked proofs in mathematics and meta-mathematics??? (joint with MFPS) Organised by Assia Mahboubi, Inria 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 Salzburg (Austria, 2021), London (UK, 2019), Ljubljana (Slovenia,2017), Nijmegen (the Netherlands, 2015), Warsaw (Poland, 2013), Winchester (UK, 2011), Udine (Italy, 2009), Bergen (Norway, 2007), Swansea (Wales, 2005). The 10th edition will be held in Bloomington, Indiana, co-located with MFPS XXXIX. It is planned as a physical, in-person event, with support for remote presence, both for speakers and for other participants who are unable or unwilling to travel. 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 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/coalgebraic 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 transformations) - 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=calco2023 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. 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 recent submission category. 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. 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. 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. 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 ------------------- * Carlos Gustavo Lopez Pombo (University of Buenos Aires) * Andreas Abel (Gothenburg University) * Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa) * Patricia Johann (Appalachian State University) * Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy) * Martin Escardo (University of Birmingham) * Tarmo Uustalu (Reykjavik University) * Giorgio Bacci (Aalborg University) * Thorsten Wi??mann (FAU Erlangen-N??rnberg) * Fabio Gadducci (University of Pisa) * Shin-Ya Katsumata (National Institute of Informatics, Tokyo) * Holger Giese (Hasso Plattner Institute at the University of Potsdam) * Peter ??lveczky (University of Oslo) * Michael Johnson (Macquarie University) * Nicolas Behr (CNRS Universit?? Paris Cit??) * Henning Urbat (FAU Erlangen-N??rnberg) * Valentina Castiglioni (Reykjavik University) * Fernando Orejas (Universitat Polit??cnica de Catalunya) * Mehrnoosh Sadrzadeh (University College London) * Georgiana Caltais (University of Twente) * S??awomir Lasota (University of Warsaw) * Aleks Kissinger (University of Oxford) * Thomas Colcombet (CNRS, IRIF, Universit?? de Paris) * Sandra Kiefer (Max Planck Institute for Software Systems) * Peter Selinger (Dalhousie University) * Natasha Alechina (Utrecht University) * Sara Kalvala (University of Warwick) Chairs ------ * Paolo Baldan (University of Padua) * Valeria de Paiva (Topos Institute, Berkeley) Organiser --------- * Larry Moss (local) (Indiana University) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TbiLLC 2023: Second Call for Papers incl. Deadline Extension
by Hansen, H.H. 14 Mar '23

14 Mar '23

THE FOURTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION 18-22 September, 2023 Telavi, Georgia Website: https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ *********************************************************************** SECOND CALL FOR PAPERS incl. Deadline Extension -- UPDATED: Workshops, Important Dates, Submission Info -- The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation (TbiLLC 2023) will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. TbiLLC 2023 will be preceded by Logic, Algebra and Truth Degrees (LATD 2023) and DaLí - Dynamic Logic: new trends and applications (DaLi 2023). The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to: * Natural language syntax, semantics, and pragmatics * Linguistic typology and semantic universals * Language evolution and learnability * Variability in language * Sociolinguistics * Historical linguistics, history of logic * Natural logic, inference and entailment in natural language * Natural language processing * Distributional and probabilistic models of information, meaning and computation * Logic, games, and formal pragmatics * Logic and cognition * Logics for artificial intelligence and computer science * Knowledge representation * Foundations of machine learning * Formal models of multiagent systems * Logics for social networks * Logics for knowledge, belief, and information dynamics * Computational social choice * Information retrieval, query answer systems * Constructive, intuitionistic, modal and other non-classical logics * Algebraic and coalgebraic logic and semantics * Categorical logic * Models of computation PROGRAMME The programme will include the following tutorials and a series of invited lecturers. *Tutorial speakers* Language: Peter Sutton (UPF, Barcelona) Logic & Computation: Frank Wolter (University of Liverpool) *Invited speakers* Language: - Heather Burnett (CNRS-LLF, Paris) - Stephanie Solt (ZAS, Berlin) Logic & Computation: - Balder ten Cate (University of Amsterdam) - Nina Gierasimczuk (Technical University of Denmark) WORKSHOPS There will be two workshops embedded in the conference programme: "The Semantics of Hidden Meanings" Organisers: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin), Peter Sutton (UPF, Barcelona) Invited speaker: - Elin McCready (Aoyama Gakuin University) For more details see the workshop webpage: https://sites.google.com/view/hidden-meanings and "Learning and Logic" Organisers: Balder ten Cate (University of Amsterdam) and Aybüke Özgün (University of Amsterdam). Invited speakers: - Victor Dalmau (UPF Barcelona), - Kasey Genin (University of Tübingen), - Dick de Jongh (University of Amsterdam), - Ana Ozaki (University of Bergen) More details will soon be made available via the TbiLLC website (see top). PROGRAMME COMMITTEE CHAIRS Berit Gehrke (Humboldt-Universität zu Berlin, DE) Helle Hvid Hansen (University of Groningen, NL) PROGRAMME COMMITTEE Samson Abramsky (University College London, UK) Philippe Balbiani (CNRS & University of Toulouse, FR) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (University of Amsterdam, NL) Olga Borik (Universidad Nacional de Educación a Distancia, ES) Zoé Christoff (University of Groningen, NL) Agata Ciabattoni (TU Wien, AT) Milica Denić (Tel Aviv University, IL) David Gabelaia (Javakhishvili Tbilisi State University, GE) Berit Gehrke (Humboldt-Universität zu Berlin, DE, co-chair) Jim de Groot (Australian National University, AU) Helle Hvid Hansen (University of Groningen, NL, co-chair) Daniel Hole (University of Stuttgart, DE) Rosalie Iemhoff (Utrecht University, NL) Maarten Janssen (Charles University, Prague, CZ) Clemens Kupke (University of Strathclyde, UK) Temur Kutsia (Johannes Kepler University Linz, AT) Mora Maldonado (CNRS & University of Nantes, FR) Louise McNally (Universitat Pompeu Fabra, Barcelona, ES) Lawrence Moss (Indiana University, USA) Aybüke Özgün (University of Amsterdam, NL) Mehrnoosh Sadrzadeh (University College London, UK) Viola Schmitt (Humboldt-Universität zu Berlin, DE) Todd Snider (Heinrich Heine University of Düsseldorf, DE) Ana Sokolova (University of Salzburg, AT) Luca Spada (University of Salerno, IT) Yasutada Sudo (University College London, UK) Jakub Szymanik (University of Trento, IT) Carla Umbach (University of Cologne, DE) Marcin Wągiel (Masaryk University, Brno, CZ, and University of Wrocław, PL) Fan Yang (Utrecht University, NL) Malte Zimmermann (University of Potsdam, DE) Sarah Zobel (University of Oslo, NO) IMPORTANT DATES Submission deadline: Fri 31 March 2023 (NEW) Notification: Wed 07 June 2023 (NEW) Final abstracts due: Mon 10 July 2023 (NEW) Early Registration deadline: Fri 30 June 2023 Late Registration deadline: Mon 24 July 2023 Symposium: 18-22 September 2023 SUBMISSION INFO Authors can submit an abstract for presentation at the symposium of up to 3 pages excluding references, and max 4 pages including references. . Abstracts will be reviewed single-blind and should report on original, unpublished work. No particular style file is required as long as the abstract is legible and uses minimal fontsize 10. Abstracts should report on original, unpublished work. Submissions should be done via the EasyChair conference system here: https://easychair.org/conferences/?conf=tbillc2023 All accepted abstracts will be compiled into an informal proceedings volume which will be made available electronically in advance of the symposium. In line with the current sanctions against Russian and Belarusian institutions and their implementation for Dutch knowledge institutions, we cannot accept submissions by researchers who list a Russian or Belarusian institution as their affiliation, but we welcome submissions by researchers of every nationality, provided they list their affiliation as “Individual researcher” or as an institution that is not located in the above-mentioned countries. PUBLICATION INFORMATION After the symposium, authors of accepted abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process. -- Helle Hvid Hansen Associate Professor Fundamental Computing Bernoulli Institute for Maths, CS and AI University of Groningen URL: https://www.rug.nl/staff/h.h.hansen/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0