Bernhard Gramlich

• Address
• Position
• Sprechstunden (office hours): Im Semester Montag, 10:30-12:30, oder nach Vereinbarung
• Lehre (Teaching/Courses) WS 2009/2010 [SS 2010, alle LVAs unserer Arbeitsgruppe (E185/2)]:
  • Termersetzungssysteme / Term Rewriting Systems, VU 3.0/2.0, WS 2009/2010 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.), European Masters Program in Computational Logic]
  • Formale Methoden der Informatik, VO 6.0/4.0, WS 2009/2010 + SS 2010 [Informatik-Masterstudien]
  • Theoretische Informatik und Logik, VU 6.0/4.0, WS 2009/2010 [Informatik-Bachelorstudien]
  • Seminare, Praktika, Diplomarbeit, Dissertation, WS 2009/2010 + SS 2010
• 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:
  • IWS'10 - 1st International Workshop on Strategies in Rewriting, Proving, and Programming
    Edinburgh, Scotland, UK, July 9, 2010 (part of FLoC'10)
    submission deadline: March 26, 2010 (extended abstracts)
  • JSC'10 - 5th Junior Scientist Conference,
    Vienna, Austria, April 7-9, 2010
    submission deadline (extended): February 15, 2010 (extended abstracts)
  • RTA'10 - 21st International Conference on Rewriting Techniques and Applications,
    Edinburgh, Scotland, UK, July 11-13, 2010 (part of FLoC'10)
    submission deadline (extended): January 22, 2010 (abstracts) / January 29, 2010 (papers)
  • IJCAR'10 - 5th International Joint Conference on Automated Reasoning,
    Edinburgh, Scotland, UK, July 16-19, 2010 (part of FLoC'10)
    submission deadline: January 15, 2010 (abstracts) / January 22, 2010 (papers)
  • FroCoS - International Symposium on Frontiers of Combining Systems
  • IJCAR - International Joint Conference on Automated Reasoning
• 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
• 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 (see e.g. here)

Some local links

AG 185/2 | Intern | Inst. 185 | WWW-Server | Faculty of Informatics | Colloquium | TNI | TU | TU Links | White Pages | TUWIS | TUWIS++

LVAs 185/2 | Neue Inf.studien | Übergangsbest. | LZK (mit LVA-Kurzbeschr.) | Studienrichtungen & -pläne | ULV der TU Wien

Bernhard Gramlich