November 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

doctrine vis-à-vis viewshape
by Posina Venkata Rayudu 30 Nov '22

30 Nov '22

Dear All, I hope and pray you and your families are all well. If I may, in the spirit of Merry Christmas lectures, I have a Happy Holidays question (saving my Merry Christmas question for later :-) We can readily think about particulars and generals. In thinking of, say, 0 + 0 = 0, I can readily think of it as a particular of a general: a + a = a. However, doctrine (as a theory of theories, notwithstanding the fact that I can readily think of, say, the SUM doctrine in terms of sum-preserving models of a theory (obtained as a model of the sum doctrine)) doesn't readily lends itself to everyday thinking. There seems to be a dual difficult in perception: I can readily think of the cat I am seeing (sitting on the wall across my window; on a tangential note, I find it little belittling that the cat never looks at me) as a view from a viewshape (i.e. my self-space-time perspective). But, concept (as an abstraction, notwithstanding the fact that I can readily think of, say, the concept CAT as an average of all the cats I saw) doesn't readily lend itself to everyday experience. In aligning the above two difficulties: Doctrine : General : Particular :: Viewshape : Concept : Percept I cannot help but wonder if the algebraic understanding of generals (Professor Andree Ehresmann's sketches, Professor F. William Lawvere's functorial semantics, and late Professor Grothendieck's descent) can be brought to bear on (geometric) concepts, while bringing the geometric understanding of viewshape to inform (algebraic) doctrines. I have to admit that, unlike the correspondence General : Particular :: Concept : Percept it is not clear to me if it is correct to compare (geometric) viewshape with (algebraic) doctrine. I eagerly look forward to your corrections and suggestions! Happy Holidays :-) Thanking you, posina P.S. The correspondence: General : Particular :: Concept : Percept is also problematic; the proper correspondence is: Abstract general (theory) : Concrete General (model) :: Concept : Percept. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Cambridge 3-year postdoc position on type theory for higher categories
by Jamie Vicary 30 Nov '22

30 Nov '22

Hi, I have a 3-year postdoctoral research position available soon in Cambridge, on type theory and higher categories. The closing date for applications is 13 December, and the position is intended to start early next year, although there is some flexibility in the start date. We have a great group here with lots of category theory--related activity, and Cambridge is a fun place to live. I'd be happy to receive any informal enquiries. Best wishes, Jamie ------------- Research Assistant/Associate in Type Theory for Higher Categories (Fixed Term) https://www.jobs.cam.ac.uk/job/38441/ Fixed-term: The funds for this post are available for 3 years Start Date: 1 January 2023 (or as soon as possible thereafter) Applications are invited for a Research Assistant/Research Associate to work on computational aspects of higher category theory. In this collaborative project, we aim to develop powerful new type-theoretic tools for working with directed globular weak higher categories, such as semistrict languages, cylinder/path space constructions, tensor products, and higher transfors, in particular from the perspective of the Finster-Mimram type theory Catt (arXiv:1706.02866). The position is within Jamie Vicary's research group in the Department of Computer Science at the University of Cambridge. Part of the Cambridge Logical Structures Hub (https://www.cl.cam.ac.uk/research/clash/) this is an exciting scientific environment with many researchers working on related topics, and a vibrant seminar schedule and visitor programme. Cambridge is a beautiful city in which to live and work. The successful candidate is likely to have (or expects to soon be awarded) a PhD in Mathematics, Computer Science or a related discipline. The candidate must have research experience in the following area: - Type-theoretic models of higher category theory Experience in the following areas is desirable: - Cylinder and path space constructions - The Finster-Mimram type theory Catt - Model structures on higher categories - The Gray tensor product of higher categories - Formal proof construction in Agda or Coq - Computads for higher categories - String diagrammatic methods for higher categories For informal enquiries please contact Jamie Vicary (jamie.vicary(a)cl.cam.ac.uk) Please ensure you upload a covering letter explaining your suitability for the role, a curriculum vitae, and contact information of 2 references. NOTE referees may be contacted at any point of the application process. If you upload any additional documents, which have not been requested, we will not be able to consider these as part of your application. The University actively supports equality, diversity and inclusion and encourages applications from all sections of society. The University has a responsibility to ensure that all employees are eligible to live and work in the UK. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FSCD-CADE 2023: Call for Workshop Proposals
by Carsten Fuhs 29 Nov '22

29 Nov '22

(Apologies for the cross postings.) -------------------------------------------------------------------- Call for Workshop and Tutorial Proposals - FSCD 2023, 8th edition of the International Conference on Formal Structures for Computation and Deduction (https://easyconferences.eu/fscd2023/) July 3-6, 2023 - CADE-29, the 29th Conference on Automated Deduction (https://easyconferences.eu/cade2023/) July 1-4, 2023 Rome, Italy We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications. FSCD satellite events will take place before the main conference on July 1-2, and CADE satellite events will take place after the main conference on July 4 (afternoon)-5. It is expected that satellite events would run for 1/2, 1 or 2 days (max 1 and 1/2 day for CADE satellite events), and be open to participants of parallel events. Please note overlaps between FSCD workshops and CADE conference and between CADE workshops and FSCD conference (see Important Dates below). PROPOSALS -------------------- Proposals must be limited to three pages and should be submitted via easychair: https://easychair.org/my/conference?conf=fscd23cade29ws Each proposal should consist of the following two parts. 1) A description part including: - a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); - a brief description (up to 120 words) of the event for the website and publicity material. 2) An organisational part including: - contact information for the workshop organisers; - proposed affiliated conference; - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - tentative schedule for paper submission and notification of acceptance; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from half a day to two days (max 1 and 1/2 days for CADE)); - any other special requirements. The Organising Committee of FSCD-CADE will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. The organisers of satellite events are expected to create and maintaina website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. The FSCD-CADE organising committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants. The organisers may rely on one free registration for every workshop, to be used e.g. for one invited speaker. No other cost will be covered by the local organisation. Workshop organisers are encouraged to find sponsors for financing workshop expenses. IMPORTANT DATES -------------------- Main Conferences: CADE July 1-4, 2023 FSCD July 3-6, 2023 Workshops: CADE July 4 (afternoon) and 5, 2023 FSCD July 1-2, 2023 Submission of workshop proposals: December 18th, 2022 Notification of success of proposals: December 23rd, 2022 -------------------- Best wishes, Ivano Salvo Workshop Chair [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FSCD 2023: First Call for Papers
by Carsten Fuhs 29 Nov '22

29 Nov '22

CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: January 30, 2023 Submission: February 3, 2023 Rebuttal: March 24-28, 2023 Notification: April 13, 2023 Final version: April 27, 2023 OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- We aim to have a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2023 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIRS ----------------------- Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Polit??cnica de Val??ncia Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Bras??lia Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro D??az-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad J??rgen Giesl, RWTH Aachen University Stefano Guerrini, Universit?? de Paris 13 Delia Kesner, Universit?? de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Bras??lia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Second and final announcement - Virtual Double Categories Workshop
by Bryce Clarke 25 Nov '22

25 Nov '22

VIRTUAL DOUBLE CATEGORIES WORKSHOP Dates: Monday 28 November - Friday 2 December 2022 Location: virtually on Zoom Website: https://bryceclarke.github.io/virtual-double-categories-workshop/ Research seminars: https://researchseminars.org/seminar/VirtualDoubleCategoriesWorkshop The goal of the workshop is to bring together researchers to share recent work on double categories and their applications to domains such as computer science, applied category theory, and higher category theory. The workshop is open for everyone to attend online, with recordings of the talks being uploaded after the workshop is finished. Speakers have been invited to give talks all along the “expository–technical” scale, so the workshop will hopefully be of interest to both those who are new to double categories and want to learn about the fundamental techniques and viewpoints, and also to domain specialists who are interested in technical results and current topics of active research. We hope that this workshop will create a snapshot of the research area as it currently stands together with directions for future work, as well as provide an invitation to people wanting to know more about the area, or who are wondering if the tools or ideas in double category theory might be useful to their own research. SPEAKERS Nicolas Behr John Bourke Matteo Capucci Matthew Di Meglio Bojana Femić Seerp Roald Koudenburg Michael Lambert Lyne Moser David Jaz Myers Chad Nester Susan Niefield Juan Orendain Simona Paoli Robert Paré Claudio Pisani Dorette Pronk Brandon Shapiro Christina Vasilakopoulou Paula Verdugo PROGRAM The full schedule for the workshop, including titles and abstracts, is now available on the website and at the link below (where it will be displayed in your own timezone): https://researchseminars.org/seminar/VirtualDoubleCategoriesWorkshop The workshop will be held: Monday 28th Nov. at 17:30 - 20:30 UTC Tuesday 29th Nov. to Friday 2nd Dec. at 15:00 - 19:30 UTC FORMAT AND REGISTRATION The workshop will be hosted on Zoom, and we welcome all participants. Meeting ID: 833 5321 5242 password: doublecat If you are interested in joining the workshop, we encourage you to also please use the registration link below. An email will be sent on Monday 28 November with the the Zoom link and other participation information. If there are any last minute changes or disruptions during the event, registered participants will be notified via email. After the workshop has finished, all the recorded talks will be made publicly available. Registration link: https://forms.gle/ZyFu9R1GZ41aRyG59 CONTACT For any questions, please contact the organisers (email both): Bryce Clarke <bryce.clarke(a)inria.fr> Tim Hosgood <tim.hosgood(a)math.su.se> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ItaCa Fest November 2022 - ERRATA CORRIGE - wrong date in last announcement!!!
by giuseppe.metere＠unipa.it 18 Nov '22

18 Nov '22

Dear all, My last message reported a wrong date and time for the next ItaCa meeting. The event will take place November 22nd at 9:30 am, and not October 18th, which would require a time machine! Sorry about that, I am just another cut'n'paste victim! Here is the corrected announcement. Beppe. ----8<--------8<--------8<--------8<--------8<--------8<---- Dear all, The next date of the ItaCa Fest will be November 22nd, 2022 at 9:30am (Italian time): 9:30 - 10:15 am: N. Di Vittorio - A gentle introduction to 2-derivators 10:30 - 11:15 am: G. Raptis - What is a stable n-category? The zoom link is the following: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnU… Please notice the change of timetable for this event, which has been changed in order to accomodate the first speaker from Macquarie University. However, the video-recordings of all of our seminar (with the speaker's consent) are made available on ItaCa Fest website: https://progetto-itaca.github.io/pages/fest22.html a few days after the event. Join us (and bring a friend)! Cheers, Beppe, Ivan, Edoardo, Fosco, Paolo. .ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ. Giuseppe Metere, PhD Professore di Algebra Dipartimento di Matematica e Informatica Università degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

29th WoLLIC 2023 - Call for Papers
by Ruy Jose Guerra Barretto de Queiroz 17 Nov '22

17 Nov '22

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-ninth WoLLIC will be held at the Department of Mathematics and Statistics, Dalhousie University, Halifax, Nova Scotia, Canada, July 11 to 14, 2023. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), and the Sociedade Brasileira de Lógica (SBL). LOCATION Halifax (https://www.halifax.ca/) is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. (Wikipedia) FORMAT WoLLIC 2023 will be a hybrid event. SCOPE Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. PAPER SUBMISSION Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors either in person or via remote connection. (At least one author is required to pay a full, on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2023 EasyChair website https://easychair.org/conferences/?conf=wollic2023. PROCEEDINGS The proceedings of WoLLIC 2023, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2023 issue of a scientific journal (tba). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2023 will permit ASL student members to apply for a modest travel grant (deadline: 90 days before the event starts). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES February 20, 2023: Abstracts deadline February 27, 2023: Full papers deadline May 15, 2023: Author notification June 5, 2023: Final version deadline (firm) PROGRAMME COMMITTEE Bahareh Afshari (University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Czech Academy of Sciences, Czech Republic) Santiago Figueira (Universidad de Buenos Aires, Argentina) Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Danish Technical University, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (Co-Chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Michael Moortgat (Utrecht University, Netherlands) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh (University College London, UK) Philip Scott (University of Ottawa, Canada) Andre Scedrov (University of Pennsylvania, USA) (Co-Chair) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie Univ) Peter Selinger (Dalhousie Univ) (Co-Chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SPECIALl SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS (TBA) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2023/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ItaCa Fest November 2022
by giuseppe.metere＠unipa.it 16 Nov '22

16 Nov '22

Dear all, The next date of the ItaCa Fest will be October 18, 2022 at 3 pm (Italian time): 9:30 - 10:15 pm: N. Di Vittorio - A gentle introduction to 2-derivators 10:30 - 11:15 pm: G. Raptis - What is a stable n-category? The zoom link is the following: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnU… Please notice the change of timetable for this event, which has been changed in order to accomodate the first speaker from Macquarie University. However, the video-recordings of all of our seminar (with the speaker's consent) are made available on ItaCa Fest website: https://progetto-itaca.github.io/pages/fest22.html a few days after the event. Join us (and bring a friend)! Cheers, Beppe, Ivan, Edoardo, Fosco, Paolo. .ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ. Giuseppe Metere, PhD Professore di Algebra Dipartimento di Matematica e Informatica Università degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)
by Ralph Matthes 15 Nov '22

15 Nov '22

The 11th International Workshop on Fixed Points in Computer Science will take place in Warsaw on 17 February 2023 as a satellite of the International Conference CSL 2023 (Computer Science Logic). The goal of the workshop is to bring together people from different fields such as algebra/coalgebra, verification, logic, around the thematic of fixed points. This workshop will be without proceedings. In particular you can present work that is already published elsewhere, or in progress. Depending on the nature of the contributions, a special issue of Fundamenta Informaticae might be published with selected contributions (we have the approval by the journal for this). Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logic, verification, databases. Topics include, but are not restricted to: -fixed points in algebra and coalgebra -fixed points in formal languages and automata -fixed points in game theory -fixed points in programming language semantics -fixed points in the mu-calculus and modal logics -fixed points in process algebras and process calculi -fixed points in functional programming and type theory -fixed points in relation to dataflow and circuits -fixed points in logic programming and theorem proving -fixed points in finite model theory, descriptive complexity theory, and databases -fixed points in category theory for logic in computer science Invited Speaker --------------------------------- -TBA ===================================== Submission and Registration Instructions ===================================== Abstracts presenting your communication should be sent via https://easychair.org/conferences/?conf=fics2023. Submissions should be from 1 to 3 pages long, excluding bibliography. Registration will be opened soon, as for other CSL workshops. It will include a small fee to cover the cost of invited speaker and social event. An effort will be made to enable online participation for those who cannot attend in person. Important dates --------------------------------- Submission deadline: 06/01/2023 AoE Notification: 27/01/2023 Workshop: 17/02/2023 ===================================== Committees ===================================== Program Committee --------------------------------- -Henning Basold (LIACS, Univ. Leiden) -Karoliina Lehtinen (CNRS & LIS Marseille) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Ralph Matthes (CNRS & Univ. Toulouse) -Matteo Mio (CNRS & ENS Lyon) -Damian Niwinski (University of Warsaw) -Fredrik Nordvall Forsberg (Univ. of Strathclyde) -Luigi Santocanale (LIS, Univ. Aix-Marseille I) -Tarmo Uustalu (Institute of Cybernetics, Tallinn) Steering Committee --------------------------------- -Peter Dybjer (Chalmers University of Technology) -Ralph Matthes (IRIT, Toulouse) -Damian Niwinski (University of Warsaw) -Luigi Santocanale (LIS, Université Aix-Marseille I) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Tarmo Uustalu (Institute of Cybernetics, Tallinn) -Igor Walukiewicz (LaBRI, Bordeaux) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0