[TYPES/announce] Call for Participation: CSL'23

Elaine Pimentel elaine.pimentel at gmail.com
Mon Dec 19 09:26:37 EST 2022


Call for Participation: CSL'23

February 13-16, 2023 -- Warsaw, Poland

Registration now open: https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/?page_id=696__;!!IBzWLUs!S9sn9GBvgjv0ZFknQYh_vuknUo8ld-4G3DO13duTm6mjNVN69uZ56pWE0MeSWlo-xwhN5czSQCBo28rwpLbjl6C9c_L6ynPW6YyK-tmw$ 
  (Early registration ends 20/01/2023)

******

CSL is the annual conference of the European Association for Computer
Science Logic (EACSL). It is an interdisciplinary conference, spanning
across both basic and application oriented research in mathematical logic
and computer science.

In its 36th edition, CSL'23 will bring 34 research papers, including the
Rasiowa award paper, and the special presentation of the Ackermann award.
It will also feature keynote presentations by Claudia Faggian, Nina
Gierasimczuk, Dale Miller, Michał Pilipczuk and Davide Sangiorgi.

The registration is now open, see CSL'23 website for details --
https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl__;!!IBzWLUs!S9sn9GBvgjv0ZFknQYh_vuknUo8ld-4G3DO13duTm6mjNVN69uZ56pWE0MeSWlo-xwhN5czSQCBo28rwpLbjl6C9c_L6ynPW6cAdIFhP$ .

Location: CSL’23 will be held in person in Warsaw, Poland, from February 13
to February 16, 2023. The conference is hosted by the University of Warsaw.

Co-located workshops (February 17, 2023):

- Logic mentoring workshop (LMW)
- Fixpoints in computer science (FICS)
- SchwentickFest

Organizing Committee:

Bartek Klin (PC co-chair)
Elaine Pimentel (PC co-chair)
Lorenzo Clemente (Organization chair)
Wojciech Czerwiński (Local organization)
Radosław Piórkowski (Local organization)

-- 
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!S9sn9GBvgjv0ZFknQYh_vuknUo8ld-4G3DO13duTm6mjNVN69uZ56pWE0MeSWlo-xwhN5czSQCBo28rwpLbjl6C9c_L6ynPW6Ut-4uob$ 
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221219/14253c69/attachment-0001.htm>


More information about the Types-announce mailing list