[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We apologise for any spam. Please distribute widely on internal mailing lists and to other potentially interested parties. Thank you. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= FIRST CALL FOR PARTICIPATION South of England Regional Programming Language Seminar (S-REPLS) Thursday, 30th April 2015 Wolfson College, University of Cambridge =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= S-REPLS is a new and informal meeting for those with a professional interest in programming language theory in the South of England region, whether they be working in industry or academia. The inaugural S-REPLS meeting will be held on Thursday 30th April at Wolfson College, Cambridge. The event is hosted by members of the Computer Laboratory at the University of Cambridge. There will be no charge for the event, though we will appreciate prior notice of attendance for catering purposes. Our invited speaker for the first event is ** Conor McBride (Mathematically Structured Programming Group, Strathclyde) ** Following the invited talk, we will have an afternoon of short talks proferred by the local PLT community interspersed with coffee and food breaks. Talks by PhD students and those working in industry are especially welcome, and we welcome talks by individuals working in any corner of PLT, whether they are symbol pushing homotopy type-theorists or bit-twiddling compiler hackers. We therefore solicit four talks (around 30 minutes, including questions) for our first meeting. Relevant topics of interest include, but are certainly not limited to: * Novel and experimental programming languages, * Mathematical models of programming languages, * New developments in type systems and type theory, * Advances in compiler and parsing technology * Novel optimisations and static analyses, * Programming language design and empirical studies, * Issues surrounding concurrency and parallelism, * Theorem proving applied to PLT, and program verification, * Novel applications of PLT to other subject areas, * etc. To offer a talk, please e-mail dominic.p.mulli...@gmail.com with your name, institution/employer, title and a short abstract. To attend, please fill in the following Doodle poll http://doodle.com/n93sqw86sa7azc3m with your name. For the latest news, more information on the meeting, as well as a full programme of talks in due course, please browse the S-REPLS homepage at: http://bit.ly/1FDUgBj We encourage everybody interested in this or future meetings to sign up to our mailing list. To subscribe, visit: http://www.jiscmail.ac.uk/srepls S-REPLS is organised by Ohad Kammar, Anil Madhavapeddy, Dominic Mulligan and Jeremy Yallop with funding kindly provided by Ocaml Labs.