You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Email Gateway (Oct 25 2023 at 19:35):From: JS Lemay <js.lemay@mq.edu.au>
From: JS Lemay <js.lemay@mq.edu.au>
Sent: Tuesday, October 24, 2023 4:11 PM
To: Categories mailing list <categories@mq.edu.au>
Subject: [Categories]: CTLM 2023 -- Call for Participation
[[JSPL: The following email was sent to the old mailing list by lorenzo@logic.at<mailto:lorenzo@logic.at> while it was offline]]
Hello everyone! We're organizing a one-day conference at TU Wien on
7/Dec/2023, focusing mainly on the connection between logic and other
mathematics.
We have two invited speakers, Julia Wolf (University of Cambridge, UK)
and Ulrich Kohlenbach (TU Darmstadt, Germany).
Now we're looking for contributed speakers and we'd appreciate if you
take into consideration giving a talk at the conference.
The deadline for submitting your presentation proposal (the title and
abstract of your talk) is 7/Nov/2023.
You can see below for more information, but please feel free to send an
email to Lorenzo Sauras-Altuzarra (lorenzo@logic.at<mailto:lorenzo@logic.at>) if you have any
question. Thank you in advance.
Call for Participation
CTLM 2023
Conference on Techniques from Logic in Mathematics
TU Wien, Vienna, Austria -- 7/Dec/2023
DESCRIPTION
CTLM 2023 is aimed to enhance the engagement between
domestic researchers/students and external researchers
working in connections between logic and other areas of
mathematics.
REGISTRATION
Given the limited seating capacity of the lecture room, we
kindly request you to register beforehand using the google
form from the conference website. There is no registration
fee!
If you wish to give a contributed talk, you can also submit
your presentation proposal (the title and abstract for your
talk) via the same google form. The deadline for submission
is 7/Nov/2023.
Due to the limited schedule, there might be a selection of
presentation proposals by the scientific committee. The
result will be announced by 23/Nov/2023.
INVITED SPEAKERS
Julia Wolf (University of Cambridge, UK)
Ulrich Kohlenbach (TU Darmstadt, Germany)
SCIENTIFIC COMMITTEE
Stefan Hetzl (TU Wien, Austria)
Michael Pinsker (TU Wien, Austria)
Mihai Prunescu (IMAR, Romania)
Best regards,
Matthias Baaz, Lorenzo Sauras-Altuzarra and Takehiko Gappo