| When |
27 Aug 2012 through 27 Aug 2012 |
| Where |
Paris, France |
| CFP Deadline |
01 May 2012 (call for papers abstract deadline)
|
| Sponsor |
CNAM |
| Category 1 |
Engineering & Technology
> Computer/Informatics
> Algorithms |
| Category 2 |
Engineering & Technology
> Computer/Informatics
> Software Engineering |
| Keywords |
software, algorithms (cloud tags) |
| Website URL |
http://www.it.uu.se/workshop/infinity2012 |
| Event description |
The aim of the INFINITY workshop is to
provide a forum for researchers
interested in the development of formal
methods and algorithmic techniques
for the analysis of systems with
infinitely many states, and their
application in automated verification of
complex software and hardware
systems.
|
| Posting date |
29 Feb 2012 / 220 views / 11 subscribers |
| Placement |
Feature code 7. Conference organizer may add reciprocal link to this URL for featured listing in blue.
|
