Bernhard Gramlich

• Address
• Position
• Sprechstunden (office hours): Nach Vereinbarung
• Lehre (Teaching/Courses) SS 2013 [search for courses of our institute (E185) / the faculty]:
  • Computational Equational Logic, VU 3.0/2.0, SS 2013 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.), European Masters Program in Computational Logic]
  • Formale Modellierung, VU 3.0/2.0, SS 2013 [Informatik-Bachelorstudien]
  • Theoretische Informatik und Logik, VU 6.0/4.0, SS 2013 [Informatik-Bachelorstudien]
  • Project in Computational Logic, PR 12.0/8.0, SS 2013 [European Masters Program in Computational Logic]
  • Seminars, Praktical work, Masters thesis (Masterarbeit), PhD thesis (Dissertation), SS 2013
• 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:
  • VSL'14 - Vienna Summer of Logic,
    Vienna, Austria, July 9-24, 2014
  • FroCoS'13 - 9th International Symposium of Combining Systems,
    Nancy, France, September 18-20, 2013
    submission deadline: April 15, 2013 (abstracts) / April 22, 2013 (papers)
  • 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