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

2020-03-25 Thread Robert Atkey
in the field, develop their own research profiles as well as gain experience in other AI and CS 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

[TYPES/announce] 2 PhD studentships, MSP group, University of Strathclyde, UK

2019-06-03 Thread Robert Atkey
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** *** 2 x PhD Positions *** *** Mathematically Structured Programming Group ***

[TYPES/announce] Scottish Programming Languages and Verification Summer School

2019-05-23 Thread Robert Atkey
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ | | | Scottish Programming Languages and Verification

[TYPES/announce] Mathematically Structured Functional Programming 2018: Final Call for Papers

2018-03-31 Thread Robert Atkey
) Workshop: 8th July (Sunday) Invited Speakers: = - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: == Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey

[TYPES/announce] Mathematically Structured Functional Programming 2018: Call for Papers

2018-03-02 Thread Robert Atkey
) Workshop: 8th July (Sunday) Invited Speakers: = - Tamara von Glehn, University of Cambridge, UK - Didier Remy, INRIA, France Program Committee: == Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey

[TYPES/announce] Call for Papers: Mathematically Structured Programming 2018

2018-02-08 Thread Robert Atkey
) Workshop: 8th July (Sunday) Invited Speakers: = - Tamara von Glehn, University of Cambridge, UK - Second speaker to be confirmed Program Committee: == Andreas Abel - Chalmers, Sweden Danel Ahman - INRIA Paris, France Robert Atkey

[TYPES/announce] Off the Beaten Track 2017: Call for Participation

2016-12-15 Thread Robert Atkey
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # 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

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

2016-11-10 Thread Robert Atkey
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-Watt

[TYPES/announce] Off the Beaten Track 2017: Call for Talk Proposals

2016-10-10 Thread Robert Atkey
, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend 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

[TYPES/announce] 6 Month Postdoc Position

2011-08-17 Thread Robert Atkey
, type theory and functional programming. Current staff include Neil Ghani, Patricia Johann, Conor McBride, 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