[TYPES/announce] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris)

date between September 1st 2024 and December 31st 2024, to be negotiated. * Candidates should send their application to Alexis Saurin (alexis dot saurin at irif dot fr) with a subject containing "[RECIPROG post-doc application]". * The application should contain (i) a CV

[TYPES/announce] Deadline extension for FICS Workshop (new deadline: 6/12/2023)

their paper soon: - Paper registration deadline (title and abstract) : Sunday 3/12 (23:59 AoE). - Paper submission deadline : Wednesday 6/12 (23:59 AoE). More info below with the updated cfp. Best, Alexis Saurin IRIF -- CNRS, Université Paris Cité & INRIA Picube https://urldefense.com/v3/__h

[TYPES/announce] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023)

announced below; * Workshop proceedings containing the extended abstracts will be published as an EPTCS volume. Sincerely, Alexis Saurin IRIF -- CNRS, Université Paris Cité & INRIA Picube https://urldefense.com/v3/__https://www.irif.fr/users/saurin/fics2024/index.html__;!!IBz

[TYPES/announce] CFP - FICS Workshop (submission deadline: 1st December 2023)

rina Komendantskaya (Heriot-Watt University, UK) - Denis Kuperberg (CNRS & ENS Lyon, France) - Martin Lange (University of Kassel, Germany) - Christine Paulin-Mohring (Université Paris Saclay, France) - Daniela Petrisan (Université Paris Cité, France) - Alexis Saurin (CNRS & Université Paris Cité, Franc

[TYPES/announce] Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023)

ssue of a journal, as often done for previous editions of the workshop. == Program Committee == Alexis Saurin, PC chair Program committee: to be announced soon == Contact == Alexis Saurin alexis.sau...@irif.fr https://urldefense.com/v3/__https://www.irif.fr/users/saurin/index__;!!IBz

[TYPES/announce] Postdoc position at Paris Diderot University

involving researchers from three french labs: IRIF (Univ Paris Diderot), LIP (ENS Lyon) and LSV (ENS Paris Saclay). It is coordinated by Alexis Saurin (IRIF lab, sau...@irif.fr) and the post-doc position will administratively be hosted by Paris Diderot University. RAPIDO aims at gathering young researchers

[TYPES/announce] PARIS 2018 (FLOC workshop): Deadline extended to *April 25*

lin Riba (ENS Lyon and CNRS) Alexis Saurin(CNRS and Paris Diderot University; co-chair) Alex Simpson (University of Ljubljana) ** Invited speakers: Bahareh Afshari (University of Gothenburg) James Brotherston (University College London) Pierre Hyvernat (Savoie Mont-Blanc University) *

[TYPES/announce] Post-doc in Paris/Lyon/Cachan: Reasoning Programming with Infinite Data.

), LIP (Lyon) and LSV (Cachan). The project is coordinated by Alexis Saurin (PPS lab, sau...@pps.univ-paris-diderot.fr). We are looking for young researchers who can contribute to the research topics of RAPIDO: candidates should hold a PhD in computer science or a closely related field (or be close