Co-located Events at the ISoLA Week:
- RERS - Challenge on practical automata learning
- IT Simply Works – Editorial Meeting (ITSy)
- Graduate/Postgraduate Course on "Soft Skills for IT Professionals in Science and Engineering"
Tracks
- Emerging services and technologies for a converging Telecommunications / Web world in smart environments of the Internet of Things
- Learning Techniques for Software Verification and Validation
- Modeling and Formalizing Industrial Software for Verification, Validation and Certification
- Formal Methods in Model-Driven Development for.Service-Oriented and Cloud Computing
- Tools in Scientific Workflow Composition
- New challenges in the development of critical embedded systems - an "aeromotive" perspective
- Model-based testing for security
- Leveraging formal methods through collaboration
- Web Science
- Formal languages and methods for designing and verifying complex engineering systems
- Software Aspects of Robotic Systems
- Resource and Timing Analysis
- Quantitative Verification in Practice
- Worst Case Traversal Time (WCTT)
- Model Transformation and Analysis for Industrial Scale Validation
- Certification of Software-Driven Medical Devices
- CONNECT: Status and Plan
- EternalS: Mission and Roadmap
Symposium Chair
Tiziana MARGARIA
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Program Chair
Bernhard STEFFEN
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Registration
Please proceed with online registration for the conference by following the steps below:
- Go to www.easyconferences.org, sign in and create an EasyConferences account.
- An activation email will be send to your email account, and once you double click on it you will login to your EasyConferences account.
- Once in the system please click on the "conference tab", select ISoLA 2010 and proceed with registration for the conference.
This is an one-stop-shop software is used for the whole
registration process (www.easyconferences.org) which is very easy
to use, totally secure and can be completed in a few minutes.
Through the registration system, you can select your
registration type, reserve accommodation at the allocated
hotels on conference special rates as well as choose any of the
optional social events and/or services such as airport
transfers and car hire.
The software provides participants with the possibility to
complete the registration process periodically; since
participants may register for the conference and return later
to book further services (subject to availability).
Registration Types
- All registration fees are also inclusive of: Conference information pack, Conference participation, Coffee breaks and Daily lunches.
- Student's registration fees do not include Conference Dinner on 19 October.
- Every ISoLA paper requires at least one full registration(No student registration).
| Registration Type | Proceedings |
Cocktail
on 17 Oct |
Cocktail
on 18 Oct |
Conf. Dinner
on 19 Oct |
|---|---|---|---|---|
| RERS: 17 October (1 day) |
N
|
Y
|
N
|
N
|
| Soft Skills: 16-17 October (2 days) |
N
|
Y
|
N
|
N
|
| Connect internal meeting: 18-19 (2 days) |
N
|
Y
|
Y
|
Y
|
| Any 3 days |
Y
|
Y
|
Y
|
Y
|
| Any 3 days - including Soft Skills |
Y
|
Y
|
Y
|
Y
|
| Any 4 days |
Y
|
Y
|
Y
|
Y
|
| Any 4 days - including Soft Skills |
Y
|
Y
|
Y
|
Y
|
| Any 5 days |
Y
|
Y
|
Y
|
Y
|
| Any 5 days – including Soft Skills |
Y
|
Y
|
Y
|
Y
|
| All 6 days - including Soft Skills |
Y
|
Y
|
Y
|
Y
|
UP TO 19th OF SEPTEMBER - Extended
Due to last minute increased interest, the organizing committee has decided to extend the early registration period up to 19th of September.
| Registration Type | Academic rates in EURO | Non-Academic rates in EURO | Student rates in EURO |
|---|---|---|---|
| RERS: 17 October (1 day) |
120
|
150
|
100
|
| Soft Skills: 16-17 October (2 days) |
320
|
350
|
300
|
| Connect internal meeting: 18-19 (2 days) |
300
|
340
|
220
|
| Any 3 days |
400
|
450
|
300
|
| Any 3 days - including Soft Skills |
500
|
550
|
400
|
| Any 4 days |
480
|
540
|
380
|
| Any 4 days - including Soft Skills |
580
|
640
|
480
|
| Any 5 days |
560
|
630
|
460
|
| Any 5 days – including Soft Skills |
660
|
730
|
560
|
| All 6 days - including Soft Skills |
740
|
810
|
630
|
FROM 20th OF SEPTEMBER
| Registration Type | Academic rates in EURO | Non-Academic rates in EURO | Student rates in EURO |
|---|---|---|---|
| RERS: 17 October (1 day) |
130
|
160
|
130
|
| Soft Skills: 16-17 October (2 days) |
340
|
370
|
320
|
| Connect internal meeting: 18-19 (2 days) |
330
|
370
|
250
|
| Any 3 days |
450
|
500
|
330
|
| Any 3 days - including Soft Skills |
550
|
600
|
430
|
| Any 4 days |
540
|
600
|
420
|
| Any 4 days - including Soft Skills |
640
|
700
|
520
|
| Any 5 days |
610
|
680
|
510
|
| Any 5 days – including Soft Skills |
710
|
780
|
610
|
| All 6 days - including Soft Skills |
800
|
870
|
690
|
OPTIONAL EXTRAS:
- Knossos tour & Conference Dinner ticket – 19 October 2010 at 70Euro per person
- Fish Dinner – 20 October 2010 at 50 Euro per person
- Heraklion Night Out – 21 October at 50 Euro per person