Home Abstract Members Information Systems Documents Links |
PresentationASAP is a Franco-Austrian research project centered around the use of schemata in automated deduction. It is hosted by the Laboratory of Informatics of Grenoble (LIG, CAPP team) and by the Vienna University of Technology (Theory and Logic Group), under the supervision of N. Peltier and A. Leitsch. ASAP is funded by the French National Research Agency (ANR-09-BLAN-0407-01) and by the Austrian Science Fund (FWF). See also the Austrian webpage of the project |
This web page has been created and is maintained by N. Peltier