Symposium

event

Visible to the public  SETTA 2017
Oct 23, 2017 7:00 am - Oct 25, 2017 6:00 pm CST

The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)

October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/

Invited Speakers

  • Cliff Jones (Newcastle University)
  • Rupak Majumdar (Max Planck Institute for Software Systems)
  • Sanjit Seshia (University of California, Berkeley)

Program Chairs:

event

Visible to the public  LOPSTR 2017
Oct 10, 2017 7:00 am - Oct 12, 2017 6:00 pm CEST

27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

(co-located with PPDP 2017)

event

Visible to the public  ASYNC 2017
May 21, 2017 5:00 pm - May 24, 2017 6:00 pm CDT

23rd IEEE International Symposium on Asynchronous Circuits and Systems

May 21-24 2017, San Diego, California, US

The International Symposium on Asynchronous Circuits and Systems (ASYNC) is the premier forum for researchers to present their latest findings in the area of asynchronous design. Besides a regular paper track, the conference will also hold a special industrial papers track and a "fresh ideas" workshop. The symposium will be hosted in San Diego, California, US, in May 21-24 2017.

Keynote Speakers

event

Visible to the public  ISSTA 2017
Jul 14, 2017 5:15 pm - 6:15 pm CDT


The ACM SIGSOFT International Symposium on Software Testing and

event

Visible to the public  GandALF 2017
Sep 20, 2017 7:00 am - Sep 22, 2017 6:00 pm CEST

The Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017)

The aim of GandALF 2017 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

The topics covered by the conference include, but are not limited to, the following:

event

Visible to the public  2017 Safe and Secure Systems and Software Symposium (S5)
Aug 01, 2017 7:00 am - Aug 03, 2017 6:00 pm EDT

Registration for the 2017 Safe and Secure Systems and Software Symposium (S5) to be held from 1-3 August at the Crowne Plaza Dayton, Dayton, Ohio (near Wright Patterson Air Force Base) is Now OPEN!

Safe and Secure Systems and Software Symposium (S5)

The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2017 Safe and Secure Systems and Software Symposium (S5) on 1 - 3 August 2017 at The Crowne Plaza Dayton, Ohio. Please mark your calendars!

event

Visible to the public  PATMOS 2017
Sep 25, 2017 7:00 am - Sep 27, 2017 6:00 pm EEST

27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)

25 - 27 September 2017 | Thessaloniki, Greece | http://patmos2017.web.auth.gr

PATMOS is Technically Sponsored by IEEE CASS. The conference proceedings will be included in the IEEE Xplore Digital Library.

event

Visible to the public  SAS 2017
Aug 30, 2017 7:00 am - Sep 01, 2017 6:00 pm EDT

24th Static Analysis Symposium (SAS 2017)

OBJECTIVE

event

Visible to the public  ESTIMedia 2017
Oct 19, 2017 7:00 am - Oct 20, 2017 6:00 pm KST

15th IEEE/ACM Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2017)

A next edition of the symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia) will be organized in 2017. The workshop will be held as part of the Embedded Systems Week (www.esweek.org). The papers will be published in the ACM digital library.

event

Visible to the public  TIME 2017
Oct 16, 2017 5:30 pm - Oct 18, 2017 6:30 pm CEST

24th International Symposium on Temporal Representation and Reasoning (TIME 2017)

Mons (Belgium) | 16-18 October 2017 | http://informatique.umons.ac.be/time2017/

Aims and scope