The two workshops taking place on Monday September 16, 2013


"Third Workshop of the Amadeus Project on Proof Compression", organized by Pascal Fontaine (Inria Nancy - Grand-Est, Loria, U. de Lorraine) and Bruno Woltzenlogel Paleo (Theory and Logic Group, Vienna University of Technology)
This workshop will take place in room A006 of the LORIA building.


Workshop "Logics for Resources, Processes and Programs", organized by David Pym (University of Aberdeen) and Didier Galmiche (Loria - U. de Lorraine)
This workshop will take place in room B013 of the LORIA building.

Région Lorraine Grand Nancy