Abstract :
Presents the welcome message from the conference proceedings.
Keywords :
Awards committees; Certification; Computational complexity; Computer languages; Computer science; Computer security; Fault tolerance; Logic; Synthetic aperture sonar; Testing;
Conference_Titel :
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3746-7
DOI :
10.1109/LICS.2009.4