[TYPES/announce] Augusta University: Tenure Tack Position

description summary is below, and is very broad. Harley Eades ( http://metatheorem.org/ , harley.ea...@gmail.com ) and Clément Aubert ( http://spots.augusta.edu/caubert/ , aub...@math.cnrs.fr ) are both assistant professor in CS there, and will be happy to respond to informal inquiries about any aspects

[TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)

website. === ICECREAMERS ===     * Clément Aubert (Augusta University, USA) - aubert (at) math.cnrs.fr     * Cinzia Di Giusto (Université Côte d’Azur, CNRS, I3S, FR) - cinzia.di-giusto (at) unice.fr     * Larisa Safina (Inria, FR) - larisa.safina (at) inria.fr     * Alceste Scalas (Technical

[TYPES/announce] Final CfP (with extended deadline): 15th Interaction and Concurrency Experience (ICE 2022)

according to the standard journal policy, but they will be handled in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported on the ICE website. === ICECREAMERS === * Clément Aubert (Augusta University, USA) - aubert

[TYPES/announce] CfP: 15th Interaction and Concurrency Experience (ICE 2022)

===     * Clément Aubert (Augusta University, USA) - aubert (at) math.cnrs.fr     * Cinzia Di Giusto (Université Côte d’Azur, CNRS, I3S, FR) - cinzia.di-giusto (at) unice.fr     * Larisa Safina (Inria, FR) - larisa.safina (at) inria.fr     * Alceste Scalas (Technical University of Denmark, DK

[TYPES/announce] Reversible Computation 2023: Call for papers

-Universität Giessen, Germany, kut...@informatik.uni-giessen.de)     Uwe Meyer (Technische Hochschule Mittelhessen, Germany, uwe.me...@mni.thm.de) Programme Committee Members     Clément Aubert (Augusta University, USA)     Kamalika Datta (Deutsches Forschungszentrum für künstliche Intelligenz

[TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi

sts, capacities, and recent progresses. The successful applicant will be advised by Clément Aubert, and benefit from an international network of collaborators, as well as from a local, lively, group of PhD students (including but not limited to students working on related formal methods).

[TYPES/announce] Reversible Computation 2023: Call for papers -- Extended deadline

| - Programme Chairs     Martin Kutrib (Justus-Liebig-Universität Giessen, Germany, kut...@informatik.uni-giessen.de)     Uwe Meyer (Technische Hochschule Mittelhessen, Germany, uwe.me...@mni.thm.de) Programme Committee Members     Clément Aubert (Augusta University, USA)     Kamalika Datta

[TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi

definitions that adequately models interesting systems. The original project encompasses many different dimensions, and will be tailored based on mutual interests, capacities, and recent progresses. The successful applicant will be advised by Clément Aubert, and benefit from an internatio

[TYPES/announce] Call For Contributions: The Second Southeast Regional Programming Languages Seminar (SERPL)

and Cyber Sciences, Augusta University Clément Aubert (cochair), Computer and Cyber Sciences, Augusta University Peter Hanukaev (committee member), Computer and Cyber Sciences, Augusta University Neea Rusch (committee member), Computer and Cyber Sciences, Augusta University The chairs can

[TYPES/announce] RC 2024 - call for papers - deadline extension

    Clément Aubert (Augusta University, USA)     Kamalika Datta (German Research Centre for Artificial Intelligence, DFKI Bremen, Germany)     Robert Glück (University of Copenhagen, Denmark)     James Hoey (University of Leicester, UK)     Robin Kaarsgaard (University of Southern Denmark, Denmark

[TYPES/announce] RC 2024 - call for papers

    Clément Aubert (Augusta University, USA)     Kamalika Datta (German Research Centre for Artificial Intelligence, DFKI Bremen, Germany)     Robert Glück (University of Copenhagen, Denmark)     James Hoey (University of Leicester, UK) Robin Kaarsgaard (University of Southern Denmark

[TYPES/announce] ICE 2024: First Call for Papers

in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported on the ICE website. === ICECREAMERS (PC co-chairs) ===     * Clément Aubert (Augusta University, USA) - aub...@math.cnrs.fr     * Cinzia Di Giusto (Université

[TYPES/announce] PhD Positions Available in Formal Methods for Reversible Concurrent Calculi

till in the flux and in need of formal definitions that adequately models interesting systems. The original project encompasses many different dimensions, and will be tailored based on mutual interests, capacities, and recent progresses. The successful applicant will be advised by Cléme

[TYPES/announce] ICE 2024: Third Call for Papers (abstract deadline tomorrow)

was supported by the Dutch Research Council (NWO) under a prestigious VIDI grant entitled “Unifying Correctness for Communicating Software”. === ICECREAMERS (PC co-chairs) === * Clément Aubert (Augusta University, USA) -aub...@math.cnrs.fr * Cinzia Di Giusto (Université Côte d’Azur, CNRS, FR

[TYPES/announce] ICE 2024: Second Call for Papers

-chairs) === * Clément Aubert (Augusta University, USA) -aub...@math.cnrs.fr * Cinzia Di Giusto (Université Côte d’Azur, CNRS, FR) - cinzia.di-giu...@unice.fr * Simon Fowler (University of Glasgow, GB-SCT) -simon.fow...@glasgow.ac.uk * Violet Ka I Pun (Western Norway University