No.115 Intensional and extensional aspects of computation: From computability and complexity to program analysis and security

Icon

NII Shonan Meeting Seminar 115

Participants

The (*) mark means a planned talk

Dr. Sebastien Bardin CEA (French Alternative Energies and Atomic Energy Commission)
Prof. Roberto Bruni (*) University of Pisa
Prof. Silvia Ghilezan (*) University of Novi Sad
Prof. Roberto Giacobazzi (*) University of Verona and IMDEA SW Institute
Prof. Roberta Gori University of Pisa
Dr. Chris Heunen (*) University of Edinburgh
Prof. Nao Hirokawa (*) JAIST
Prof. Martin Hoffmann (*) University of Munchen
 Dr. Amar Hadzihasanovic (*)  Kyoto University
Prof. Barry Jay (*) School of Software / University of Technology Sydney
Prof. Neil Jones (*) Cornell University
Prof. Bruce Kapron (*) University of Victoria
Dr. Alex Kissinger (*) Radboud University Nijmegen
Prof. Jean-Yves Marion (*) Nancy University
Prof. Simone Martini (*) University of Bologna
Prof. Stefan Milius (*) Friedrich-Alexander Universität Erlangen-Nürnberg
Prof. Ugo Montanari (*) University of Pisa
Prof. Mizuhito Ogawa JAIST
Prof. Dusko Pavlovic (*) University of Hawaii at Manoa
Prof. Xavier Rival (*) INRIA
Prof. Andre Scedrov (*) University of Pennsylvania
Prof. Tachio Terauchi (*) Waseda University
Prof. Martin Ziegler KAIST

Category: Uncategorized

Tagged:

Comments are closed.