Testing

A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
event

Visible to the public  ICST 2017
Mar 13, 2017 7:00 am - Mar 18, 2017 6:00 pm JST

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

ICST is 10 years old! Come join us to celebrate this important milestone for the most prestigious event in our field of Software Testing, Verification and Validation. ICST 2017 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.

event

Visible to the public  ANT-17
May 16, 2017 7:00 am - May 19, 2017 6:00 pm WEST

The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-17)

The goal of the ANT-2017 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in the ambient systems paradigm, infrastructures, models, and technologies that have significant contributions to the advancement of amb

event

Visible to the public  ICLP 2016
Oct 16, 2016 7:00 am - Oct 21, 2016 6:00 pm EDT

32nd International Conference on Logic Programming (ICLP 2016)

News:

The list of accepted papers is available online:
http://software.imdea.org/Conferences/ICLP2016/accepted.html

Invited talks:

forum

Visible to the public CFP NFM 2017: 9th NASA Formal MethodsSymposium

CALL FOR PAPERS

The 9th NASA Formal Methods Symposium (NFM 2017)

May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/

Theme of the Symposium

forum

Visible to the public CFP NFM 2017: 9th NASA Formal MethodsSymposium

CALL FOR PAPERS

The 9th NASA Formal Methods Symposium (NFM 2017)

May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/

Theme of the Symposium