categories - Category Theory list
 help / color / mirror / Atom feed
From: Pierre Clairambault <pierre.clairambault@cnrs.fr>
To: <types-announce@seas.upenn.edu>, <categories@mq.edu.au>,
	<linear-logic@listes.math.cnrs.fr>
Subject: Workshop "Advances in Interactive and Quantitative Semantics", 26-28 mai 2025, CIRM
Date: Fri, 31 Jan 2025 14:58:45 +0100	[thread overview]
Message-ID: <13c96226-4760-417a-bc08-38ca60812e0d@cnrs.fr> (raw)

[-- 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 --]

                 reply	other threads:[~2025-01-31 20:53 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=13c96226-4760-417a-bc08-38ca60812e0d@cnrs.fr \
    --to=pierre.clairambault@cnrs.fr \
    --cc=categories@mq.edu.au \
    --cc=linear-logic@listes.math.cnrs.fr \
    --cc=types-announce@seas.upenn.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).