Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗

Source URL: www.irif.fr

1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

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

• Category theory
• Theoretical computer science
• Mathematics
• Bisimulation
• F-coalgebra
• Coinduction
• Functor
• Coalgebra
• Universal property

Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu

Source URL: people.mpi-inf.mpg.de

• Software engineering
• Computer programming
• Declarative programming
• Recursion
• Theoretical computer science
• Functional programming
• Category theory
• Subroutines
• Corecursion
• Fold
• Coinduction
• Tail call

Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/

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

• Theoretical computer science
• Mathematics
• Software engineering
• Coinduction
• Bisimulation
• Robin Milner
• Type theory
• Simulation preorder

Report on CODATA Activities, Second Quarter of 2003

Source URL: www.codata.info

• Committee on Data for Science and Technology
• Information and communication technologies for development
• Information society
• World Summit on the Information Society
• International Council for Science
• Coinduction

CODATA-Germany Lecture Notes in Information Sciences Risk Models and Applications, 2012 ISBN8 109 pages

Source URL: codata-germany.org

• Functional programming
• Committee on Data for Science and Technology
• Coinduction
• Kremers
• Horst

Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies

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

• Theoretical computer science
• Logic in computer science
• Category theory
• Formal methods
• Bisimulation
• Functional programming
• Coinduction
• Denotational semantics
• F-coalgebra
• Robin Milner
• Type theory
• Weak equivalence

Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe:

Source URL: nwpt07.ifi.uio.no

• Theoretical computer science
• Davide Sangiorgi
• Modeling language
• Object-oriented programming
• Coinduction

International Council for Science (ICSU) CODATA Special 01

Source URL: www.codata.info

• International standards
• Committee on Data for Science and Technology
• Open science
• International Council for Science
• Data publishing
• Mykhailo Zghurovsky
• International System of Units
• Coinduction
• Open data

Compositional Coinduction with Sized Types Andreas Abel Department of Computer Science and Engineering, Gothenburg University, R¨annv¨agen 6, 41296 G¨oteborg, Sweden

Source URL: www2.tcs.ifi.lmu.de