categories - Category Theory list
 help / color / mirror / Atom feed
* Workshop "Advances in Interactive and Quantitative Semantics", 26-28 mai 2025, CIRM
@ 2025-01-31 13:58 Pierre Clairambault
  0 siblings, 0 replies; only message in thread
From: Pierre Clairambault @ 2025-01-31 13:58 UTC (permalink / raw)
  To: types-announce, categories, linear-logic

[-- Attachment #1: Type: text/plain, Size: 2577 bytes --]

We are delighted to announce the workshop

"Advances in Interactive and Quantitative Semantics"

which will take place on the 26-28th of May 2025 at the CIRM in
Marseille, France -- at the doorstep of the Calanques national park.

The workshop marks the end of the ANR grant "Dyverse". It aims, on the
one hand, to publicize some of the results obtained in the course of the
project, but also to gather the communities around interactive and
quantitative semantics. More information on the scientific context can
be found in the web page:

https://conferences.cirm-math.fr/3518.html<https://url.au.m.mimecastprotect.com/s/-x8YCwV1jpSGPv0wwCqhmTJlhKh?domain=conferences.cirm-math.fr>

We would be happy to see you there!


Registration
============

Registration is free, and covers accommodation and meals on site, from
the dinner on the sunday 25th to the lunch on the 28th. Pre-registration
is open on the web site:

https://conferences.cirm-math.fr/3518.html<https://url.au.m.mimecastprotect.com/s/-x8YCwV1jpSGPv0wwCqhmTJlhKh?domain=conferences.cirm-math.fr>

Pre-registrations will be validated on a first come first served basis,
up to the available budget and the available slots at CIRM. Other
expenses (travel, etc) are not covered.


Programme
=========

There will be 9 invited talks, by the following speakers:

Aurore Alcolei, Université Paris Est Creteil
Marcelo Fiore, University of Cambridge
Simon Forest, Aix-Marseille Université
Jim Laird, University of Bath
Paul-André Melliès, CNRS & Université Paris Cité
Hugo Paquet, Inria & ENS Paris
Glynn Winskel, Queen Mary University of London

... and more TBA.


There will also be a few slots (6 30-min slots) for contributed talks.
We invite authors of contributed talks to send their proposals (titles
and abstracts) to the organizers: pierre.clairambault@cnrs.fr,
lionel.vaux@univ-amu.fr

Best,
Pierre Clairambault et Lionel Vaux Auclair


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4653 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-01-31 20:53 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-01-31 13:58 Workshop "Advances in Interactive and Quantitative Semantics", 26-28 mai 2025, CIRM Pierre Clairambault

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).