Death of Robin Milner

"Robin Milner, FRS FRSE
Professor Emeritus of Computer Science
It is with great sadness that we note the death of Robin Milner.
Robin worked at the Computer Laboratory in Cambridge from 1995 onwards, serving as Head of the Laboratory 1996–1999. Before that, he worked at the University of Edinburgh 1973–1994, where he was founding Director of the Laboratory for Foundations of Computer Science (LFCS). He was awarded the Turing Award in 1991.
Robin played a leading role in the development of many areas of Computer Science, focussing especially on its mathematical foundations but always with a sharp eye on practice. His intellectual legacy includes:

• machine-assisted proof construction with the LCF approach, underpinning the HOL and Isabelle/HOL provers;
• the design and formal definition of programming languages, especially of Standard ML, including work on type safety, type inference and module systems;
• models of concurrent computation, particularly with the CCS and Pi-Calculus process calculi and their theories of compositional reasoning; and
• the bigraph model of mobile informatic processes with its applications to bioinformatics and pervasive computing.

These provide the basis and tools for a great deal of current research, by many people worldwide.
Always an inspirational teacher and colleague, and a warm-hearted man, he will be greatly missed."

Robin Milner visited Nantes on 2007 for a conference.

http://www.cl.cam.ac.uk/misc/obituaries/milner/

Invited Speaker 2010

3rd International Conference
From Research to Teaching Formal Methods:
The B Method (TFM-B'10)
June 7, 2010,  Nantes, France

Pierre Castéran 

http://www.labri.u-bordeaux.fr/perso/casteran/ 

Commandes latex pour B, Latex commands for B

Nous donnons le code ASCII et en face la commande Latex

• : \in
• /: \notin
• <: \subseteq
• /<:
• ><
• => \implies
• % \lambda
• ; \comp
• \/ \cup
• /\ \cap
• & \land
• or \lor
• ! \forall
• # \exists
• --> \fun
• +-> \pfun
• >--> \bij
• <--> \rel
• |-> \mapsto
• |> \rres
• <| \dres
• ||> \nrres
• <|| \ndrres
• >+-> \pbij
• +->> \psurj
• >+-> \pinj
• -->> \surj
• >--> \inj
• == \defs
• <-- \leftarrow
• || \parallel
• /= \neq
• <= \leq
• {} \emptyset
• * \times (produit cartésien, cartesian product)

B in Brazil

Sacomã station in Sao Paulo is now equipped with the COPPILOT System
Since January 10 2010, the new Sacomã station (Line 2 - green) in Brazil
 is open to the public since its inauguration by Governor Jose Serra in  Sao Paulo..