Home
Login
Register
Account
Logout
Categories
CFPs
Post a CFP
Conf Series
My List
Timeline
My Archive
On iPhone
On Android
2026
2027
2026+
all
posted by user:
uhiro
|| 8666 views || tracked by 11 users:
[
display
]
uhiro
,
szschaler
,
navneetwiki
,
kotodama
,
mariachris
,
anthonys
,
sg200677
,
zilong831026
,
agooday2005
,
p_behnam
,
jubnzv
[
hide
]
TACAS 2010 : Sixteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
Conference Series :
Tools and Algorithms for Construction and Analysis of Systems
Link:
http://tacas10.in.tum.de/
When
Mar 20, 2010 - Mar 28, 2010
Where
Paphos, Cyprus
Abstract Registration Due
Oct 1, 2009
Submission Deadline
Oct 8, 2009
Notification Due
Dec 11, 2009
Final Version Due
Jan 4, 2010
Categories
static analysis
formal verification
model checking
Call For Papers
[Empty]
Related Resources
IS 2026
20th International Scientific Conference on Industrial Systems - IS'26
AREA 2026
Agents and Robots for reliable Engineered Autonomy
Digitalization of Financial Systems 2026
Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
ICAANN 2026
6th International Conference on Advanced Algorithms and Neural Networks
COMPUTATION TOOLS 2026
The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
ITSAC 2026
2026 International Conference on Intelligent Transportation Systems and Automation Control
NLBSE Tools 2026
5th International Workshop on Natural Language-based Software Engineering - Tool Competition
