[TYPES/announce] 3 RA positions and 2 PhD positions for Web Services, London, Uk

S The researcher at Imperial (Ref: NY 12 08: duration up to 28 months) will work with Dr Nobuko Yoshida and the researchers at QMUL (Post 2/Ref08518/KR: duration 2/3 years) will work with Dr Kohei Honda. All postdoctoral applicants should have experience of research in programming language semantic

[TYPES/announce] Call for papers: Fourth Symposium on Compositional Structures (SYCO 4)

Hadzihasanovic, Kyoto University Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Martti Karvonen, University of Edinburgh Kohei Kishida, Dalhousie University (chair) Andre Kornell, University of California, Davis Martha Lewis, University of Amsterdam Samuel Mimram, École Pol

[TYPES/announce] Second Call for Papers: Fourth Symposium on Compositional Structures (SYCO 4)

Gogioso, University of Oxford Amar Hadzihasanovic, Kyoto University Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Martti Karvonen, University of Edinburgh Kohei Kishida, Dalhousie University (chair) Aleks Kissinger, Radboud University Nijmegen Andre Kornell, University

[TYPES/announce] Final Call for Papers: Fourth Symposium on Compositional Structures (SYCO 4)

Miriam Backens, University of Oxford Ross Duncan, University of Strathclyde and Cambridge Quantum Computing Brendan Fong, Massachusetts Institute of Technology Stefano Gogioso, University of Oxford Amar Hadzihasanovic, Kyoto University Chris Heunen, University of Edinburgh Dominic Horsman, Universi

[TYPES/announce] Call for Participation: Fourth Symposium on Compositional Structures (SYCO 4)

ns • Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF+H • Kenny Courser and John Baez, Structured Cospans • Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards Formalizing and Extending Differential Programming via Tangent Categories • Kohei Kishida, Soroush Rafiee

[TYPES/announce] Final Call for Participation: Fourth Symposium on Compositional Structures (SYCO 4)

ns • Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF+H • Kenny Courser and John Baez, Structured Cospans • Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards Formalizing and Extending Differential Programming via Tangent Categories • Kohei Kishida, Soroush Rafiee

[TYPES/announce] APLAS 2012: Call for Posters and Demos

. If you need more space and facilities, contact the poster chair (aplas2012-poster AT fos.kuis.kyoto-u.ac.jp). * Submission Each presenter should e-mail a 1-2 page abstract in PDF to the poster chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by October 5th 2012. The abstract sh

[TYPES/announce] APLAS 2012: Final Call for Posters and Demos

sion Each presenter should e-mail a 1-2 page abstract in PDF to the poster chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by October 5th 2012. The abstract should include the title, author(s), affiliation(s) and summary of the work. The program of the poster session will be announce

[TYPES/announce] Deadline extended to Feb. 23: MT-CPS 2020

ini, National Institute of Informatics Kohei Suenaga, Kyoto University - Program Committee Houssam Abbas, Oregon State University Shaukat Ali, Simula Research Laboratory Ezio Bartocci, Vienna University of Technology Thao Dang, Verimag Jyotirmoy Deshmukh, University of Southern California Alexan

[TYPES/announce] Postdoc position at Kyoto University, Japan

erested in this position, please follow the link to the detailed call for applications provided below. If you have any questions, please don't hesitate to contact us! [1] Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga: Visualizing Color-Wise Saliency of Black-Box Image Classi

[TYPES/announce] PLACES'10: call for papers

hagen Simon Gay, University of Glasgow Joshua Guttman, The MITRE Corporation and Worcester Polytechnic Institute Kohei Honda (chair), Queen Mary, University of London Alan Mycroft (chair), University of Cambridge Hanne Riis Nielson, The Technical University of Denmark John Reppy, University of Chica

[TYPES/announce] PLACES'10: deadline extension

b 2010 Invited Speakers William Cook, Jayadev Misra (University of Texas, Austin) Program Committee Alastair Beresford, University of Cambridge Marco Carbone, IT University of Copenhagen Simon Gay, University of Glasgow Joshua Guttman, The MITRE Corporation and Worcester Polytechnic Institute Koh

[TYPES/announce] PLACES'10: call for participation

esearchers from divsese fields of programming studies. We cordially invite your participation in this workshop. We attach the basic information below. Very best wishes, Alan and Kohei Co-Chairs of PLACES'10 * Invited Speaker William Cook (University of Texas, Austin) * Programme Morning