ETAPS 2016

Welcome at the registration website of ETAPS 2016

April 2-8, 2016, Eindhoven - The Netherlands

Mr. / Ms. *

First name *

Last name *

Affiliation

Country *

Postal code *

Number *

Street *

City *

Email address *

Please indicate your dietary restrictions below (if applicable)

ETAPS main conference registration

Please fill in your personal membership number of EAPLS, EASST, EATCS or ETAPS

Please upload a copy of your student card / letter of enrollment *

Thursday March 31 and Friday April 1
ETAPS Satellite Pre-Event

IFIP WG 1.3

Please choose one of the options below: *

IFIP WG 1.3: IFIP Working Group 1.3 Foundations of System Specification (on invitation only)

Saturday April 2
ETAPS One-Day Pre-Satellite Event

RAC, VerifyThis, VPT, VSSE

Please choose one of the options below: *

RAC: 1st international workshop on Resource Aware Computing

VerifyThis: 5th Verification Competition

VPT: 4th international workshop on Verification and Program Transformation

VSSE: workshop on Verification and Synthesis for Software Evolution

Saturday April 2 and Sunday April 3
ETAPS Two-Day Pre-Satellite Event

CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA

Please choose one of the options below: *

CASSTING: workshop on Games for the Synthesis of Complex Systems

CMCS: 13th international workshop on Coalgebraic Methods in Computer Science

DICE: 7th international workshop on Developments in Implicit Computational Complexity

GaLoP: Games for Logic and Programming Languages XI

GaM: 2nd Graphs as Models workshop

QAPL: 14th international workshop on Quantitative Aspects of Programming Languages and Systems

WRLA: 11th international workshop on Rewriting Logic

Sunday April 3
ETAPS One-Day Pre-Satellite Event

FESCA, FMSPLE, HCVS, HotSpot, SynCop, SENSATION

Please choose one of the options below: *

FESCA: 13th international workshop Formal Engineering Approaches to Software Components and Architectures

FMSPLE: 7th international workshop on Formal Methods and Analysis in Software Product Line Engineering

HCVS: 3rd workshop on Horn Clauses for Verification and Synthesis

HotSpot: 4th workshop on Hot Issues in Security Principles and Trust

SynCop: 3rd international workshop on Synthesis of Complex Parameters

SENSATION: workshop on Design Support for Energy-Aware/Constrained Embedded Systems

Friday April 8
ETAPS Satellite One-Day Post-Event

Bx, CREST, MFSP, PLACES, TERMGRAPH

Please choose one of the options below: *

Bx: 5th international workshop on Bidirectional Transformations

CREST: 1st workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies

MFSP: 6th workshop on Mathematically Structured Functional Programming

PLACES: 9th workshop on Programming Language Approaches for Concurrency and Communication-Centric Software

TERMGRAPH: 9th international workshop on Computing with Terms and Graphs

Additional tickets

ETAPS Pre-Satellite Events dinner Sunday April 3

Extra ticket ETAPS Pre-Satellite Events dinner Sunday April 3

Extra ticket ETAPS reception Monday April 4 (FREE)

Extra ticket ETAPS conference dinner Wednesday April 6

Extra ticket SPIN Symposium dinner Thursday April 7

Note 1 ETAPS Pre-Satellite Event registration does not include the ETAPS Pre-Satellite Events dinner on Sunday.

Note 2 Full ETAPS registration, both Regular and Student, includes the conference dinner on Wednesday.

Note 3 SPIN registration includes SPIN Symposium dinner on Thursday April 7.

I accept the cancellation conditions *

For cancellations before March 1, 2016 a refund will be made taking a fee of €50,00 into account to cover administration and banking costs. After March 1, 2016 no refunds will be made. The registration can be changed to carry another name, if desired. Refund requests can be made by email: conferences@tue.nl.

Some required fields have not been filled out (Overview of regis...).

Overview of registration items:

ETAPS 2016