[TYPES/announce] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. Start date: 1 September 2020; End date: 30 August 2023 Postdoctoral Salary Scale: £31,866 to £40,322 per annum PhD funding: covering PhD fees and stipend for 3.5 years Closing date for Postdoctoral applications: 1 June 2020 We encourage interested applicants to contact us informally ASAP. The project has sufficient flexibility to mitigate the effect of COVID-19, i.e. by accommodating later start date and remote working. The project spans several subjects: type theory, automated and interactive theorem proving, security, AI and machine learning, autonomous systems, natural language processing and generation, legal aspects of AI. It will cover two main application areas: autonomous cars and chatbots, drawing from expertise and infrastructure provided by industrial partners working in these two areas. The project has a significant international span, with 12 partners from Academia and Industry in Europe (France, Germany, Israel, the Netherlands, Norway) and the US. Researchers joining this project will have excellent opportunities to travel to international conferences, organise scientific events, spend time with industrial partners, collaborate with academic leaders 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://bentnib.org/ David Aspinall: https://homepages.inf.ed.ac.uk/da/ Burkard Schafer: https://www.law.ed.ac.uk/people/professor-burkhard-schafer Verena Rieser: https://sites.google.com/site/verenateresarieser/
[TYPES/announce] 2 PhD studentships, MSP group, University of Strathclyde, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** *** 2 x PhD Positions *** *** Mathematically Structured Programming Group *** University of Strathclyde *** ** Applications are invited for PhD study on any aspect of functional programming, type theory, logic, category theory, coalgebra etc. Candidates need not have a topic in mind, as we have plenty of ideas! The positions are expected to start on 1 October 2019, is fully funded for UK or EU students and will last for 3 years. The MSP group at the University of Strathclyde contains some marvellous researchers (if we do say so ourselves) and prides itself on its friendly and welcoming atmosphere. Members of the group are Dr Bob Atkey, Dr Ross Duncan, Dr Fredrik Forsberg, Professor Neil Ghani, Dr Clemens Kupke, and Dr Conor McBride. Anyone interested should in the first instance contact Professor Neil Ghani (neil.gh...@strath.ac.uk) and outline their academic background. Applications will be considered on a first come, first served basis. Please distribute to interested parties.
[TYPES/announce] Scottish Programming Languages and Verification Summer School
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ | | | Scottish Programming Languages and Verification Summer School | | The University of Strathclyde, Glasgow, UK, 5--9 August 2019 | | http://www.macs.hw.ac.uk/splv/splv19/ | | | +-+ The inaugural Scottish Programming Languages and Verification Summer School will be held at the University of Strathclyde 5--9 August 2019. The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES === Invited course -- Chung-chieh Shan (Indiana University) "Probabilistic programming" Core courses Phil Wadler (University of Edinburgh) "Programming Language Foundations in Agda" Neil Ghani (University of Strathclyde) "Category Theory" Specialised courses --- Chris Brown (University of St Andrews) "Parallel Programming" Ornela Dardha (University of Glasgow) "Session Types" Conor McBride (University of Strathclyde) "Dependently Typed Programming" Greg Michaelson and Rob Stewart (Heriot-Watt University) "Domain-Specific Languages" PREREQUISITES = The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic. DATES = Early Registration deadline: 4 July 2019. School: Monday 5 August to Friday 9 August 2019. SPONSORSHIP === The summer school is generously sponsored by SICSA, the Scottish Informatics and Computer Science Alliance, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network. We also offer a range of sponsorship opportunities for industry with attractive benefits -- please get in touch if you are interested. REGISTRATION Registration is open at the following address: http://tiny.cc/SPLV19-registration Since the school is sponsored by SICSA, attendance will be *free* for PhD students affiliated with Scottish universities. The registration fees in general are as follows: SICSA student: £0. Academic: £160. Industry: £300. The registration fee covers coffee breaks, lunches and an excursion. ACCOMMODATION = We can offer accommodation in student halls for for students for £170. Alternatively, there are plenty of hotels, hostels or Airbnbs in central Glasgow. FURTHER INFORMATION === More information can be found on the school webpage: http://www.macs.hw.ac.uk/splv/splv19/ Please contact one of the local organisers if you have any questions: - Bob Atkeyrobert.at...@strath.ac.uk - Clemens Kupkeclemens.ku...@strath.ac.uk - Fredrik Nordvall Forsbergfredrik.nordvall-forsb...@strath.ac.uk
[TYPES/announce] Mathematically Structured Functional Programming 2018: Final Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional talk proposal category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: Abstract deadline: 5th April (Thursday) Paper deadline:12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) 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 - University of Strathclyde, UK (co-chair) Jeremy Gibbons- University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. (New this time) We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018.
[TYPES/announce] Mathematically Structured Functional Programming 2018: Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional talk proposal category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: Abstract deadline: 5th April (Thursday) Paper deadline:12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) 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 - University of Strathclyde, UK (co-chair) Jeremy Gibbons- University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. (New this time) We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Full papers (not two page talk abstracts) must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers and talks must be presented at the workshop by at least one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018.
[TYPES/announce] Call for Papers: Mathematically Structured Programming 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: additional short paper category ** ** Deadline: 5th April (abstract), 12th April (paper) ** The seventh workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, just after ETAPS 2016. Important Dates: Abstract deadline: 5th April (Thursday) Paper deadline:12th April (Thursday) Notification: 17th May (Thursday) Final version: 14th June (Thursday) 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 - University of Strathclyde, UK (co-chair) Jeremy Gibbons- University of Oxford, UK Jennifer Hackett - University of Nottingham, UK Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina Shin-ya Katsumata - National Institute of Informatics, Japan Sam Lindley - University of Edinburgh, UK (co-chair) Clare Martin - Oxford Brookes University, UK Shin-Cheng Mu - Academia Sinica, Taiwan Valeria de Paiva - Nuance Communications, US Alexandra Silva - University College London, UK Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Robert Atkey and Sam Lindley if you have any questions about the scope of the workshop. New this time We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages which we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2018.
[TYPES/announce] Off the Beaten Track 2017: Call for Participation
[ 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://popl17.sigplan.org/attending/registration ** Early registration deadline: Saturday 17th Dec 2016 ** ## Invited Speakers - Moa Johansson, Chalmers, Sweden - Alan Blackwell, Cambridge University, UK ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Programme 09:00-10:00 Invited talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs. Moa Johanssen 10:00-10:30 coffee break 10:30-10:55 Can we machine-learn programming language semantics? Dan Ghica, Khulood Alyahya and Victor Patentasu 10:55-11:20 How Far Apart Should Those Programs Be? Ugo Dal Lago 11:20-11:45 Programming Quantum Annealers George Stelle and Scott Pakin 11:45-12:10 Understanding the POSIX Shell as a Programming Language Michael Greenberg 12:10-14:00 lunch 14:00-15:00 Invited Talk: Varieties of Programming Experience Alan Blackwell 15:00-15:25 Bootstrapping the next generation of mathematical social machines Ursula Martin, Alison Pease and Joe Corneli 15:30-16:00 coffee break 16:00-16:25 Designing extensible, domain-specific languages for mathematical diagrams Katherine Ye, Keenan Crane, Jonathan Aldrich and Joshua Sunshine 16:25-16:50 Laziness Boxes You In Jose Manuel Calderon Trilla and Stephen Magill 16:50-17:15 Programming with Epistemic Logic Markus Eger and Chris Martens 17:15-17:40 Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Marco Gaboardi 17:40-18:05 Running Incomplete Programs Ian Voysey, Cyrus Omar and Matthew Hammer
[TYPES/announce] Off the Beaten Track 2017: Final Call for Talk Proposals; deadline extended
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 *** DEADLINE EXTENDED TO 15th November *** 21st January 2017 (co-located with POPL 2017, Paris, France) ## Invited Speakers We an invited speaker for OBT: - Moa Johansson, Chalmers, Sweden with another invited speaker TBC. ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates ** EXTENDED DEADLINE ** * 15th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, 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 Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands
[TYPES/announce] Off the Beaten Track 2017: Call for Talk Proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 21st January 2017 (co-located with POPL 2017, Paris, France) ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates * 10th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, 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 Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands
[TYPES/announce] 6 Month Postdoc Position
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6 Month Postdoc Position Mathematically Structured Programming Group University of Strathclyde Scotland We have the potential to apply for funds for a 6 month post doctoral position. The idea is that the successful candidate would spend those 6 months writing a full scale grant to fund themselves for the next 3 years. The postdoctoral position would be within the Mathematically Structured Programing group at the University of Strathclyde whose research focusses on category theory, 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 extremely short and so any interested candidates should contact me immediately. I can then tell you more about what we would need to do. From more information, please contact: Professor Neil Ghani n...@cis.strath.ac.uk http://personal.cis.strath.ac.uk/~ng/ http://msp.cis.strath.ac.uk/
