Good to know...
Our Digital Conference Management System (COMS) is now available!
Event organizers can use COMS now for:
- registration
- paper submission
- review process
- paper selection
- online conference management
Read more ...
Ask for a free demo
Meetings/Workshops on Software Engineering in Austria
Conference-Service.com offers, as part of our business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events.
Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organizer before making arrangements to participate in an event!
Meeting organizers can submit meetings free of charge for inclusion into the listing.
Select a location:
Australia (3) - Austria (2) - Belgium (2) - Brazil (5) - Canada (6) - China (9) - Cyprus (3) - Czech Republic (5) - Finland (16) - France (7) - Germany (13) - Greece (1) - Iceland (1) - India (3) - Indonesia (1) - Italy (11) - Japan (5) - Netherlands (2) - Poland (1) - Portugal (1) - Spain (10) - Switzerland (2) - Taiwan (1) - Thailand (1) - United Kingdom (4) - United States (26) - Vietnam (1) - ALL COUNTRIES (142)
| 2. |  [ID=134076]Rewriting Techniques and Applications |
| 14 Jul 2008 → 18 Jul 2008; Hagenberg, Austria |
| abstract: Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; Foundations: matching and unification; narrowing; completion techniques; strategies; rewriting calculi, constraint solving; tree automata; termination; combination; Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures; Implementation: implementation techniques; parallel execution; rewrite tools; termination checking; Semantics: equational logic; rewriting logic; rewriting models of programs. |
| weblink: http://www.risc.uni-linz.ac.at/about/conferences/rta2008/ |
View all listed conferences in Austria.
last updated: 03 February 2008
