Back to Results
First PageMeta Content
International Joint Conference on Automated Reasoning / International Conference on Automated Reasoning with Analytic Tableaux and Related Methods / Federated Logic Conference


Document Date: 2003-10-08 00:46:01

Open Document

File Size: 34,87 KB

Share Result on Facebook

City

Rome / /

Company

SC’s / /

Country

United States / Ireland / /

Currency

EUR / /

NaturalFeature

Rhine valley / /

Organization

FTP Steering Committee / SC / Security Council / PC / Steering Committee / /

Person

Michael Rusinowitch / David Basin / Chris Ferm¨uller / Bernhard Beckert / Neil Murray / Toby Walsh / Fiora Pirri / Presidency Schmitt / Mel Fitting / Jean Goubault-Larrecq / Didier Galmiche / Uwe Egly / Peter Schmitt / Agostino Fitting / Peter Baumgartner / Marta Cialdea / R. Dyckhoff / /

Position

relevant programme chair / organiser and programme chair / President and Vice-President / Chair / Conference Chair / Secretary / /

ProvinceOrState

South Carolina / /

URL

http /

SocialTag