[TYPES/announce] Postdoctoral researcher: opening at the University of Cambridge

roadly construed (including compilers, interpreters, proof assistants, static analysers and language tools) Informal enquiries are welcome and should be directed to Dr Jeremy Yallop (jeremy.yal...@cl.cam.ac.uk)

[TYPES/announce] Postdoctoral Position at the University of Cambridge

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Posting on behalf of Neel Krishnaswami] Hello, We have an opening in Cambridge for a postdoctoral position with the ERC Consolidator Grant project TypeFoundry. The TypeFoundry project

[TYPES/announce] Postdoc position at Cambridge in programming with equations

, supercompilation or related techniques - Algebraic structures, universal algebra and categorical algebra Informal enquiries are welcome and should be directed to Dr Jeremy Yallop (jeremy.yal...@cl.cam.ac.uk) Expected starting date: 1 September 2021

[TYPES/announce] Metaprogramming Summer School (August 2019): call for applications

* 30 June: Application and reference letters deadline. * 10 July: Notification of acceptance. * 11 August: Summer school. Further information For any questions relating to the school, please contact the organisers (Jeremy Yallop

[TYPES/announce] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017) http://conf.researchr.org/home/PEPM-2017 Paris, France, January 16th - 17th, 2017 (co-located

[TYPES/announce] PEPM 2017 Final Call for Papers (submission deadline extension: 30th Sep.)

tica, Netherlands) Jeremy Yallop (co-chair) (University of Cambridge, UK)

[TYPES/announce] International summer school on metaprogramming (Cambridge, 8-12 Aug 2016)

and lows of macros in a modern language Jeremy Yallop (University of Cambridge) Staging generic programming Martin Berger (University of Sussex) Foundations of meta-programming José Pedro Magalhães (Standard Chartered

[TYPES/announce] Call for participation: ML 2015

University, USA) Sam Lindley (University of Edinburgh, UK) Moe Masuko (Ochanomizu University, Japan) Adriaan Moors (Typesafe, USA) Scott Owens (University of Kent, UK) Jonathan Protzenko (Microsoft Research, USA) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Jeremy Yallop

[TYPES/announce] CFP: ML 2015

Sulzmann (Karlsruhe University of Applied Sciences, Germany) Jeremy Yallop (University of Cambridge, UK) (PC chair)