July 2022 - 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

RAMiCS 2023 - Second call for papers
by Luigi Santocanale 29 Jul '22

29 Jul '22

(Apologies for multiple posting) SECOND CALL FOR PAPERS ???????????????????????????????????????? 20th International Conference on ???????????????????? Relational and Algebraic Methods in Computer Science ???????????????????????????????????????????????????????????? RAMiCS 2023 ?????????????????? 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ IMPORTANT DATES: ?????? Abstract Submission:?????? September 23, 2022 ?????? Paper Submission:???????????? September 30, 2022 ?????? Author Notification:?????? December 09, 2022 ?????? Final Version:?????????????????? January 06, 2023 ?????? RAMiCS 2023:?????????????????????? April 03-06, 2023 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2023 will take place at the Technologiezentrum Augsburg. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory ???? - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics ???? - their use in the theories of automata, concurrency, formal languages, ???????? games, networks and programming languages ???? - the development of algebraic, algorithmic, category-theoretic, ???????? coalgebraic and proof-theoretic methods for these theories ???? - their formalisation with theorem provers * Applications ???? - tools and techniques for program correctness, specification and ???????? verification ???? - quantitative and qualitative models and semantics of computing ???????? systems and processes ???? - algorithm design, automated reasoning, network protocol analysis, ???????? social choice, optimisation and control ???? - industrial applications INVITED SPEAKERS ?????????????????????????????? Alexander Knapp, Augsburg University, Germany ?????????????????????????????? John Stell, University of Leeds, UK ?????????????????????????????? Valeria Vignudelli, CNRS/ENS Lyon, France SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2023 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: ???? Organising Committee ???? -------------------- ???? Conf. & PC Co-Chair: Roland Gl??ck, Deutsches Zentrum f??r Luft- und Raumfahrt, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France ???? Conf. & PC Co-Chair: Michael Winter, Brock University, Canada ???? Programme Committee ???? ------------------- ?????? Adriana Balan, University Politechnic of Bucharest, Romania ?????? Manuel Bodirsky, Technical University Dresden, Germany ?????? Paul Brunet, Paris-East Cr??teil University, France ?????? Miguel Couceiro, Loria, Nancy, France ?????? Manfred Droste, Leipzig University, Germany ?????? Uli Fahrenberg, Epita, France ?????? Hitoshi Furusawa, Kagoshima University, Japan ?????? Wesley Fussner, University of Bern, Switzerland ?????? Silvio Ghilardi, University of Milan, Italy ?????? Roland Glueck, German Aerospace Center, Augsburg, Germany ?????? Walter Guttmann, University of Canterbury, New Zealand ?????? Robin Hirsch, University College London, UK ?????? Peter H??fner, Australian National University, Canberra, Australia ?????? Marcel Jackson, La Trobe University, Melbourne, Australia ?????? Ali Jaoua, Qatar University, Qatar ?????? Peter Jipsen, Chapman University, Orange, USA ?????? Sebastian Joosten, Dartmouth College, Hanover, USA ?????? Barbara K??nig, University of Duisburg/Essen, Germany ?????? Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada ?????? Roger Maddux, Iowa State University, Ames, USA ?????? Nelma Moreira, University of Porto, Portugal ?????? Martin Mueller, University of Applied Sciences, Bonn-Rhein-Sieg, Germany ?????? Damien Pous, CNRS, ENS Lyon, France ?????? Luigi Santocanale, Aix-Marseille University, France ?????? Ana Sokolova, University of Salzburg, Austria ?????? Sara Ugolini, Artificial Intelligence Research Institute of the CSIC, Spain ?????? Michael Winter, Brock University, St. Catharines, Canada ?????? Sam van Gool, University Paris, France [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Antipode workshop, last announcement
by SARACCO Paolo 28 Jul '22

28 Jul '22

Dear Colleague, This is the last announcement of the "second ANTIPODE workshop" that will be held at ULB - Université Libre de Bruxelles on the 12th and 13th of September, 2022. This two-days event aims at being an occasion to gather together international experts and young researchers in the theory of partial actions and representations as well as in related topics such as inverse semigroups, groupoids, Hecke algebras. Please, feel free to share the details of this event in your local academic community. ================================================================= REGISTRATION Participation at the workshop is free, but registration is mandatory. A small contribution (of at most 20 euro) might be asked at participants to cover the costs of lunches and coffee breaks. Registration is open via a Google Form on the webpage http://hopfalgb.ulb.be/ANTIPODE2/index.html You may also reach it directly via the following link: https://docs.google.com/forms/d/e/1FAIpQLSc-jDOBI1Rd5gTB-vBPxiyc0i2SkUNsrec… Please, register before the 1st of August at 23:59:59 Anywhere on Earth. We can offer limited financial support to (young) participants who will actively contribute to the event. If you are interested to apply, please mention it in the registration form. We will contact you once we collected all the applications. ================================================================= CONFIRMED SPEAKERS - Alessandro D’Andrea (Rome) - Ganna Kudryavtseva (Ljubljana) - Martina Lanini (Rome) - Johan Öinert (Karlskrona) There are several slots available for contributed talks. If you would like to present your work, you can mention this in the registration form. A title or abstract can be submitted at a later stage. ================================================================= ORGANISERS Michele D'Adderio Paolo Saracco Joost Vercruysse For any additional information, please contact us at Paolo.Saracco(a)ulb.be, Michele.DAdderio(a)ulb.be, Joost.Vercruysse(a)ulb.be. -- Paolo Saracco, PhD ULB - Université Libre de Bruxelles Département de Mathématique Campus de la Plaine CP 216 Bd du Triomphe sites.google.com/view/paolo-saracco paolo.saracco.web.ulb.be [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Publication of Volume LXIII-3 of the "Cahiers"
by Andrée Ehresmann 24 Jul '22

24 Jul '22

Dear Colleagues, We are pleased to inform you that Volume LXIII-3 (3rd quarter 2022) of the Cahiers is now freely downloadable from the website of the Cahiers: http://cahierstgdc.com both as a whole issue and as separate articles. Best regards, Andree Ehresmann, Marino Gran and Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

well founded coalgebras and recursion
by Paul Taylor 23 Jul '22

23 Jul '22

[Note from moderator: Further categories posts will not be sent out until July 28. Sorry for the interruption.] Well founded coalgebras and recursion www(dot)paultaylor(dot)eu(slash)ordinals This is a thorough reworking and generalisation of much of the work that I did on this topic in the 1990s. It has been with journal referee(s) since November, so if that means you, please contact the editor asap. This was in turn inspired by that of Christian Mikkelsen and Gerhard Osius in the 1970s (but I mis-attributed Mikkelsen's work to Osius). Osius's papers are readily available, but Mikkelsen's thesis was hard to obtain; he has now re-typed it himself in LaTeX and put it on his own website: www(dot)chrisjuul(dot)dk(slash)math(slash)LL(dot)pdf Well-orderings were of course introduced by Georg Gantor. So far as I can gather, the classical notion of well- foundedness is due to Ernst Zermelo 1935, but I have been unable to identify who first used the induction scheme to give the intuitionistic definition. I would welcome help with these two historical points. The principal theorem derives recursion for functions from induction for predicates. This appears in most set theory textbooks, usually without attribution, but I believe it is due to John von Neumann 1928. For the generalisation in this paper over the 1990s work I needed to use Dito Pataraia's 1997 fixed point theorem for dcpos. However, I needed a special adaptation of this, as described in Section 2 of the paper. (I tried to discuss it on MathOverflow, but was bullied by a ring theorist who lectured me on ordinal recursion.) I found myself drawn into the complicated history of the classical result of this kind, called the Bourbaki--Witt theorem, which is intertwined with the history of Zorn's Lemma, the Axiom of Choice and the Well-Ordering Principle. It turns out that the Bourbaki--Witt idea was already in Zermelo's second proof in 1908. There is some historical discussion in Section 2 of my paper, but I have a lot of other bibliographical notes and partial translations of papers from German that I can share, if anyone wants to take this up as a research topic in mathematical history. Turning at last to the category theory: Osius represented (membership) relations as coalgebras X-->PX for the covariant powerset functor. Extensionality is that this structure map is mono and recursion is given by a "coalgebra-to-algebra" homomorphim (in Adam Eppendahl's later terminology). Well-foundedness was implicitly in Mikkelsen's work but defined explicitly as a "broken pullback" by mine in the 1990s. I replaced P by any endofunctor that preserves inverse images (pullbacks of monos) and proved the recursion theorem (well founded implies recursive) based on von Neumann's proof. In the present work, the functor need only preserve monos, not necessarily their pullbacks. It is this that requires fixed points in dcpos instead of lattices. However, the generalisation goes a lot further than this: the "monos" themselves are replaced by a factorisation system. The "epis" and factorisation are exploited in Section 8 to define adjoints that impose well-foundedness and extensionality on any coalgebra. The result for extensionality is my version of Mostowski's theorem and I hope to use the idea to give a categorical version of the Axiom-Scheme of Replacement. The final section considers the parts of the theory that require the functor to preserve inverse images. This includes the most familiar fact about well-foundedness. It is also needed for pushouts of extensional well- founded coalgebras, which for P are the "overlapping unions" of set theory. In future work I intend to apply this general theory, in particular the factorisation systems, to categories such as those of posets and various kinds of lattices. This will show how the various kinds of intuitionistic ordinals that were identified in my work and the Algebraic Set Theory of Andr? Joyal and Ieke Moerdijk in the 1990s may be seen as extensional well founded coalgebras. Paul Taylor I am now in Birmingham, as an Honorary Senior Research Fellow in the research group that includes Achim Jung, Steve Vickers, Mart?n Escardo, Paul Levy and Anupam Das. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CCC2022 -September 19-23, 2022- 2nd call for contributions
by Maria Emilia Maietti 22 Jul '22

22 Jul '22

2nd CALL FOR?? CONTRIBUTIONS: CCC 2022: Continuity, Computability, Constructivity ??? From Logic to Algorithms ???????????????????????????????? Dedicated to Dieter Spreen on the Occasion of his 75th Birthday Department of Mathematics and???? ONLINE Padova, Italy, September 19-23, 2022 ============================================== Submission link https://easychair.org/conferences/?conf=ccc20220 Submission deadline:?????? August 16, 2022 Nofication of acceptance:???? August 26, 2022 ==================================================== CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis and topology, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety-critical applications and scientific computation. Participation is welcome in person or online. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online). ===================================================================== Submission Guidelines The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: ?????? Exact real number computation ?????? Correctness of algorithms on infinite data ?????? Computable analysis ?????? Complexity of real numbers, real-valued functions, etc. ?????? Effective descriptive set theory ?????? Domain theory ?????? Constructive analysis and topology ?????? Constructive foundations ?????? Category-theoretic approaches to computation on infinite data ?????? Weihrauch degrees ?????? Other related areas. Extended abstracts (1-2 pages) should be submitted in pdf format. A post-proceedings volume will be published in the open-access journal Logical Methods in Computer Science. =============================================== Tutorial speakers: ?????? Alexander Miquel (Universidad de La Republica, Uruguay) ?????? Linda Westrick (Penn State University, USA) Invited speakers: ?????? Miko??aj Boja??czyk (Warsaw, Poland) ?????? Tatsuji Kawai (JAIST, Japan) ?????? Michael Rathjen (Leeds, UK) ?????? Andreas Rauh (Oldenburg, Germany) ======================================================== Program Committee ?????? Pieter Collins (Maastricht, Netherlands) ?????? Achim Jung (Birmingham, UK) ?????? Maria Emilia Maietti (Padova, Italy)?? (chair) ?????? Arno Pauly (Swansea, UK) ?????? Alex Simpson (Ljubljana, Slovenia) ?????? Holger Thies (Kyoto, Japan) ?????? Chuangjie Xu (Munich, Germany) ?????? Ning Zhong (Cincinnati, USA) ?????? Martin Ziegler (KAIST, Republic of Korea) Organizing committee ?????? Francesco Ciraulo (Padova, Italy) ?????? Maria Emilia Maietti (Padova, Italy) ?????? Samuele Maschio (Padova, Italy) ?????? Pietro Sabelli (Padova, Italy) Contact All questions about submissions should be emailed to ccc22(a)math.unipd.it [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO 9 - 2nd call call for submissions - Deadline 1st August
by Elena Di Lavore 22 Jul '22

22 Jul '22

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9) Como, Italy 8-9 September 2022 Submission deadline: Monday 1 August 2022 https://www.cl.cam.ac.uk/events/syco/9/ ----------------------------------------- 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 and Tallinn. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. Submissions is easy, with no formatting or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. You could submit work-in-progress, or a recently completed paper, or even a PhD or Masters thesis. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular from the perspective of category theory: - logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; - graphical calculi, including string diagrams, Petri nets and reaction networks; - languages and frameworks, including process algebras, proof nets, type theory and game semantics; - abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; - quantum algebra, including quantum computation and representation theory; - tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; - industrial applications, including case studies and real-world problem descriptions. ** IMPORTANT DATES ** All deadlines are 23:59 Anywhere on Earth. Submission deadline: Monday 1 August Author notification: Monday 8 August 2022 Symposium dates: Thursday 8 and Friday 9 September 2022 ** SUBMISSION INSTRUCTIONS ** Submissions are by EasyChair, via the SYCO 9 submission page: https://easychair.org/my/conference?conf=syco9 Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. Think creatively: you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. In the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. Deferred submissions can be re-submitted to any future SYCO meeting, where they will not need peer review, and where they will be prioritised for inclusion in the programme. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 9; you still need to submit it again through EasyChair. When submitting, append the words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. ** PROGRAMME COMMITTEE ** Robin Cockett, University of Calgary Elena Di Lavore, Tallinn University of Technology Ross Duncan, University of Strathclyde Robert Furber, University of Edinburgh Amar Hadzihasanovic, Tallinn University of Technology Chris Heunen, University of Edinburgh Alex Kissinger, University of Oxford Martha Lewis, University of Bristol Jade Master, University of Strathclyde Konstantinos Meichanetzidis, University of Leeds Samuel Mimram, École Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology The PC chair is John van de Wetering, Radboud University. ** 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

Call for participation DaLí 2022
by Carlos Areces 14 Jul '22

14 Jul '22

*** Call for participation *** DaLí - Dynamic Logic: new trends and applications (DaLí 2022) Workshop affiliated with LICS, as part of FLOC http://dali2022.campus.ciencias.ulisboa.pt/ A *free* and *online* event on the 31 July and 1 August 2022 DaLí is an online event exclusively dedicated to Dynamic Logics (broadly conceived). Its aim is to bring together the community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, and to foster great discussions and new collaborations. Follow the link below to register (free) https://forms.gle/1RLxcE9R9TDqLbrf9 List of Invited Speakers * Marta Bílková (Institute of Computer Science, Czech Academy of Sciences, CZ) * Nina Gierasimczuk (Technical University of Denmark, DK) * Elaine Pimentel (University College London, UK) * Fernando Velázquez Quesada (University of Bergen, NO) List of Accepted Papers (alphabetical, by first author) * C. Areces, R. Fervari, A. Saravia and F. Velázquez-Quesada. First Steps in Updating Knowing How * P. Balbiani. Parametrized modal logic: the unidimensional case * B. Bedregal, R. Santiago, M. Martins and A. Madeira. Relating Kleene algebras with pseudo uninorms * V. Dolgorukov and M. Gladyshev. Dynamic Epistemic Logic for Budget-Constrained Agents * R. Galimullin and T. Ågotnes. Action Models for Coalition Logic * T. Kawano. Quantum Logic for Observation of Physical Quantities * J. Lindqvist, F. Velázquez-Quesada and T. Ågotnes. Cautious distributed belief * A. Ramírez Abarca and J. Broersen. A Stit Logic of Intentionality List of Accepted Short Papers (alphabetical, by first author) * M. Tashiro, E. Pacuit and I. Canavotto. Public Announcement Logic with Misinterpretations * E. Ternovska. Dynamic Logic for Descriptive Complexity * H. Wu, H. van Ditmarsch and J. Chen. A Labelled Sequent Calculus for Public Announcement Logic We look forward to meeting you all at DaLI 2022. Diana Costa and Carlos Areces DaLI 2021 Chairs. Program Committee: T. Ågotnes (U. Bergen, NO), N. Alechina (Utrecht U., NL), C. Areces (U. Córdoba, AR), P. Balbiani (IRIT, FR), D. Costa (U. Lisbon, PT), G. D'Agostino (U. Udine, IT), S. Demri (CNRS, FR), H. van Ditmarsch (Open University, NL), R. Fervari (U. Córdoba, AR), S. Frittella (LIFO, FR), N. Gierasimczuk (TU Denmark, DK), R. Goré (Vienna U. of Technology, AU and Polish A. of Science, PO), R. Hennicker (LMU Munich, DE), R. Hähnle (TU Darmstadt, DE), S. Knight (U. Minnesota, USA), C. Kupke (U. Strathclyde, UK), S. Kuznetsov (Steklov Mathematical Institute, RU), A. Madeira (U. Aveiro, PT), S. Marin (U. Birmingham, UK), M. Martins (U. Aveiro, PT), L. Moss (Indiana University Bloomington, USA), C. Nalon (U. Brasília, BR), N. Olivetti (Aix-Marseille U., FR), E. Pacuit (U. Maryland, USA), A. Palmigiano (Vrije Universiteit Amsterdam, NL), V. Punčochář (Czech Academy of Sciences, CZ), K. Sano (Hokkaido U., JP), I. Sedlár (Czech Academy of Sciences, CZ), R. Verbrugge (U. Groningen, NL), F. Wolter (U. Liverpool, UK), S. Cerrito (U. d'Evry Val d'Essonne, FR), Steering Committee: A. Baltag (U. Amsterdam, NL), A. Madeira (U. Aveiro, PT), A. Herzig (IRIT, U. Paul Sabatier, FR), D. Harel (The Weizmann Institute of Science, IL) Dexter Kozen (Cornell U., USA), F. Liu (Tsinghua U., CH), J. van Benthem (U. Amsterdam, NL), H. van Ditmarsch (Open University, NL), I. Sedlár (Czech Academy of Sciences, CZ), L. Soares Barbosa (U. Minho, PT), M. Martins (U. Aveiro, PT), M. Benevides (Federal U. Rio de Janeiro, BR), N. Gierasimczuk (Technical University of Denmark, DM), S. Smets (U. Amsterdam, NL), V. Pratt (Stanford U., USA) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ETAPS 2023 1st joint call for papers
by Jan Kofron 14 Jul '22

14 Jul '22

****************************************************************** JOINT CALL FOR PAPERS 26th European Joint Conferences on Theory and Practice of Software ETAPS 2023 Paris, France, 22-27 April 2023 https://etaps.org/2023 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2023 is the twenty-sixth event in the series. -- Why choose ETAPS? -- * ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. * The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. * ETAPS has low participation fees for all and students in particular. -- What is new in 2023? -- * ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision. * Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place. * A plenary session for TOOLympics will be organised. -- MAIN CONFERENCES (24-27 April 2023) -- * ESOP: European Symposium on Programming (PC chair: Thomas Wies, New York University) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Leen Lambers, BTU Cottbus-Senftenberg, and Sebastián Uchitel, University of Buenos Aires) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Pawel Sobocinski, Tallinn University of Technology, and Orna Kupferman, Hebrew University of Jerusalem) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Sriram Sankaranarayanan, University of Colorado, Boulder, CO, and Natasha Sharygina, University of Lugano) ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns. -- INVITED SPEAKERS -- * Unifying speakers: Thomas A. Henzinger (IST, Austria) Véronique Cortier (Loria, France) * ESOP: Mooly Shagiv (Tel Aviv University, Israel) * FASE: Sven Apel (Saarland University, Germany) * Tutorial speakers: TBA -- IMPORTANT DATES -- * Paper submission: October 13, 2022, 23:59 AoE * TACAS artefact submission deadline: November 10, 2022 * Rebuttal (ESOP, FoSSaCS, partially TACAS): Tuesday 6 December - Thursday 8 December, 2022 * Paper notification: December 22, 2022 * ESOP, FASE, FoSSaCS artefact submission deadline: January 5, 2023 * Artefact notification TACAS: January 19, 2023 * Paper final version: January 26, 2023 * Artefact notification ESOP, FASE, FoSSaCS: February 9, 2023 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2023 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 16 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2023 as an on-site conference; nonetheless, remote attendance and presentation will be made possible. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP and FASE will use **double-blind reviewing**. Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgements that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the grey zone). Artefact submission and evaluation Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artefact submitted shortly after the paper. The artefact will be evaluated, and the outcome will be considered in the paper's acceptance decision. For research paper and case study paper submissions, pre-paper-acceptance submission of an artefact is optional; if an artefact is submitted at this point, it will be handled as described above. Alternatively, authors of papers of these categories may submit an artefact for evaluation after the paper has been accepted. The outcome of the artefact evaluation will then not change the paper acceptance decision. ESOP, FASE, and FoSSaCS will accept artefact submissions; however, participation in it is voluntary; the artefact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For specific instructions regarding artefacts, see the web pages of the individual conferences. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- AWARDS The strongest papers from the four conferences will be nominated for the ETAPS best paper awards of EAPLS, EASST and EATCS, and the SCP best tool paper award. The ETAPS test-of-time award will be granted, recognising outstanding papers published at ETAPS more than ten years in the past. The Doctoral Dissertation Award will be granted to promote and recognise an outstanding dissertation in the research areas covered by the four main ETAPS conferences. -- SATELLITE EVENTS (22-23 April 2023) -- A number of satellite workshops and other events will take place during the weekend before the main conferences. In particular, there will be a PhD student mentoring workshop organised by Caterina Urban. -- CITY AND HOST INSTITUTION -- ETAPS 2023 will take place in Paris, France. The conferences and satellite events will be hosted at Sorbonne Université and IHP (Institut Henri Poincaré), respectively. They are located in the very centre of the city, in the famous historic district of Quartier Latin. The new museum of mathematical sciences of IHP and the historical mathematics library are also in the same buildings as the satellite events. Several museums, churches and historical buildings can be visited in this area. The convenient location allows for accessing most places in Paris by public transport. ETAPS is organised by the MeFoSyLoMa community, which gathers all researchers on formal methods for software and hardware systems in the Île-de-France region. -- ORGANISERS -- General co-chairs: * Fabrice Kordon (Sorbonne Université) * Laure Petrucci (Université Sorbonne Paris Nord) Workshop co-chairs: * Benedikt Bollig (CNRS) * Stefan Haar (Inria) Tutorial chair: * Étienne André (Université Sorbonne Paris Nord) Web co-chairs: * Denis Poitrenaud (Université Paris Cité) * Stefan Schwoon (ENS Paris-Saclay) Publicity co-chairs * Benoît Barbot (Université Paris-Est Créteil) * Nathalie Sznajder (Sorbonne Université) Sponsor chair * Céline Ghibaudo (Sorbonne Université) Communication chair * Anna-Marie Reytier (Sorbonne Université) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability
by ppradic 08 Jul '22

08 Jul '22

Dear all, (apologies if you receive this multiple times; feel free to circulate to students who might be interested in these offers) I'd like to advertise a funded PhD position in the CS theory group at Swansea University, to be supervised by myself. The topic would be about exploring connections between (linear) ??-calculi and automata theory, hopefully using semantic methods. The official advert, that can be found at https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-scien… gives some administrative details and some ideas on the research directions that could be explored (I would personally also be happy to discuss other ideas as long as I would be a particularly good fit to supervise; my webpage might give you some idea about my interests: https://cs-web.swan.ac.uk/~pierrepradic/) Eike Neumann also has a funded PhD position to offer on a project about looking at dynamical systems with a focus on exact real number computability that I'd also like to advertise https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-scien… The stipend would be ??16,062/year (UKRI rate), for a duration of 3 years and the tuition fees are covered by the funding. The closing date for both calls is July 29th. While the application procedure is detailed in the links I gave above, we would welcome prospective candidates getting in touch via email (p.r.a.pradic(a)swansea.ac.uk for me, e.f.neumann(a)swansea.ac.uk for Eike) beforehand. All the best, Pierre Pradic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0