|
SAC
2010 is offering eight half-day tutorials on Monday March 22, 2010
to all registered SAC attendees. Tutorials
are free of charge. However, there is a minimum registration fee
of US$49 to cover 2 coffee breaks and a social luncheon that the
tutorials committee is planing that day for all tutorial attendees.
Attendees are welcome to attend a morning and afternoon tutorials
of their choice. Handouts will be available online before the conference.
Registered attendees need to bring their own copies of the handouts
(printed or electronic) to the tutorials. No handouts are provided
during the tutorials. All tutorials are half-day long.
Registration
Fee:
Registration
fees covers
2 coffee breaks and a social luncheon planned for all tutorial attendees.
|
Registration
Type
|
Registered
|
Flat
Fee
|
| ACM/SIGAPP
Member |
By
1/20/2010
|
US$49
|
| Non-Member |
By
1/20/2010
|
US$49
|
| Student |
By
1/20/2020
|
US$49
|
Contact
Information:
For questions or inquiries about SAC 2010
Tutorials, please contact the Tutorial Chair:
Boi
Faltings (Ecole Polytechnique Federale de Lausanne)
E-mail:
boi.faltings@epfl.ch
Offered
Tutorials:
|
Monday
March 22, 2010 - 9:00AM -
12:30PM
(Coffee Break: 10:30 - 11:00am)
|
T1: Engineering
Safety- and Security-Related Requirements for Software-Intensive
Systems
Handout:
T1-Handout
(copyrighted
materials. The copyright belongs to the tutorial presenters
unless otherwise stated)
Donald
G. Firesmith and Richard Librizzi
Software Engineering Institute
Pittsburgh, PA 15213-2612 USA
Email: dgf@sei.cmu.edu
|
T2: Data
Stream Mining: From Theory to Applications and From Stationary
to Mobile
Handout:
T2-Handout
(copyrighted materials. The copyright
belongs to the tutorial presenters unless otherwise stated)
Joao
Gama
Researcher at the Laboratory of Artificial Intelligence and
Computer Science
University of Porto
Portugal
Shonali
Krishnaswamy
Senior Lecturer in the Faculty of Information Technology
Deputy Director of the Centre for Distributed Systems and
Software Engineering
Monash University
Australia
Mohamed
Medhat Gaber
Research fellow
Monash University
Australia
|
T3: Satisfiability:
Algorithms, Applications and Extensions
Handout:
T3-Handout
(copyrighted materials. The copyright
belongs to the tutorial presenters unless otherwise stated)
Javier
Larrosa
Universitat Polit´ecnica de Catalunya
Barcelona, Spain
Email: larrosa@lsi.upc.edu
Ines
Lynce
IST/INESC-ID, Technical University of Lisbon
Lisbon, Portugal
Email: ines@sat.inesc-id.pt
Joao
Marques-Silva
CSI/CASL, University College Dublin
Dublin, Ireland
Email: jpms@ucd.ie
|
T4: Uncertainty Quantification
and Uncertainty Reduction Techniques for Scientific Simulations
Handout:
T4-Handout
(copyrighted materials. The copyright
belongs to the tutorial presenter unless otherwise stated)
Haiyan
Cheng
Computer Science Department
Willamette University
Salem, Oregon, USA
Email: hcheng@willamette.edu
|
|
Tutorials
Social Luncheon: 12:30pm - 2:00pm
|
|
