Jean-Raymond Abrial at ICTAC 2015

http://www.ictac2015.co/http://www.ictac2015.co/

One ot the invited speakers :

Jean-Raymond Abrial

Consultant (France)

Jean-Raymond Abrial is a French computer scientist, widely known as the co-inventor of various formal approaches to software specification: Z, B and Event-B.

He is the author of the "B-book" (Cambridge University Press, 1996), which presents the B-Method. More recently, he published the book "Modeling in Event-B: System and Software Engineering" (Cambridge University Press 2010). He was Guest Professor at ETH Zurich from 2004 to 2007, where he led the team developing the Rodin Platform tool for Event-B (funded by the European Project "Rodin"). After that, he was a researcher, also at ETH Zurich, working on the European Project "Deploy" until May 2009.

Jean-Raymond Abrial has been invited to give courses on formal methods in various Chinese Universities (Peking University in Beijing, East China Normal University in Shanghai). Before Zurich, he was a consultant for more than 20 years working in close contact with several industrial companies and universities around the world.

Have we learned from the Wasa disaster ? J.R. Abrial

http://videotorium.hu/en/recordings/details/1674,Have_we_learned_from_the_Wasa_disaster_

• Conference, 2006. September 19 - 20.
• http://www.jaist.ac.jp/~bjorner/ae-is-budapest/

The AE/IS `Charles Simonyi' Symposium: Grand Challenges of Informatics is a major event. Some 14 of the nest computer scientists will, over two days, present challenges within areas of 100% trustworthy software, quantum computing, biocomputing, economics and game theory, and the relations between informatics and mathematics. Thanks to Dr. Simonyi's donation the event will host some 40 young scientists from Central and Eastern European countries.

Death of Jean-Claude Laprie

Dear colleague,

With deep sadness we bring you the news of Jean-Claude

passing away after a battle with cancer, 

Saturday night (October 17).
The funeral arrangements are not settled yet. 

More information will be provided when
available.

TSF group at LAAS