• behapi.rise@gmail.com
BehAPI

BehAPI

Behavioural Application Program Interfaces

  • About Us
    • Problem and Goals
    • Work-Packages
    • Partners
    • Funding Scheme and Official Web Page
  • Events
    • General Assembly
    • Workshops
    • Summer Schools
    • Calendar
  • Secondments
  • Results
    • Publications
    • Communication & Dissemination
    • Deliverables
    • Tools
  • News

News

  • Home
  • News
  • Page 3
  • BehAPI Admin
  • Posted on August 4, 2020
  • 0

Probabilistic Analysis of Binary Sessions

News

As part of their secondments in the project, BehAPI work package leaders Hernán Melgratti (University of Buenos Aires), Luca Padovani (University of Torino), and Emilio Tuosto (University of Leicester) have

Read More
  • BehAPI Admin
  • Posted on July 27, 2020
  • 0

BehAPI Members at DisCoTec 2020

News

Although this year’s DisCoTec was not held physically in Malta as originally planned, the online version of the conference was a great success, with a large number of participants registering

Read More
  • BehAPI Admin
  • Posted on April 29, 2020
  • 0

Cancellation of BehAPI Workshop at DisCoTec

News

Due to the current situation of Covid-19, the BehAPI Workshop at DisCoTec scheduled for June is regrettably cancelled. We apologise for any inconvenience.

  • BehAPI Admin
  • Posted on March 13, 2020
  • 0

Hans Huttel @ Ixaris, Malta

News

  As part of his secondment at Ixaris in Malta during the first week of February, Hans Huttel gave a talk titled “Typestate Inference for Mungo: Algorithm and Implementation”  to

Read More
  • BehAPI Admin
  • Posted on March 6, 2020
  • 0

Antonio Ravara @ Glasgow, UK

News

On December 19, as part of a workshop in Glasgow of the ABCD project,  António Ravara gave a talk on Behavioural Types for Memory Safety in Mungo. Abstract We present a

Read More
  • BehAPI Admin
  • Posted on February 28, 2020
  • 0

Simon Gay @ NOVA, Portugal

News

As part of his secondment at NOVA, Prof Simon Gay gave a talk titled ‘Cables, Trains and Types’ last October, 2019. Abstract: Many concepts of computing science can be illustrated

Read More
  • BehAPI Admin
  • Posted on February 21, 2020
  • 0

Emilio Tuosto @ NOVA, Portugal

News

As part of his secondment to NOVA, Prof Emilio Tuosto shall be giving a talk about Behavioural APIs and Choroeographic Development on 26th February, 2020. Abstract Choreography envisages distributed coordination

Read More
  • BehAPI Admin
  • Posted on February 17, 2020
  • 0

Adrian Francalanza on Horizon 2020

News

Horizon 2020 ‘Excellent Science’ video, featuring an interview with Adrian Francalanza, project coordinator and University of Malta site leader. On YouTube: On Facebook:  

Posts navigation

Previous 1 2 3 4 … 6 Next

Search

European emblem
Research supported by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement No 778233.

Recent Posts

  • INNCYBER 2023
  • Science in the City 2020
  • European Researchers’ Night 2020

Recent Comments

    Community

    • Register
    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    • Facebook
    • Twitter
    • Instagram

    © 2018-2022 BehAPI

    Designed by Pioneerthemes