Bernhard Gramlich

• Address
• Position
• Sprechstunden (office hours): Im Semester Montag, 10:30-12:30, oder nach Vereinbarung
• Lehre (Teaching/Courses) WS 2011 [search for courses of our institute (E185) / the faculty]:
  • Computational Equational Logic, VU 3.0/2.0, SS 2012 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.), European Masters Program in Computational Logic]
  • Semantik von Programmiersprachen / Semantics of Programming Languages, VU 4.5/3.0, SS 2012 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.), Bachelor-Stud. Techn. Inf., European Masters Program in Computational Logic]
  • Formale Modellierung, VU 3.0/2.0, SS 2012 [Informatik-Bachelorstudien]
  • Theoretische Informatik und Logik, VU 6.0/4.0, WS 2011/2012 (nur Prüfungen im SS 2012!) [Informatik-Bachelorstudien]
  • Theoretische Informatik und Logik, VU 6.0/4.0, SS 2012 [Informatik-Bachelorstudien]
  • Formale Methoden der Informatik (alt), VU 6.0/4.0, SS 2010 (nur Prüfungen im SS 2012!) [Informatik-Masterstudien (alt)]
  • Project in Computational Logic, PR 12.0/8.0, SS 2012 [European Masters Program in Computational Logic]
• Research Interests
• Publications (bibtex, abstracts / citations: DBLP, ZMATH, CiteSeer Documents, CiteSeer Citations, CSB, ACM, Google / Google Scholar / most cited authors in comp.sci.)
• Current Professional Activities:
  • IJCAR'12 - 6th International Joint Conference on Automated Reasoning
    Manchester, United Kingdom, June 26 - July 1, 2012
    submission deadline: January 23, 2012 (abstracts) / January 30, 2012 (papers)
  • IJCAR - International Joint Conference on Automated Reasoning
    
  • CADE - International Conference on Automated Deduction
    
• Interesting Conferences & Workshops, Summer Schools, Journals, Special Issues of Journals
• Some local links

Address

Snail:  Bernhard Gramlich
        Technische Universität Wien          |  Vienna University of Technology
        Fakultät für Informatik              |  Faculty of Informatics
        AG Theoretische Informatik und Logik |  Theory and Logic Group        
        Favoritenstr. 9, E185/2
        A-1040 Wien, Austria
E-mail: gramlich@logic.at
WWW:    http://www.logic.at/staff/gramlich
Phone:  +43-1-58801-18544
Fax:    +43-1-58801-18597

Zugang: am besten über Stiege 1, 3. Stock, rechts (Gebäudeplan)

Research Interests

• Term Rewriting and Equational Reasoning / Rewriting Logic
• Automated Termination proofs for Rewrite Systems, e.g. in VMTL
• Declarative / Equational / Functional / Logic / Functional Logic Programming
• Formal Methods / Algebraic Development Techniques
• Specification, Transformation and Verification of Programs
• Automated Reasoning / Automated Deduction / Inductive Theorem Proving
• Strategies in Rewriting and Programming (see e.g. here: WRS workshop series / WRS homepage),
  as well as in Deduction and Proof Engineering

Some local links

Intern | AG 185/2 | Inst. 185 | WWW-Server | Faculty | Coll. | TU | TISS | TUWEL | TUWIS++

LVAs 185/2 | LVAs (TU Wien) | Informatik-Studienpläne | ULV

Bernhard Gramlich