International Symposium on the Mathematical Foundations of Software Engineering

In Honor of T.S.E. Maibaum on the Occasion of his 70th Birthday and Retirement

The Departamento de Computación at the Universidad Nacional de Rio Cuarto is pleased to host a symposium on the Mathematical Foundations of Software Engineering to honor Prof. T.S.E. "Tom" Maibaum, to celebrate Tom's 70th birthday, his retirement, and his substantial contributions and achievements in the field of Software Engineering.


Tom MaibaumFor over 35 years, Tom's research interests have focused on the theory of specification and its application in various contexts. Initial work in this area consisted of a First-Order Logic approach to specification, a shift in paradigm when compared to the initial algebra approach which was the accepted approach at the time in the community. This line of research addressed questions such as: Why is a specification formalism good or bad for specifying particular kinds of applications? Are there properties of formalisms that can be used to characterize their suitability? What exactly is modularity? A particularly interesting result is the so-called Modularization Theorem, relating properties of modularization of logical specifications with interpolation properties of the logical formalism. Tom's research interests also span the field of Requirements Specification, with some major contributions through the FORTEST PROJECT,  which used Deontic Logic, the logic of legal reasoning, to distinguish prescription from description in the formulation of requirements. Tom's work on Requirements Specification led to component-based modelling, the application of coordination concepts to software architecture, to the modelling of dynamic reconfiguration, the analysis of aspects, and non-functional requirements in terms of architectural transformations. In addition, the use of Deontic Logic in specification led to some work on modelling and analysis of fault tolerance mechanisms. Throughout much of his career, Tom has also pursued an interest in the epistemology of Software Engineering, attempting to understand its fundamentals. A recent manifestation of this can be seen through his work on the foundations of certification and safety/assurance cases in the context of a large collaborative project on software/system certification.


The symposium aims at bringing together researchers working on the formal foundations of software engineering, including mathematical and logical frameworks, methods, and tools, and related areas such as automated analysis. In particular, we seek to provide a venue for Latin American researchers working in these areas, to promote their interaction and collaboration.

The Symposium organizers welcome participation by any members of the scientific community who would like to take part in this important event.


Invited Speakers

Martin WirsingProf. Dr. Dr. h.c. Martin Wirsing vice president of LMU and full professor.
Software and Computational Systems Lab Institute for Informatics.
Ludwig-Maximilians-Universität München (LMU Munich)





Carlo GhezziProf. Dr. Carlo Ghezzi professor and Chair of Software Engineering at the Politecnico di Milano.
Adjunct Professor at the Università della Svizzera italiana, Switzerland.









Organizing Committee

  • Nazareno Aguirre
  • Pablo Castro
  • German Regis
  • Renzo Degiovanni
  • Valentin Cassano
  • Ramiro Demasi
  • Carlos Gustavo Lopez Pombo
  • Marcelo Frias


Location and Registration

Departamento de Computacion, Facultad de Ciencias Exactas, Fisico-quimicas, y Naturales, Universidad Nacional de Rio Cuarto. Rio Cuarto, Cordoba, Argentina.