El profesor Jan Rutten, CWI, Ámsterdam, y Universidad Radboud, Nijmegen, que nos visita entre el 11 y el 15 de marzo, impartirá la charla titulada

The method of coalgebra – an overview

el próximo miércoles 13 de marzo de 2013, a las 11.00, en el seminario del Departament d’Àlgebra de la Universitat de València (Facultat de Matemàtiques, 2º piso).

Resumen:

Since the early nineties, coalgebra has become an active area of research in which one tries to understand all kinds of infinite data types, automata, transition systems and dynamical systems from a unifying perspective. The focus of coalgebra is on observable behaviour and one uses coinduction as a central methodology, both for behavioural specifications and to prove behavioural equivalences. These days, one uses coalgebraic techniques in a wide variety of areas, ranging from automata theory to software engineering to ecology. In this talk, we shall illustrate the coalgebraic approach by discussing a number examples, including streams, automata and circuits.

Estáis todos invitados.