[Haskell] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification

disciplines. For further information, and instructions how to apply, please visit: http://laiv.uk/index.php/vacancies/ Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/ Robert Atkey: https://bentnib.org/ David Aspinall: https://homepages.inf.ed.ac.uk/da/ Burkard Schafer: https://www.law.ed.ac.uk

[Haskell] Scottish Programming Languages and Verification Summer School

+-+ | | | Scottish Programming Languages and Verification Summer School | | The University of Strathclyde, Glasgow, UK, 5--9 August 2019 | | http://www.macs.h

[Haskell] Mathematically Structured Functional Programming 2018: Call for Participation

Conor McBride Everybody's Got To Be Somewhere Program Committee: == Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons- University of Oxfor

[Haskell] Mathematically Structured Functional Programming 2018: Final Call for Papers

, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: == Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons- University of Oxford, UK

[Haskell] Mathematically Structured Functional Programming 2018: Call for Papers

, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: == Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey - University of Strathclyde, UK (co-chair) Jeremy Gibbons- University of Oxford, UK

[Haskell] The University of Strathclyde’s Global Talent Programme - Security and Data Sciences

think might be interested. Information about these vacancies and submitting applications can be found at https://www.strath.ac.uk/workwithus/strathclydeglobaltalentprogramme/strategicareas/securitydatasciences/ Best regards Robert Atkey (for Neil Ghani, HoD

[Haskell] Off the Beaten Track 2017: Call for Participation

# Call for Participation: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Registration http://popl17.sigplan.org/attending/registration ** Early registration deadline: Saturday 17th Dec 2016 ** ##

[Haskell] Off the Beaten Track 2017: Final Call for Talk Proposals; deadline extended

ation. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, Universi

[Haskell] Off the Beaten Track 2017: Call for Talk Proposals

d the workshop and give a talk there. There will be no revision process and no formal publication. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot

[Haskell] Lectureship within the MSP group, Strathclyde

heory, and functional programming. The group consists of a number of internationally leading researchers including Professor Neil Ghani, Dr Patricia Johann, Dr Conor McBride, Dr Peter Hancock, Dr Robert Atkey, and our PhD students. While the lectureship is formally in the area of Program Ve

[Haskell] 6 Month Postdoc Position

, Peter Hancock, Robert Atkey and 6 PhD students. The candidate we are looking for should be highly self motivated and appreciate that without beauty, we are lost. Unfortunately, the deadline is extremely short and so any interested candidates should contact me immediately. I can then tell you more