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.
forum

Visible to the public Call for Papers for the 2nd International Workshop GRAPHS AS MODELS (GaM 2016)

Submitted by Anonymous on Fri, 12/04/2015 - 1:51pm

CALL FOR PAPERS

The 2nd International Workshop GRAPHS AS MODELS (GaM 2016)

a Satellite Event of ETAPS 2016,

Eindhoven | 02-03 April 2016 | http://gam2016.swt-bamberg.de

Important Dates

event

Visible to the public  NFM 2016
Jun 07, 2016 7:00 pm - Jun 09, 2016 6:00 pm EDT

Submitted by Anonymous on Fri, 12/04/2015 - 12:38pm

The 8th NASA Formal Methods Symposium (NFM 2016)

McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455

Theme of the Symposium

forum

Visible to the public NFM 2016 - first call for papers

Submitted by Anonymous on Fri, 12/04/2015 - 12:33pm

CALL FOR PAPERS

The 8th NASA Formal Methods Symposium (NFM 2016)

http://crisys.cs.umn.edu/nfm2016 | June 07 - June 09 2016

McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455

Theme of the Symposium

event

Visible to the public  FORTE 2016
Jun 06, 2016 7:00 am - Jun 09, 2016 5:00 pm EEST

Submitted by Anonymous on Wed, 11/18/2015 - 3:53pm

36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016)

Part of the DisCoTec 2016 event

FORTE 2016 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of:

event

Visible to the public  Annual Landin Semantics Seminar
Dec 07, 2015 6:00 pm - 9:00 pm GMT

Submitted by akarns on Wed, 11/18/2015 - 2:58pm

Annual Landin Semantics Seminar: Semantic Families for Cyber-Physical Systems

By Prof. Jan Peleska | jointly organized by FME Europe and BCS-FACS Specialist Group

Venue: BCS, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Book online at: https://events.bcs.org/book/1673/

event

Visible to the public  WRC2016
Jan 19, 2016 7:00 am - 6:00 pm CET

Submitted by Anonymous on Wed, 11/18/2015 - 2:49pm

10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016)

The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers active in domains within the reconfigurable computing area. Its main focus is on reconfigurable architectures, tools and algorithms that facilitate reconfigurable systems and applications tailored for reconfigurable platforms.