[TYPES/announce] Metaprogramming Summer School --- FINAL call for applications

rther information For questions relating to the material of the school, please contact Jeremy Yallop (jeremy.yal...@cl.cam.ac.uk) Ohad Kammar (ohad.kam...@cs.ox.ac.uk) For administrative questions, please contact Gemma Gordon (gg...@cl.cam.ac.uk)

[TYPES/announce] CFP S-REPLS-5 @ University of Oxford

e for informal discussions over coffee. Submissions from industrial professionals and junior researchers (postdocs and students), and description of work in progress are especially welcome. To propose a talk, please send your title and abstract to: Ohad Kammar by 8 December 2016 or earlier (prefe

[TYPES/announce] CFP: S-REPLS-5 @ Oxford

of potential sponsorship opportunities at: Ohad Kammar Past events have had academic, industrial, and government sponsorship for invited speaker costs, catering costs (lunch, dinner, or refreshments during the break). Organising future meetings -- If you would like to

[TYPES/announce] LOLA 2018: First Call-for-Proposals

, Carnegie Mellon University * Patricia Johann, Appalachian State University (co-chair) * Ohad Kammar, University of Oxford (co-chair) * Andrew Kennedy, Facebook * Ori Lahav,Tel Aviv University * Jim Laird,University of Bath * Rasmus Mogelberg, IT

[TYPES/announce] LOLA 2018: Second Call-for-Proposals

, Carnegie Mellon University * Patricia Johann, Appalachian State University (co-chair) * Ohad Kammar, University of Oxford (co-chair) * Andrew Kennedy, Facebook * Ori Lahav,Tel Aviv University * Jim Laird,University of Bath * Rasmus Mogelberg, IT

[TYPES/announce] LOLA 2018: Last Call-for-Proposals

, Appalachian State University (co-chair) * Ohad Kammar, University of Oxford (co-chair) * Andrew Kennedy, Facebook * Ori Lahav,Tel Aviv University * Jim Laird,University of Bath * Rasmus Mogelberg, IT University Copenhagen * Dave Naumann, Stevens

[TYPES/announce] LOLA 2018: Deadline EXTENSION

negie Mellon University * Patricia Johann, Appalachian State University (co-chair) * Ohad Kammar, University of Oxford (co-chair) * Andrew Kennedy, Facebook * Ori Lahav,Tel Aviv University * Jim Laird,University of Bath * Rasmus Mogelberg, IT Unive

[TYPES/announce] 3-year Career Development Fellowship in Computer Science at Balliol College Oxford

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Balliol College of the University of Oxford is currently advertising a 3-year Fellowship in Computer Science: https://www.balliol.ox.ac.uk/balliol-people/vacancies/2018/september/career-deve

[TYPES/announce] LAFI 2019: Languages for Inference --- First Call-for-Proposals

later formal publication. Programme committee co-chairs: Jeffrey Siskind, School of Electrical and Computer Engineering, Purdue University Ohad Kammar, University of Oxford

[TYPES/announce] LAFI 2019: Languages for Inference --- Final Call-for-Proposals

University of Toronto Jeffrey Siskind (co-chair) School of Electrical and Computer Engineering, Purdue University Matthew JohnsonGoogle Brain Ohad Kammar (co-chair) University of Oxford Department of Computer Science Praveen

[TYPES/announce] LAFI 2019: DEADLINE EXTENSION Languages for Inference

University of Montreal Christine Tasson University Paris Diderot David Duvenaud University of Toronto Jeffrey Siskind (co-chair) School of Electrical and Computer Engineering, Purdue University Matthew JohnsonGoogle Brain Ohad Kammar (co

[TYPES/announce] LAFI 2019: Languages for Inference --- Call-for-Participation

Google Brain Ohad Kammar (co-chair) University of Oxford Department of Computer Science Praveen Narayanan Indiana University Ryan Culpepper Czech Technical University Sophia GoldTezos Steven Holtzen University of

[TYPES/announce] Course: Dependently typed metaprogramming (in Agda)

your name and affilliation to Ohad Kammar More information available at: --- http://www.cl.cam.ac.uk/~ok259/agda-course-13/ -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

[TYPES/announce] Fwd: Robin Gandy's Thesis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Robin Gandy's thesis is now freely available at: https://www.repository.cam.ac.uk/handle/1810/245090 This free access has been made possible thanks to the time and effort invested by Mike Y

[TYPES/announce] [HOPE'20] DEADLINE EXTENSION: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (co-organised with ICFP'20)

programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Filip Sieczkowski (e...@cs.uni.wroc.pl<mailto:e...@cs.uni.wroc.pl>) and Ohad Kammar (ohad.kam...@ed

[TYPES/announce] HOPE'21@ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

j.org<mailto:o...@okmij.org>) and Ohad Kammar (ohad.kam...@ed.ac.uk<mailto:ohad.kam...@ed.ac.uk>). * Deadline for talk proposals: **May 6th, 2021** (Thursday) * Notification of acceptance: **June 14th, 2021** (Monday) * Workshop:**August 22nd, 2021**

[TYPES/announce] [EXTENDED deadline] HOPE'21@ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

of a particular topic, please contact the PC chairs, Oleg Kiselyov (o...@okmij.org<mailto:o...@okmij.org>) and Ohad Kammar (ohad.kam...@ed.ac.uk<mailto:ohad.kam...@ed.ac.uk>). * Deadline for talk proposals: **May13th, 2021** (Thursday) * Notification of acceptance: **June 14th

[TYPES/announce] Course: Introduction to Dependently Typed Programming using Agda

- February 28, 2011. Registration ==  Please let us know you are coming so we can prepare accordingly: Ohad Kammar  <  ohad.kammar      at     ed.ac.uk> More information available at: ---  http://homepages.inf.ed.ac.uk/s0894694/agda-course/ -