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