* Midlands Graduate School in Foundations of Computing Science [not found] <56B099D4.70305@cs.bham.ac.uk> @ 2016-02-24 12:24 ` Paul B Levy [not found] ` <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org> 1 sibling, 0 replies; 3+ messages in thread From: Paul B Levy @ 2016-02-24 12:24 UTC (permalink / raw) To: categories The 2016 Midlands Graduate School will take place in Birmingham in April. Please let your graduate students know, and anyone else who might be interested in applying. EARLY REGISTRATION (reduced price) until Saturday 5 March Paul Blain Levy ===================================================== Call for Participation MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE MGS 2016 11-15 April 2016, University of Birmingham http://www.cs.bham.ac.uk/~pbl/mgs2016/ OVERVIEW The Midlands Graduate School in the Foundations of Computing Science (MGS) was established in 1999 as a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham, and later Sheffield. It has two main goals: to equip PhD students with a sound basis for their research by deepening their knowledge on the mathematical and conceptual foundations of computing; and to provide a platform for making contacts with established researchers in the field and with their peers who are at a similar stage in their research careers. This year's MGS is hosted by the School of Computer Science at the University of Birmingham. It will start on 11 April and finish on 15 April. Information about previous events can be found at http://www.cs.nott.ac.uk/MGS PROGRAMME MGS 2016 consists of ten courses, each with four or five hours of lectures and exercise sessions. Three of the courses are introductory or core; they should be taken by all participants. The other courses are more advanced or specialised. Participants may select them depending on their interests. This year the invited lectures will be given by Prof Steve Brookes, Carnegie Mellon University. In addition there will be a session in which participants can briefly present and discuss their own research. Core Courses: * Category Theory, Venanzio Capretta, Nottingham * Naive Type Theory, Thorsten Altenkirch, Nottingham * Denotational Semantics, Achim Jung, Birmingham Advanced Courses: * A Denotational Semantics for Weak Memory Concurrency, Steve Brookes, Carnegie Mellon University * Game Semantics, Dan Ghica, Birmingham * Introduction to Coalgebra, Alexander Kurz, Leicester * Security Protocol Verification, Eike Ritter, Birmingham * Linear Logic, Neelakantan Krishnaswami, Birmingham * Distributed Systems and Choreographies, Emilio Tuosto, Leicester * LL and LR Parsing with Abstract Machines, Hayo Thielecke, Birmingham REGISTRATION The early registration deadline for MGS 2016 is Saturday 5 March. The registration fee is ??190 (student/academic rate) or ??290 (anyone else). Instructions for registration can be found at the MGS 2016 website http://www.cs.bham.ac.uk/~pbl/mgs2016/ The registration fee includes coffee breaks and the conference dinner. Lunches can be bought at outlets on campus. ACCOMMODATION We have reserved rooms at the Ibis Budget Hotel, at a price of ??225.50 for 5 nights. There are single rooms (one bed) or triple rooms (two beds) at the same price. Breakfast is an extra ??27.50 per person. TRAVEL MGS 2016 takes place at the School of Computer Science, close to University (Birmingham) railway station. [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ^ permalink raw reply [flat|nested] 3+ messages in thread
[parent not found: <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org>]
* Call for participation: Games for Logic and Programming Languages XI [not found] ` <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org> @ 2016-02-25 4:28 ` Paul Blain Levy 0 siblings, 0 replies; 3+ messages in thread From: Paul Blain Levy @ 2016-02-25 4:28 UTC (permalink / raw) To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8, categories-59hdLBrVOVU, moca-announce-HnE2qM1WCGk4M/bo5TPICw, fom-+I05ep9qJbk3uPMLIKxrzw, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/, galop-dxBOTFGcEFw2EctHIo1CcQ, prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w, wessex-theory-sBK8fsN9CKk2EctHIo1CcQ Dear colleagues, I'm happy to announce a great programme for GaLoP 2016, which takes place on 2-3 April in Eindhoven, Netherlands, as part of ETAPS 2016. http://www.gamesemantics.org **Early registration deadline for ETAPS** this Tuesday (1 March) Sorry for the late announcement! We have John Longley as invited speaker, and a game semantics tutorial (tbc) by Dan Ghica. Accepted papers: Weak memory models using event structures Simon Castellan Partial Evaluation and Normalisation by Traversals Neil Jones and Daniil Berezun A Dialectica-Like Approach to Tree Automata Colin Riba Concrete Data Structures as Dialogue Games Clément Jacq and Paul-André Melliès Relating causal and interleaving concurrent game semantics Pierre Clairambault and Simon Castellan Extraction from classical proofs using game models Valentin Blot Constructing playgrounds: fibred double categories Clovis Eberhart and Tom Hirschowitz Game Semantics for Dependent Types Matthijs Vákár Trace semantics for polymorphic references Guilhem Jaber and Nikos Tzevelekos Game Semantics and the Complexity of Interaction Federico Aschieri Interaction Graphs and Quantitative Semantics Thomas Seiler Data and Functions Types in Ludics Alice Pavaux Games with ordinal sequences of moves W. John Gowers and James D. Laird Probabilistic Games for Differential Privacy Luca Fossati and Marco Gaboardi On Compilation and Call-by-Value Games Ulrich Schöpp Strategies in HO/N games as profunctors Takeshi Tsukada and Kazuyuki Asada Decidability of RML via game semantics Andrzej Murawski **Early registration deadline** Tuesday 1 March (in case you've forgotten) I look forward to seeing you at GaLoP 2016. Best regards, Paul _______________________________________________ FOM mailing list FOM@cs.nyu.edu http://www.cs.nyu.edu/mailman/listinfo/fom ^ permalink raw reply [flat|nested] 3+ messages in thread
* Call for participation: Games for Logic and Programming Languages XI @ 2016-02-25 4:28 Paul Blain Levy 0 siblings, 0 replies; 3+ messages in thread From: Paul Blain Levy @ 2016-02-25 4:28 UTC (permalink / raw) To: types-announce, categories Dear colleagues, I'm happy to announce a great programme for GaLoP 2016, which takes place on 2-3 April in Eindhoven, Netherlands, as part of ETAPS 2016. http://www.gamesemantics.org **Early registration deadline for ETAPS** this Tuesday (1 March) Sorry for the late announcement! We have John Longley as invited speaker, and a game semantics tutorial (tbc) by Dan Ghica. Accepted papers: Weak memory models using event structures Simon Castellan Partial Evaluation and Normalisation by Traversals Neil Jones and Daniil Berezun A Dialectica-Like Approach to Tree Automata Colin Riba Concrete Data Structures as Dialogue Games Cl??ment Jacq and Paul-Andr?? Melli??s Relating causal and interleaving concurrent game semantics Pierre Clairambault and Simon Castellan Extraction from classical proofs using game models Valentin Blot Constructing playgrounds: fibred double categories Clovis Eberhart and Tom Hirschowitz Game Semantics for Dependent Types Matthijs V??k??r Trace semantics for polymorphic references Guilhem Jaber and Nikos Tzevelekos Game Semantics and the Complexity of Interaction Federico Aschieri Interaction Graphs and Quantitative Semantics Thomas Seiler Data and Functions Types in Ludics Alice Pavaux Games with ordinal sequences of moves W. John Gowers and James D. Laird Probabilistic Games for Differential Privacy Luca Fossati and Marco Gaboardi On Compilation and Call-by-Value Games Ulrich Sch??pp Strategies in HO/N games as profunctors Takeshi Tsukada and Kazuyuki Asada Decidability of RML via game semantics Andrzej Murawski **Early registration deadline** Tuesday 1 March (in case you've forgotten) I look forward to seeing you at GaLoP 2016. Best regards, Paul [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2016-02-25 4:28 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <56B099D4.70305@cs.bham.ac.uk>
2016-02-24 12:24 ` Midlands Graduate School in Foundations of Computing Science Paul B Levy
[not found] ` <56B099D4.70305-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org>
2016-02-25 4:28 ` Call for participation: Games for Logic and Programming Languages XI Paul Blain Levy
2016-02-25 4:28 Paul Blain Levy
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).