[TYPES/announce] MFPS 2024: final CFP

rsity) * Achim Jung (University of Birmingham) * Marie Kerjean (CNRS, LIPN, Université Sorbonne Paris Nord) * Robbert Krebbers (Radboud University) * Paul Levy (University of Birmingham) * Michael Mislove (Tulane University) * Daniele Nantes-Sobrinho (Imperial College London) * Alex Simps

[TYPES/announce] CSL 2021 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Types readers may be interested in the online CSL conference, which takes place from Jan 25-28 2021 --- The European Association for Computer Science Logic invites you to participate in

[TYPES/announce] TbiLLC2019: Final call for papers (extended deadline)

Anglia Ruskin) Lutz Schröder (University of Erlangen-Nürnberg) Kerstin Schwabe (Leibniz-ZAS Berlin) Alexandra Silva (UC London) Alex Simpson (co-chair, University of Ljubljana) Luca Spada (University of Salerno) Ronnie B. Wilbur (Purdue University) Fan Yang (University of Helsinki) PUBLICATION INFORMATI

[TYPES/announce] TbiLLC 2019: Call for Papers

dra Silva (UC London) Alex Simpson (co-chair, University of Ljubljana) Luca Spada (University of Salerno) Ronnie B. Wilbur (Purdue University) Fan Yang (University of Helsinki) PUBLICATION INFORMATION Post-proceedings of the symposium will be published in the LNCS series of Springer. IMPORTA

[TYPES/announce] TbiLLC 2019/1st CfP

of Erlangen-Nürnberg) Kerstin Schwabe (Leibniz-ZAS Berlin) Alexandra Silva (UC London) Alex Simpson (co-chair, University of Ljubljana) Luca Spada (University of Salerno) Ronnie B. Wilbur (Purdue University) Fan Yang (University of Helsinki) PUBLICATION INFORMATION Post-proceedings of the symposium

[TYPES/announce] PhD position available

of modelling and reasoning about computational effects. The precise topic is flexible, and will be decided in combination with the student. The PhD will be supervised by Alex Simpson who is Professor of Computer Science at the Faculty of Mathematics and Physics: http://www.fmf.uni-lj.si/si/imenik

[TYPES/announce] 8th Scottish Category Theory Seminar: final programme

financial support. Scottish Category Theory Seminar organisers: Neil Ghani, Tom Leinster, Alex Simpson (local organiser) -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax

[TYPES/announce] 8th Scottish Category Theory Seminar

afterwards, you are requested to email scotc...@cis.strath.ac.uk Thanks to the Glasgow Mathematical Journal Trust for financial support. Best wishes, Scottish Category Theory Seminar organisers: Neil Ghani, Tom Leinster, Alex Simpson -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK

[TYPES/announce] 7th Scottish Category Theory Seminar (now with titles)

...@ed.ac.uk. Thanks to the Glasgow Mathematical Journal Trust for financial support. Best wishes, Scottish Category Theory Seminar organizers: Neil Ghani, Tom Leinster, Alex Simpson -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel

[TYPES/announce] 7th Scottish Category Theory Seminar

Category Theory Seminar organizers: Neil Ghani, Tom Leinster, Alex Simpson -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 651 1426 -- The University

[TYPES/announce] Student funding for Milner Symposium, Edinburgh, 16-18 April 2012

Email: milner-sympos...@inf.ed.ac.uk -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 651 1426 -- The University of Edinburgh is a charitable body

[TYPES/announce] 5th Scottish Category Theory Seminar: Programme

) The meeting is open to all. There is no registration, but, if you intend to come please let us know by email: scotc...@cis.strath.ac.uk For more information, see webpage. This meeting is generously supported by the Glasgow Mathematical Journal Trust. Alex Simpson (local organizer

[TYPES/announce] 4th Scottish Category Theory Seminar

(but is not essential) to send us a short email saying so. Information: http://www.maths.gla.ac.uk/~tl/sct110513.html Contact: scotc...@cis.strath.ac.uk We are generously supported by the Glasgow Mathematical Journal Trust. Tom Leinster (for the organizers: Neil Ghani, TL, Alex Simpson) -- Alex Simpson, LFCS

[TYPES/announce] European Workshop on Computational Effects

Matija Pretnar, University of Ljubljana Sam Staton*, University of Cambridge Janis Voigtlaender*, University of Bonn *to be confirmed ORGANISING COMMITTEE Andrej Bauer, University of Ljubljana Matija Pretnar, University of Ljubljana Alex Simpson, University of Edinburgh -- Alex Simpson, LFCS, School

[TYPES/announce] Scott in Scotland: Tuesday 29th June, Edinburgh

/index.html -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 651 1426 -- The University of Edinburgh is a charitable body, registered in Scotland

[TYPES/announce] SCTS (Edinburgh, 21st May): Programme and call for participation

://homepages.inf.ed.ac.uk/als/SCT/sct100521.html -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 651 1426 -- The University of Edinburgh is a charitable body

[TYPES/announce] PSPL 2010: Programme, registration and student grants

Viktor Vafeiadis (University of Cambridge) * Proof Systems for Hybrid System Logics Andre Platzer (Carnegie Mellon University) Discussion session: * Challenge topics in PSPL Led by Peter O'Hearn and Alex Simpson Contributed talks: * A simple proof system for lock-free

[TYPES/announce] 2nd Scottish Category Theory Seminar

at http://personal.cis.strath.ac.uk/~ng/sct.html If you would like more information about the Scottish Category Theory Seminar, please email scotc...@cis.strath.ac.uk Scottish Category Theory Seminar organisers: Neil Ghani Tom Leinster Alex Simpson -- The University of Edinburgh

[TYPES/announce] Proof Systems for Program Logics 2010: student grants available

26th April 2010. For more details see: http://homepages.inf.ed.ac.uk/als/PSPL2010/ -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: alex.simp...@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als Fax: +44 (0)131 651