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:
roopsha
|| 5883 views || tracked by 10 users:
[
display
]
roopsha
,
clusterying
,
lghn1984
,
wakatani
,
wimmer
,
HybridSystems
,
andreymokhov
,
dariopintor
,
bernardino
,
5RGhj1te
[
hide
]
SAT 2013 : International Conference on Theory and Applications of Satisfiability Testing
Conference Series :
Theory and Applications of Satisfiability Testing
Link:
http://sat2013.cs.helsinki.fi/index.html
When
Jul 8, 2013 - Jul 12, 2013
Where
Helsinki, Finland
Abstract Registration Due
Feb 1, 2013
Submission Deadline
Feb 8, 2013
Notification Due
Apr 3, 2013
Call For Papers
[Empty]
Related Resources
IEA/AIE 2027 2027
The 40th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
STAG 2026
Smart Tools and Applications in Graphics
IEEA--EI 2027
2027 The 16th International Conference on Informatics, Environment, Energy and Applications (IEEA 2027)
ICTIIA 2026
IEEE 3rd International Conference on Technology Innovation and Its Applications (ICTIIA) 2026
