This is an old revision of the document!
The scientific activity of APR mainly develops around Algorithms and Languages and several projects exist, with many collaborations
Random Generation ActionIn the field of random generation of structures, Boltzmann model, which comes from analytic combinatorics, shows to be particularly efficient for generating objects obeying complex constraints. The goal of the action “Random Generation” is to develop Boltzmann methods for the automatic generation of tests for intensive and large scale applications, particularly in the context of testing and checking software.
Web, Languages and Coherence ActionThe goal of this action is to design and implement multitarget langages for the Web, compiled for client-server and database, with an objective of coherence. We both develop formal semantics for concurrent and distributed computing, and implement languages using these extensions to design Web applications.
Seminars and working groups
|
Projects in collaboration
LIP6 Projects
APR days
|