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.
Elena Di Lavore (Jul 01 2022 at 16:27):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
The PC chair is John van de Wetering, Radboud University. The Programme Committee will be announced soon.
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
John Baez (Jul 01 2022 at 16:40):It doesn't say anything here, but on the webpage it says the meeting is hybrid:
The meeting will have an online component and all talks will be broadcast on Zoom. Registered online participants will be contacted by e-mail, closer to the meeting date, with the virtual coordinates.
John Baez (Jul 01 2022 at 16:40):So, I can try to give a talk.
JS PL (he/him) (Jul 06 2022 at 02:44):I'm a bit unclear by the phrasing. So just to confirm: is there a possibility to give talks virtually? Or only in person talks (that they will broadcast?)
Elena Di Lavore (Jul 07 2022 at 12:25):The usual rule for SYCO is to avoid online talks but to allow online participation, so we will try to broadcast or record the talks. Of course, we are aware of the uncertainties related to covid and we are ready to adapt if necessary.
John Baez (Jul 09 2022 at 14:36):Hmm, this passage I quoted from the web page seems to have been deleted now:
The meeting will have an online component and all talks will be broadcast on Zoom. Registered online participants will be contacted by e-mail, closer to the meeting date, with the virtual coordinates.
I submitted a talk because I thought this meant I could give a talk virtually. But I guess that's false! So I'll have to withdraw my talk.
Notification Bot (Jul 10 2022 at 05:58):17 messages were moved from this topic to #general: values > hybrid conferences, etc. by John Baez.
John van de Wetering (Jul 28 2022 at 17:50):A reminder that the deadline for SYCO 9 is coming up this Monday August the 1st, Anywhere on Earth!
Elena Di Lavore said:
CALL FOR SUBMISSIONS
NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9)Como, Italy
8-9 September 2022Submission 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 2022SUBMISSION INSTRUCTIONS
Submissions are by EasyChair, via the SYCO 9 submission page:
https://easychair.org/my/conference?conf=syco9Submission 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
The PC chair is John van de Wetering, Radboud University. The Programme Committee will be announced soon.
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
Jean-Baptiste Vienney (Jul 28 2022 at 18:14):I would have loved submitting notes on a conjecture on symmetric powers I'm working on but as we can't talk virtually, I prefer not doing it.
Elena Di Lavore (Aug 17 2022 at 12:53):CALL FOR PARTICIPATION
NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9)
In person at University of Insubria, Como, Italy
8-9 September 2022
Registration deadline: 1 September 2022 (AoE)
It is possible to attend online, but not to present online.
Please register even when attending online.
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 at University of Birmingham,
University of Strathclyde, University of Oxford, Chapman University,
University of Leicester and Tallinn University of Technology.
The programme consists of 2 invited talks and 14 contributed talks.
INVITED TALKS
Robert Furber (University of Edinburgh)
- TBA
Olivia Caramello (University of Insubria)
- Relative toposes as a generalization of locales
CONTRIBUTED TALKS
Full schedule available at https://www.cl.cam.ac.uk/events/syco/9/
Calin Tataru
Niels Voorneveld
Lia Yeh
Dylan Braithwaite and Jules Hedges
REGISTRATION
Registration is open until the 1st of September, 2022.
You can register for either the in person meeting or
for the online event.
Please register via:
https://forms.gle/NURaeCEVsfpfZTJp9
Registration is free.
More details are available on the conference website:
https://www.cl.cam.ac.uk/events/syco/9/
COVID-19 SITUATION IN ITALY
It is mandatory to wear FFP2 masks on all public transport in Italy.
It is strongly recommended to wear them in all public places,
including the university.
At the moment, there are no restrictions for entering Italy.
More information at
https://www.viaggiaresicuri.it/approfondimenti-insights/saluteinviaggio
(only in Italian).
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, Quantinuum
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
John van de Wetering, Radboud University (chair)
STEERING COMMITTEE
Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
Aleks Kissinger, University of Oxford
Samuel Mimram, Ecole Polytechnique
Simona Paoli, University of Aberdeen
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Jamie Vicary, University of Cambridge
Elena Di Lavore (Aug 31 2022 at 16:45):Hi Everyone,
Just a reminder that registration for SYCO 9 closes tomorrow AoE.
Looking forward to welcome everyone in Como!
Joshua Wrigley (Sep 05 2022 at 12:02):Hi all,
We’re looking forward to welcoming you all to Como for SYCO this week! This is a reminder that registration opens at 10:30 in the Chiostro di Sant’Abbondio on Thursday 8th. The timetable for the event can be found on the website (link).
For those arriving on the Wednesday the 7th, we are hosting some welcome drinks in the evening at 20:00. The venue is Doppio Malto, Piazza San Fedele (link).
We’re looking forward to seeing you there!
Dylan Braithwaite (Sep 07 2022 at 14:47):Hi! Looking forward to everything getting going tomorrow!
What are the logistics for presenting? If we want to show slides do we need to bring a device to plug into a projector? Or will there be a computer set up that we can send a copy of our slides to?
Elena Di Lavore (Sep 07 2022 at 21:36):There is a computer in the room. You should have received an email with some information and a link to upload your slides. Let me know if you didn't, that I can send it again. See you tomorrow!
Dylan Braithwaite (Sep 08 2022 at 06:33):Ah I see it now, it was in my spam folder. Thanks!
Simon Burton (Sep 08 2022 at 08:50):I registered for the online talks, was there a zoom link emailed out ?
Dylan Braithwaite (Sep 08 2022 at 08:51):I got a Teams link emailed
Simon Burton (Sep 08 2022 at 08:53):from what address?
Simon Burton (Sep 08 2022 at 09:57):Ok, i found a link elsewhere. Woo!