Mobility Reading Group
π-calculus, Session Types research at Imperial College

Latest News on Nobuko’s injury

See here

Editorial Work

Professional Activities

  • TGC 2015 Programme Committee Member

    10th International Symposium on Trustworthy Global Computing

  • SPLASH 2015 Programme Committee Member

    ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity

  • CONCUR 2015 Programme Committee Member

    26th Conference on Concurrency Theory

  • CSL 2015 Programme Committee Member

    24th EACSL Annual Conference on Computer Science Logic

  • APLAS 2015 Programme Committee Member

    13th Asian Symposium on Programming Languages and Systems

  • PPDP 2015 Programme Committee Member

    17th International Symposium on Principles and Practice of Declarative Programming

  • ECOOP 2015 Programme Committee Member

    European Conference on Object-Oriented Programming

  • CM SAC 2015 Programme Committee Member

    Coordination Models, Language and Applications - Special track of the 30th ACM Symposium on Applied Computing (SAC'15)

  • EPSRC Member

    Peer Review College

  • PLACES Steering Committee Member

    Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)

  • WS-FM:FASOCC 2014 Programme Committee Member

    11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing

  • MFPS XXX Programme Committee Member

    The Thirtieth Conference on the Mathematical Foundations of Programming Semantics

  • ESOP 2014 Programme Committee Member

    23rd European Symposium on Programming

  • CONCUR 2013 Programme Committee Member

    The 24th International Conference on Concurrency Theory

  • DEBS 2012 Programme Committee Member

    The 6th ACM International Conference on Distributed Event-Based Systems

  • FMOODS/FORTE 2013 Programme Committee Member

    The 15th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 33rd Formal Techniques for Networked and Distributed Systems (FORTE)

  • LICS 2013 Programme Committee Member

    29th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE

  • PLACES 2013 Programme Chair

    The 6th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • TGC 2012 Programme Committee Member

    7th International Symposium on Trustworthy Global Computing

  • DEBS 2012 Programme Committee Member

    The 6th ACM International Conference on Distributed Event-Based Systems

  • POPL 2012 Programme Committee Member

    The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

  • ICDCIT 2012 Programme Committee Member

    The 8th International Conference on Distributed Computing and Internet Technologies

  • TLCA 2011 Programme Committee Member

    The 10th International Conference on Typed Lambda Calculi and Applications

  • FMOODS/FORTE 2011 Programme Committee Member

    The 13th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE)

  • FoSSaCS 2011 Programme Committee Member

    14th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES,

  • ICDCIT 2011 Programme Committee Member

    The 7th International Conference on Distributed Computing and Internet Technologies

  • WS-FM 2011 Programme Committee Member

    the 8th International Workshop on Web Services and Formal Methods

  • WWV 2011 Programme Committee Member

    the 7th International Workshop on Automated Specification and Verification of Web Systems

  • PLACES 2011 Programme Committee Member

    4th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • FMOODS/FORTE 2010 Programme Committee Member

    12th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE)

  • TGC 2010 Programme Committee Member

    The Fifth International Symposium on Trustworthy Global Computing

  • FLOPS 2010 Programme Committee Member

    Tenth International Symposium on Functional and Logic Programming

  • PLACES 2010 Programme Committee Member

    3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • GaLoP 2010 Programme Committee Member

    the 5th International Workshop, Games for Logics and Programming Languages

  • CONCUR 2009 Programme Committee Member

    20th International Conference on Concurrency Theory

  • ICEs 2009 Programme Committee Member

    2nd International Workshop on Interaction and Concurrency Experiences

  • MALLOW-AWESOME'09

    International Multi-Agent Logics, Languages, and Organisations

  • SOFTEM 2009 Programme Committee Member

    35th International Conference on Current Trends in Theory and Practice of Computer Science

  • APLAS 2008 Programme Committee Member

    The Eighth ASIAN Symposium on Programming Languages and Systems

  • CONCUR 2008 Programme Committee Member

    The 19th International Conference on Concurrency Theory

  • PLACES 2008 Programme Committee Co-Chair

    The 1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • POPL 2008 Programme Committee Member

    The 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

  • CONCUR 2007 Programme Committee Member

    the 18th International Conference on Concurrency Theory

  • TGC 2007 Programme Committee Member

    The Third International Symposium on Trustworthy Global Computing

  • MALLOW-AWESOME'07

    International Multi-Agent Logics, Languages, and Organisations

  • FSTTCS 2006 Programme Committee Member

    The 26th International Conference, Foundations of Software Technology and Theoretical Computer Science

  • APLAS 2006 Programme Committee Member

    The Fourth ASIAN Symposium on Programming Languages and Systems

  • SeCRet 2006 Programme Committee Member

    1st International Workshop on Security and Rewriting Techniques

  • CONCUR 2004 Programme Co-Chair

    Fifteenth International Conference on Concurrency Theory

  • FoSSaCs 2005 Programme Committee Member

    Foundations of Software Science and Computation Structures, the European Joint Conferences on Theory and Practice of Software (ETAPS)

  • GT-VC 2005 Programme Committee Member

    Graph Transformation for Verification and Concurrency

  • VQR 2004-2010 Panel Member

    Evaluation of Research Quality (VQR 2004-2010), Italy

  • DCM 2005 Programme Committee Member

    1st International Workshop on New Developments in Computational Models

  • FSTTCS 2002 Programme Committee Member

    The 22nd International Conference, Foundation of Software Technology and Theoretical Computer Science

  • PLI 1999 Programme Committee Member

    Principles, Logics, and Implementations of High-Level Programming Languages

  • OOSDS 1999 Organiser

    Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours

Publications

  • 2015

    Sara Capecchi, Elena Giachino, Nobuko YoshidaGlobal Escape in Multiparty Sessions .To appear in MSCS.
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca PadovaniGlobal Progress for Dynamically Interleaved Multiparty Sessions .To appear in MSCS.
  • 2014

    Kohei Honda, Nobuko Yoshida, Martin BergerControl and the Pi-Calculus .To appear in RTA-TLCA 2014.
    Rumyana NeykovaNobuko YoshidaMultiparty Session Actors . COORDINATION 2014: 131 - 146.
    Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko YoshidaOn the Preciseness of Subtyping in Session Types . PPDP 2014: 146 - 135.
    Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko YoshidaType Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion . FORTE 2014: 1 - 16.
  • 2013

    Fabrizio Montesi, Nobuko YoshidaCompositional Choreographies . CONCUR 2013: 439 - 425.
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko YoshidaInference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions . COORDINATION 2013: 45 - 59.
  • 2012

    Nicholas NgNobuko Yoshida, Xin Yu Niu, Kuen Hung Tsoi, Wayne LukSession Types: Towards safe and fast reconfigurable programming . SIGARCH CAN: 40 (5), 22 - 27.
    Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko YoshidaVerification of MPI Programs Using Session Types . EuroMPI'12: 291 - 293.
    Anders S. Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz HengleinTrustworthy Pervasive Healthcare Services via Multiparty Session Types . FHIES 2012: 124 - 141.
    Marco Carbone, Kohei Honda, Nobuko YoshidaStructured Communication-Centered Programming for Web Services . TOPLAS: 34 (13), 8.
    Silvia Crafa, Daniele Varacca, Nobuko YoshidaEvent Structure Semantics of Parallel Extrusion in the Pi-Calculus . FoSSaCS 2012: 225 - 239.
  • 2011

    Dimitrios KouzapasNobuko Yoshida, Kohei HondaOn Asynchronous Session Semantics . FMOODS/FORTE 2011: 228 - 243.
    Nicholas NgNobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos KryftisSafe Parallel Programming with Session Java . COORDINATION 2011: 110 - 126.
    Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun ChenNobuko YoshidaScribbling Interactions with a Formal Foundation . ICDCIT 2011: 55 - 75.
  • 2010

    Sara Capecchi, Elena Giachino, Nobuko YoshidaGlobal Escape in Multiparty Sessions . FTTCS 2010: 338 - 351.
    Raymond HuDimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei HondaType-Safe Eventful Sessions in Java . ECOOP 2010: 329 - 353.
    Lasse Nielsen, Nobuko Yoshida, Kohei HondaMultiparty Symmetric Sum Types . EXPRESS'10: 121 - 135.
    Daniele Varacca, Nobuko YoshidaTyped event structures and the linear pi-calculus . TCS: 411 (19), 1949 - 1973.
  • 2009

    Marco Carbone, Nobuko Yoshida, Kohei HondaAsynchronous Session Types: Exceptions and Multiparty Interactions . SFM 2009: 187 - 212.
    Dimitris Mostrous, Nobuko Yoshida, Kohei HondaGlobal Principal Typing in Partially Commutative Asynchronous Sessions . ESOP 2009: 316 - 332.
    Rosario Pugliese, Francesco Tiezzi, Nobuko YoshidaA Symbolic Semantics for a Calculus for Service-Oriented Computing . ENTCS: 135 - 164.
    Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko YoshidaObjects and session types . IC 2009: 207 (5), 595 - 641.
    Rosario Pugliese, Francesco Tiezzi, Nobuko YoshidaOn Observing Dynamic Prioritised Actions in SOC . ICALP (2) 2009: 558 - 570.
    Andi Bejleri, Nobuko YoshidaSynchronous Multiparty Session Types . ENTCS: 3 - 33.
    Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko YoshidaType-Directed Compilation for Multicore Programming . ENTCS: 101 - 111.
  • 2008

    Nobuko Yoshida, Kohei Honda, Martin BergerLogical Reasoning for Higher-Order Functions with Local State . CoRR: 4 (4), 68 - 1.
    Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei HondaSession-Based Compilation Framework for Multicore Programming . FMCO 2008: 226 - 246.
    Kohei Honda, Nobuko YoshidaA Unified Theory of Program Logics: An Approach based on the n-Calculus . BCS Int. Acad. Conf. 2008: 259 - 274.
    Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko YoshidaGlobal Progress in Dynamically Interleaved Multiparty Sessions . CONCUR 2008: 418 - 433.
    Marco Carbone, Kohei Honda, Nobuko YoshidaStructured Interactional Exceptions in Session Types . CONCUR 2008: 402 - 417.
    Raymond HuNobuko Yoshida, Kohei HondaSession-Based Distributed Programming in Java . ECOOP 2008: 516 - 541.
    Kohei Honda, Nobuko Yoshida, Marco CarboneMultiparty asynchronous session types . POPL '08: 273 - 284.
    Marco Carbone, Kohei Honda, Nobuko YoshidaTheoretical Aspects of Communication-Centred Programming . ENTCS: 125 - 133.