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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
**
*** 2 x PhD Positions
***
*** Mathematically Structured Programming Group
***
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
+-+
| |
| Scottish Programming Languages and Verification
)
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
)
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
)
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
[ 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
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
, 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
, 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
10 matches
Mail list logo