List All Pages
EpiConFor (Workshop of Epistemology, Context and Formalism) in Nancy, France, 2009 VTSA 2009 (Summer School of Verification Technologies, Systems and Applications) in Nancy, France,...
Email: bruno -at- logic -dot- at Skype: bruno.wp Personal Blog: http://bruno-wp.blogspot.com/
TU-Wien – Technische Universität Wien [Austria] (2007 - 2009) Ph.D. in Logic Thesis: A General Analysis of Cut-Elimination by CERes Supervisor: Alexander Leitsch TU-Wien – Technische...
Please change this page according to your policy (configure first using Site Manager) and remove this note. Who can join? You can write here who can become a member of this site. Join! So you...
Books Herbrand Sequent Extraction Buy: from Amazon | from Amazon Germany | from me. Papers Resolution Refinements for Cut-Elimination based on Reductive Methods Authors: Stefan Hetzl,...
Invited for the IBM Top Student Recognition Event in Stuttgart. (2006) 2nd Place in the "First GeneralGamePlaying Competition of Dresden, Germany". (2006) Scholarship from Alßan for the European...
Publications Talks Conferences and Workshops Prizes, Grants, Scholarships Software Projects Education Teaching
Members: Moderators Admins
CERes (01/2007 - …). Cut-Elimination by Resolution. at the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität...
Proof Structuring and Compression by Atomic-Cut-Introduction by Resolution (CIRes) In the Seminar of the Theory and Logic Groups of the TU-Wien (Vienna, Austria, November 2009). A General...
Currently… I am not teaching at this moment. Previously… Anglo (High-School) – Piracicaba, SP, Brasil [2000-2001] Lectures of Astronomy, to prepare high-school students for the brasilian...
Admin List all pages Site Manager Contact
My main research activity now takes place in the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität Wien (in Vienna,...
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License