[TYPES/announce] CFP: AOSD 2011: Perspectives on Modularity

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] N.B. The CFP doesn't explicitly mention types but the subtitle of the next edition of AOSD is Perspectives on Modularity, which has a lot to do with types... --- Atsushi Igarashi Kyoto

[TYPES/announce] Postdoc positions in the Modularity for Supercomputing Project

--- Modularity for supercomputing --- Project Home Page: http://modularity.jp/ Principal Investigator: Shigeru Chiba Collaborators: Hidehiko Masuhara, Naoyasu Ubayashi, Atsushi Igarashi Project Term: October 2011 - March 2017 Appointment: 1 year, can be extended according

[TYPES/announce] APLAS 2016 Final Call for papers (abstract Jun. 12/paper Jun. 17)

lished as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Co-Chairs: Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam) Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam) Program Chair: Atsushi Igarashi (Kyoto Univ

[TYPES/announce] APLAS 2016: Deadline extension

edings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Co-Chairs: Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam) Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam) Program Chair: A

[TYPES/announce] APLAS 2016 Call for papers

ietnam) Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam) Program Chair: Atsushi Igarashi (Kyoto University, Japan) Program Committee: Andreas Abel (Gothenburg University, Sweden) Walter Binder (University of Lugano, Switzerland) Sandrine Blazy (University of Rennes 1 – IRISA, France)

[TYPES/announce] APLAS2016 call for participation

for a First-order Abstract Separation Logic Conference Organizers: General Cochairs Quyet-Thang Huynh, Hanoi University of Science and Technology, Vietnam Viet-Ha Nguyen, Vietnam National University, Vietnam Program Chair Atsushi Igarashi, Kyoto University, Japan Poster Chair Hung Nguyen

[TYPES/announce] APLAS 2016: call for posters (deadline extension)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Posters - Deadline extended [Please accept our apologies for duplicates] 14th Asian Symposium on Programming Languages and Systems Hanoi, Vietnam, November 21-23, 2016 More

[TYPES/announce] PEPM 2019: Deadline extended to Oct. 19

ons related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Manuel Hermenegildo (http://cliplab.org/herme/) and Atsushi Igarashi (http://www.fos.kuis.ky

[TYPES/announce] PEPM 2019 Final Call for Posters/Demos

available at: http://sigplan.org/Resources/Author/ and sent by email to the programme co-chairs, Manuel Hermenegildo and Atsushi Igarashi, at: manuel.hermenegi...@imdea.org, igara...@kuis.kyoto-u.ac.jp Please also include in the email: * a short summary of the abstract (in plain text

[TYPES/announce] PEPM 2019 Call for Posters, Demos, and Participation

/ and sent by email to the programme co-chairs, Manuel Hermenegildo and Atsushi Igarashi, at: manuel.hermenegi...@imdea.org, igara...@kuis.kyoto-u.ac.jp Please also include in the email: * a short summary of the abstract (in plain text), * the type(s) of proposed presentation (poster and/or demo

[TYPES/announce] Open position: Lecturer in Computer Science (non-tenured, 3--5 yrs, deadline 2020-04-27)

applications from female and handicapped candidates. -- Atsushi Igarashi Graduate School of Informatics Kyoto University Yoshida-Honmachi, Sakyo-ku Kyoto 606-8501,Japan e-mail: igara...@kuis.kyoto-u.ac.jp TEL: +81-75-753-4953 FAX: +81-75-753-4954

[TYPES/announce] Extended deadline: FLOPS 2022, 16th International Symposium on Functional and Logic Programming

anaGunma University, Japan Michael HanusKiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng MuAcademia Sinica

[TYPES/announce] Call for Workshop Proposals for 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2023 : The Art, Science, and Engineering of Programming March 13-17, 2023, Tokyo, Japan

[TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University

secure IoT systems that follow the concept of "zero trust architecture", dubbed ZT-IoT systems. It consists of four research teams, and one of the teams is led by Atsushi Igarashi, Kyoto University, investigating applications of formal verification or programming language techniques