Behavior Discussion List


The purpose of this list is to facilitate discussion of subjects related to behavioral aspects of computer science and mathematics. This includes, but is not limited to, various versions of hidden algebra and behavioral equational logic, observational logic, and coalgebra, as well as systems that support them, such as CafeOBJ, BOBJ, and Kumo.

To Join or Leave

If you wish to join us, leave us, or have any question, please send a message to
which points to Grigore Rosu. Please make sure that you give us your name, your email address that you want to add to our list, as well as a pointer to your web page, so we can put a link to it below. Our policy is to list all the members on this web page, but if you don't want your name below please let us know it explicitely. Your message will not be processed automatically.

To Send Messages

To send a message to all members listed below, you can use the address
(the list is moderated).


The list below includes links to members' homepages, where available:
Peter Aczel
Alexandru Baltag
Jon Barwise
Falk Bartels
Jan Bergstra
Michel Bidoit
Samuel Buss
Cristian Calude
Corina Cirstea
Matteo Coccia
Louise Dennis
Razvan Diaconescu
Osher Doctorow
Paco Duran
José Luiz Fiadeiro
Marcelo Fiore
Kokichi Futatsugi
Neil Ghani
Joseph Goguen
Andrew Gordon
Bernhard Gramlich
Peter Gumm
Rolf Hennicker
Hendrik Hilberdink
Jesse Hughes
Shusaku Iida
Shigenori Ioroi
Bart Jacobs
Jean-Pierre Jouannaud
Marco Kick
Joseph R. Kiniry
Paul Klint
Alexander Kurz
Slawomir Lasota
Kai Lin
Dorel Lucanu
Patricia D. L. Machado
Daniel Mahler
Grant Malcolm
Manuel Martins
Chiyo Matsumiya
Michihiro Matsumoto
Jay G. Mersch
José Meseguer
Stefan Milius
Luis Monteiro
Akira Mori
Larry Moss
Peter D. Mosses
Ataru Nakagawa
Chrystopher Nehaniv
Mitsuhiro Okada
Kazuhiro Ogata
Peter Padawitz
Dirk Pattinson
Horst Reichel
Grigore Rosu
Michael Rusinowitch
Jan Rutten
Don Sannella
Toshimi Sawada
Tobias Schröder
Amílcar Sernadas
Gheorghe Stefanescu
Tetsuo Tamai
Andrzej Tarlecki
Youlian Troyanov
Emilio Tuosto
Daniele Turi
Hiroshi Unno
Wiwat Vatanawood
Bogdan Warinschi
Martin Wirsing
Uwe Wolter
James Worrell

24 April 2000