[TYPES/announce] PhD Position in in Theory and Implementation of Dependently Typed Programming Languages

languages. If you are (know someone who could be) interested, you can find more information about the application process at http://pl.ewi.tudelft.nl/hiring/2020-phd-student-dependent-types/. Best regards, Jesper Cockx

[TYPES/announce] Two Assistant/Associate Professors in Programming Languages - TU Delft

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The TU Delft Department of Software Technology has open positions for two Assistant or Associate Professors in Programming Languages. Deadline for applications: July 15, 2020 Job

[TYPES/announce] Agda Implementors' Meeting XXXIII: Call for talks and participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The thirty-third Agda Implementors' Meeting will take place online from Monday 2020-10-12 to Friday 2020-10-23. The meeting will be organized in a similar way to AIM XXXII, with a reduced

[TYPES/announce] Agda Implementors' Meeting XXXIV: Call for talks and participation

ing me an email with your name, affiliation, and time zone. Please also send me an email if you would like to give a talk, preferably before 2021-05-31. Best regards, Jesper Cockx

[TYPES/announce] Call for Contributions: WITS 2022

, Canada Jesper Cockx, TU Delft, Netherlands (co-chair) Leonardo de Moura, Microsoft Research, USA Richard A. Eisenberg, Tweag, USA (co-chair) András Kovács, Eotvos Lorand U., Hungary Pierre-Marie Pédrot, INRIA, France Aaron Stump, U. of Iowa, USA Niki Vazou, IMDEA, Spain

[TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation

$ or https://urldefense.com/v3/__https://ns.nl__;!!IBzWLUs!Q4B9TjmLihcJ4UbtDzlsYLL3YPhlL0xvo_kyB5kj8jPTFySxvpf4xb6_S78oyo6h28Q3rw7sPSy-ImU8I9oGgvVw5xoKC6MIn3CCnFc$ . ## Organisers - Jesper Cockx (Overall & Content) - Shelly Dawn Stok (Website & Logistics) - Bohdan Liesnikov, Luc

[TYPES/announce] Agda Implementors' Meeting XXXVI: Call for talks and participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The thirty-sixth Agda Implementors' Meeting will take place in Delft, NL from Wednesday, 2023-05-10 to Tuesday, 2023-05-16.Wiki link for more details:

[TYPES/announce] WITS 2023 First Call for Contributions

=== PC Chairs: - Jesper Cockx (Delft University of Technology, The Netherlands) - Richard Eisenberg (Jane Street, USA) Committee Members: - Guillaume Allais (University of Strathclyde, Scotland) - Alexis King (Tweag Software Innovation Lab, France) - Xavier Leroy (Collège de France, France) - Jon

[TYPES/announce] Several assistant/associate professor positions at TU Delft Software Technology

://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/computer-science-open-call. Best regards, Jesper Cockx publickey - jesper@sikanda.be - 0x42DD5655.asc Description: application/pgp-keys signature.asc Description: OpenPGP digital signature

[TYPES/announce] WITS '23 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION Second Workshop on the Implementation of Type Systems August 28th, 2023, Braga, Portugal

[TYPES/announce] WITS 2023 Second Call for Contributions (Deadline in one week!)

Committee === PC Chairs: - Jesper Cockx (Delft University of Technology, The Netherlands) - Richard Eisenberg (Jane Street, USA) Committee Members: - Guillaume Allais (University of Strathclyde, Scotland) - Alexis King (Tweag Software Innovation Lab, France) - Xavier Leroy (Collège de France, France

[TYPES/announce] WITS 2023 Deadline Extended to July 15

after the original deadline): 28st July, 2023 (AoE) * Workshop: 28th August, 2023 (AoE) Submission site: https://wits23.hotcrp.com Best regards, Jesper --- Original Message --- On Friday, June 23rd, 2023 at 10:48 AM, Jesper Cockx wrote

Re: [TYPES/announce] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation

BzWLUs!RYJikNbamJ2ciNFOy4SGomzcSAOdOxsrApxJPEDuHRqB34XR7laV9A8xtH6YMdjr9YNEqAPZVcKeiHJJJCgq-1poaSrc5onzfgf88Mc$ . ## Organisers - Jesper Cockx (Overall & Content) - Shelly Dawn Stok (Website & Logistics) - Bohdan Liesnikov, Lucas Escot, and Jaro Reinders (Local Organizat

[TYPES/announce] TyDe 2024: First call for papers and extended abstracts

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = The Ninth International Workshop on TYPE-DRIVEN DEVELOPMENT

[TYPES/announce] TyDe 2024: Final call for papers and extended abstracts

! Best regards, Jesper Cockx From: Fp-nl on behalf of Jesper Cockx via Fp-nl Sent: Monday, March 25, 2024 14:44 To: types-announce@lists.seas.upenn.edu ; a...@lists.chalmers.se ; coq-c...@inria.fr ; hask...@haskell.org ; idris-l...@googlegroups.com ; fp