Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Models of computation
• Denotational semantics
• Process calculi
• Matthew Hennessy
• Semantics
• Maurice Nivat
• Bisimulation
• Negation

Conseil Scientifique de la SIF Réunion du 19 Février 2015, Inria Paris Présents : Serge Abiteboul, François Bourdoncle, Gilles Dowek, Christine Froidevaux, Anne-Marie Kermarrec, Maurice Nivat, Jean-Marc Petit, Michel

Source URL: www.societe-informatique-de-france.fr

Complete Papers of Philippe Flajolet assembled by Mark Daniel Ward (version of March 25, [removed]Papers [PF001]–[PF208] Listed by Co-Author

Source URL: aofa.cs.purdue.edu

• Philippe Flajolet
• Maurice Nivat
• National Institute for Research in Computer Science and Control
• Theoretical computer science
• Analytic combinatorics
• Discrete Mathematics
• International Colloquium on Automata
• Languages and Programming
• European Symposium on Algorithms
• Combinatorics
• Mathematics
• Computer science
• Academia

Letter from the President Dear EATCS members, As you might know already, the Council of

Source URL: www.eatcs.org

• Applied mathematics
• International Colloquium on Automata
• Languages and Programming
• European Association for Theoretical Computer Science
• Dijkstra Prize
• Presburger Award
• ACM SIGACT
• Arto Salomaa
• Gödel Prize
• Maurice Nivat
• Computer science
• Theoretical computer science
• Spaceflight