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.