[TYPES/announce] QPL 2014: Call for Papers

(Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS Grenoble) Mehrnoosh Sadrzadeh (QMUL) Peter

[TYPES/announce] Post-doc in Japan: JSPS Postdoctoral Fellowship

- Ichiro Hasuo Lecturer, Dept. Computer Science, The University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro

[TYPES/announce] QPL 2014: 2nd Call for Papers

Dan Browne (UCL) Giulio Chiribella (Tsinghua) Bob Coecke (Oxford, co-chair) Ross Duncan (Strathclyde) Simon Gay (Glasgow) Ichiro Hasuo (Tokyo, co-chair) Chris Heunen (Oxford) Matty Hoban (ICFO) Bart Jacobs (Nijmegen) Viv Kendon (Leeds) Prakash Panangaden (McGill, co-chair) Simon Perdrix (CNRS

[TYPES/announce] QPL 2014: Call for Participation

will be closed on ** Sunday 25 May ** with application for travel support closing earlier on Wednesday 7 May, AoE. Best wishes and hope to see you in Kyoto, QPL 2014 Local Organizers Ichiro Hasuo (chair) Naohiko Hoshino Yoshihiko Kakutani Susumu Nishimura

[TYPES/announce] Post-doc in Japan: JSPS Postdoctoral Fellowship

Postdoctoral Fellowship! There are other funding opportunities for foreign post-docs as well; I myself would be very happy to seek opportunities for promising researchers with similar research interests. Thank you, Ichiro - Ichiro Hasuo Lecturer, Dept. Computer Science, The University of Tokyo http

[TYPES/announce] HSCC 2016: Call for Papers

Technology Research Center, USA Alexandre Donzé, UC Berkeley, USA Martin Fränzle, University in Oldenburg, Germany Antoine Girard, University of Grenoble, France Ichiro Hasuo, University of Tokyo, Japan Jun-ichi Imura, Tokyo Institute of Technology, Japan Franjo Ivancic, Google NY, USA Taylor Johnson, UT

[TYPES/announce] MT-CPS Call for Abstracts (Vienna, April 11 2016)

Grimm, Kaiserslautern University of Technology, Germany Radu Grosu, Vienna University of Technology, Austria Ichiro Hasuo, University of Tokyo, Japan Thomas Klotz, Bosch Sensortec GmbH, Germany Scott Little, Intel, USA Oded Maler, VERIMAG, France Thang Nguyen, Infineon Technologies AG, Austria Dejan

[TYPES/announce] 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

and category theory. For more about the project please visit http://www-mmm.is.s.u-tokyo.ac.jp/eratommsd/about.html About the open positions http://www-mmm.is.s.u-tokyo.ac.jp/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro === Ichiro Hasuo

[TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

, Ichiro === Ichiro Hasuo Nationai Institite of Informatics, Japan http://group-mmm.org/~ichiro/

[TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

== Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org

[TYPES/announce] Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org http://group-mmm.org/~ichiro/

[TYPES/announce] FORMATS 2019 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** apologies for multiple copies. Ichiro *** Call for papers FORMATS 2019 August 26-3 Amsterdam, the Netherlands co-located with CONCUR https://lipn.univ-paris13.fr/formats2019/

[TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems

/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp http://group-mmm.org/~ichiro/

[TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems

/inquire). Best regards, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp http://group-mmm.org/~ichiro/

[TYPES/announce] fwd: 2020 HSCC CfP -- Submissions due October 23

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 23rd ACM International Conference on Hybrid Systems: Computation and Control April 21-24, 2020 Sydney Australia https://berkeleylearnverify.github.io/HSCC_2020/ Hybrid Systems: Computation

[TYPES/announce] ICFEM'20 deadline extended to 17th May 2020

ooke, Canada Lindsay Groves, Victoria University of Wellington, New Zealand Ichiro Hasuo, National Institute of Informatics, Japan Xudong He, Florida International University, United States Zhe Hou, Griffith University, Australia Pao-Ann Hsiung, National Chung Cheng University, Taiwan Fuyuki Ishikawa, Nati

[TYPES/announce] ICFEM 2020: Deadline Extension (24 May)

ooke, Canada Lindsay Groves, Victoria University of Wellington, New Zealand Ichiro Hasuo, National Institute of Informatics, Japan Xudong He, Florida International University, United States Zhe Hou, Griffith University, Australia Pao-Ann Hsiung, National Chung Cheng University, Taiwan Fuyuki Ishikawa, Nati

[TYPES/announce] CFP: 6th Workshop On Monitoring And Testing Of Cyber-physical Systems (MT-CPS 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Sorry for multiple postings] Call for Papers 6th Workshop on Monitoring And Testing Of

[TYPES/announce] post-doc & programmer positions in Tokyo, Japan

, Ichiro == Ichiro Hasuo Associate Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!BZrieZ9BFdwav9IJXEE2J9SUW4Se9KXJ7zF76na_tZjW5MD9i8he0VLcFP4JIOys4AONs0pd3Imx0w$

[TYPES/announce] Postdoc position in Tokyo: model checking and optimization metaheuristics

ted driving, and category theory. The candidate will work closely with Prof. Ichiro Hasuo <https://urldefense.com/v3/__https://group-mmm.org/*ichiro/__;fg!!IBzWLUs!BDZN4rGPRuQkPWQZcGBZBnmH8ZJjFN7noYdQLXvoXdEnxRidC1Otggp1onYqYgQRJpapZnvIjprMSA$ > and a few other team members. It is possible that the

[TYPES/announce] Postdoc & Scientific Programmer Positions in Tokyo

uit of novelties and industrial and social impacts. We look for programmers with a formal logic background. Come join us on the venture! ====== Ichiro Hasuo Professor, National Institute of Informatics i.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp https://urldefense.com/v3/__http://group-mmm.o

[TYPES/announce] (Extended Deadline, May 11 AoE) ATVA 2023 call for papers

(NUST)) * Ichiro Hasuo (National Institute of Informatics) * Jie-Hong Roland Jiang (National Taiwan University) * Ondrej Lengal (Brno University of Technology) * Shang-Wei Lin (Nanyang Technological University) * Doron Peled (Bar Ilan University) * Jakob Piribauer (TU Dresden) * Pavithra Prabhakar (Kansas

[TYPES/announce] [ATVA 2024 CfP] 22nd International Symposium on Automated Technology for Verification and Analysis Call for Papers

!Wh7iNvIdKYStL5UC49D9mxH2OWep5lbTS61WwKGqLHsjaH3VCivCBG9Onj4pe8KEMPM0ZJbYslJheEft74XEwPDaj0Lo$ CONTACT For any questions, please contact the PC chairs: Aina Niemetz (niem...@cs.stanford.edu) S. Akshay (aksha...@cse.iitb.ac.in) Sriram Sankaranarayanan (srir...@colorado.edu) Ichiro Hasuo, General Chair (i.ha

[TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP

c.in) Sriram Sankaranarayanan (srir...@colorado.edu) Ichiro Hasuo, General Chair (i.ha...@acm.org) Best regards, Jie An (Publicity Chair of ATVA 2024) National Institute of Informatics, Tokyo, Japan https://urldefense.com/v3/__htt