[TYPES/announce] Postdoc in program semantics at Appalachian State University

o welcome. The main tool to be employed is the categorical notion of a fibration, which provide uniform and principled models of very general forms of indexing. The successful hire will work on the funded project with Prof Patricia Johann and collaborating researchers. They will also have the oppo

[TYPES/announce] Postdoc in categorical semantics of data types

terests in applications and/or formalizing computer science theory in, e.g., Agda, are also welcome. The successful hire will work on the funded project with Profs. Patricia Johann and Andrew Polonsky at Appalachian State University, their students, and collaborating researchers. They will als

[TYPES/announce] PhD Position availalble

of Strathclyde, Scotland Applications are invited for one PhD position within the Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter Hancock, Dr. Robert Atkey, and six PhD students

[TYPES/announce] PhD position available at Strathclyde

Information Sciences University of Strathclyde, Scotland Applications are invited for one PhD position within the Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter Hancock

[TYPES/announce] CfP: International Workshop on 75 Years of the Lambda Calculus

ial College Fairouz Kamareddine, Heriot-Watt University Gordon Plotkin, University of Edinburgh Workshop Chairs --- Greg Michaelson, Heriot-Watt University Patricia Johann, University of Strathclyde Programme Committee --- Robert Atkey, University of Strathclyde Dan D

[TYPES/announce] Postdoc Position Available

compensate for less in another. The successful applicant will also be excited about working on fundamental research questions on the themes of parametricity and language-based program verification. They will work with Prof Patricia Johann and project partners, and will also have the opp

[TYPES/announce] MFPS VVVXI First Call for Papers

sity of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (App

[TYPES/announce] MFPS 2nd call for papers - now with speaker info

sity) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (Unive

[TYPES/announce] MFPS final call for papers

an Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara Koenig (Universitaet Duisburg-Essen) Dexter Kozen

[TYPES/announce] update on MFPS 2020

modalities (offline videos, forum, online discussion platform, etc) will be forthcoming. Conference proceedings of the accepted papers will still be published as usual. The final Call for Papers for MFPS is repeated below. Submission deadlines remain unchanged. Best wishes, Patricia Johann

[TYPES/announce] Postdoc opening in categorical semantics

estions on the themes of categorical semantics of data types and parametricity. Interests in applications and/or formalizing computer science theory in, e.g., Agda, are also welcome. The successful hire will work on the funded project with Prof. Patricia Johann at Appalachian State University, he

[TYPES/announce] Postdoc opening in categorical semantics

rules and parametricity for them. Interests in applications and/or formalizing computer science theory in, e.g., Agda, are also very welcome. The successful hire will work on the funded project with Prof. Patricia Johann at Appalachian State University, her students, and collaborating resear

[TYPES/announce] CLOSING DATE 14 January: Postdoc opening in categorical semantics

terests in applications and/or formalizing computer science theory in, e.g., Agda, are also very welcome. The successful hire will work on the funded project with Prof. Patricia Johann at Appalachian State University, her students, and collaborating researchers. The duration of the position is ini

[TYPES/announce] Trends in Functional Programming 2007 -- First Call for Papers

sity of St. Andrews, UK Patricia Johann Rutgers University, USA Hans-Wolfgang Loidl Ludwig-Maximilians Universit?t M?nchen, Germany Rita Loogen Philipps-Universit?t Marburg, Germany Greg Michaelson Heriot-Watt University, UK Marco T. Moraz?n (Chair) Seton Hall

[TYPES/announce] PhD position at University of Strathclyde, Glasgow

University of Strathclyde, Scotland Applications are invited for one PhD position within the newly-formed Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, and Dr. Conor McBride. The funded PhD project

[TYPES/announce] PhD position at University of Strathclyde, Glasgow -- additional opportunity

to send email to both the address in the ad and this one: [EMAIL PROTECTED] Best wishes, Patricia Johann PhD Position in Operational and Categorical Approaches to Parametricity Department of Computer and Information Sciences

[TYPES/announce] PhD position at University of Strathclyde, Glasgow

Information Sciences University of Strathclyde, Glasgow, Scotland Applications are invited for one PhD position within the newly-formed Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, and Dr. Conor McBride

[TYPES/announce] PhD studentship

University of Strathclyde, Scotland Applications are invited for one PhD position within the Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter Hancock, Dr. Robert Atkey, and five PhD