SAC 2013 is offering 6 half-day tutorials on Monday March 18, 2013. Tutorials are free of charge for all registered attendees. However, there is a optional US$15 cover fee for attendees who wish to participate in the Tutorials Social Luncheon. Attendees are welcome to attend morning and afternoon tutorials of their choice. Handouts will be available online right before the conference. No printed handouts are provided during the tutorials. Please bring your copies of the handouts (printed or electronic). Attendees planning to to attend the Social Luncheon can add the "Tutorials Luncheon Package" to their conference registration. For questions or inquiries about the tutorials, please contact the Tutorials Chair

Dr. Denis Wolf
University of Sao Paulo
Sao Paulo, Brazil
e-mail: denis@icmc.usp.br

Schedule:

 
Room A
Room B
Room C
9:00am

T#1: Data Mining from Social and Knowledge Networks

AM Coffee Break: 10:30 - 11:00am

T#2: ZigBee Wireless Sensor and Control Network

AM Coffee Break: 10:30 - 11:00am

T#3: Generating Web Pages Automatically Optimized for Your Smartphone

AM Coffee Break: 10:30 - 11:00am

12:30pm
Social Luncheon for attendees who selected the "Tutorials Luncheon Package" with their registration.
The luncheon event will be held at the conference venue.
2:30pm

T#4: Specification and Proof of Programs with Frama-C

PM Coffee Break: 4:00 - 4:30pm


T#5: Virtualized Networks for Cloud Computing: State-of-the-art and Open Challenges

PM Coffee Break: 4:00 - 4:30pm
f

T#6: Model-based Transition from Requirements to High-level Software Design

PM Coffee Break: 4:00 - 4:30pm


Tutorials Details:

Monday March 18, 2013, 9:00AM - 12:30PM (Coffee Break: 10:30 - 11:00am)

T#1: Data Mining from Social and Knowledge Networks

Handout: T1-Handout
(copyrighted materials. The copyright belongs to the tutorial presenter unless otherwise stated)

Professor Veljko M. Milutinovic
Department of Computer Engineering
School of Electrical Engineering,
University of Belgrade
POB 35-54, 11120 Belgrade, Serbia

vm@etf.rs
http://home.etf.rs/~vm/

Prof. Milutinovic was responsible for the architecture/design of the world's first 200MHz microprocessor, for the US defence agency DARPA, about a decade before Intel (in GaAs technology). Responsible also for a number of applications related to computer intelligence in general, and datamining in partucular. On these two subjects, he published about 50 papers in IEEE journals and about 20 books (for major publishers in the USA: Wiley, Prentice-Hall, North-Holland, etc.). For 7 of his edited books, forewords were written by 7 different Nobel Prize winners, and 3 of his original books (himself as a single author) were bestsellers for their publishers in the USA (Wiley, IEEE CS Press, Kluwer). His Ph.D. is from University of Belgrade; after graduation, for about a decade, he was on the faculty of Purdue University in the USA. He returned to Belgrade in 1990, where he continued to do consulting and product developments for the cutting edge industry in the USA (he has consulted for Intel, Honeywell, IBM, SUN, and others, and he is credited for some of the advanced features in the products of NCR, COMPAQ, Virtual, MainStreetNetworks, and others). His work is referenced extensively in SCI. In the field of computer intelligence, he served on the Scientific Advisory Boards of several start-ups in the USA, and presented a number of preconference and in-house tutorials. He is a Life Member of the ACM, a Fellow of the IEEE, and a Member of Academia Europaea.

Professor Veljko Milutinovic and Associates:
Zoran Babovic
Marko Bajec (University of Ljubljana)
Drazen Draskovic
Viktorija Filipovic
Vladimir Filipovic
Bojan Furlan
Vladisav Jelisavcic
Aleksandar Kartelj
Damjan Komlenac
Aleksandar Mihajlovic
Aleksandra Popovic
Jelica Protic
Goran Rakocevic
Mihailo Tomic

University of Belgrade, Serbia,
vm@etf.rs
http://home.etf.rs/~vm/


T#2:
ZigBee Wireless Sensor and Control Network

Handout: T2-Handout
(copyrighted materials. The copyright belongs to the tutorial presenter unless otherwise stated)

Professor Ataollah Elahi
Professor of Computer Science
Southern Connecticut State University
501 Crescent St. New Haven, CT 06515 , USA

elahia1@southernct.edu

Professor Ata Elahi is a professor of Computer Science at Southern Connecticut State University. Dr. Elahi received his Ph.D. in Electrical Engineering from Mississippi State University in 1982. He is the author of the following textbooks: Network Communication Technology, published by Delmar Thomson learning 2001 Data, Network & Internet Communications Technology, published by Thomson Learning 2006 ZigBee Wireless Sensor and Control Network, published by Prentice Hall, 2010 Dr. Elahi has presented tutorials and workshops on ZigBee Technology at several conferences and corporations


T#3:
Generating Web Pages Automatically Optimized for Your Smartphone

Handout: T3-Handout
(copyrighted materials. The copyright belongs to the tutorial presenter unless otherwise stated)

Professor Hermann Kaindl
Vienna University of Technology, ICT
Gusshausstr. 27-29
A-1040 Vienna, Austria
kaindl @ ict.tuwien.ac.at
http://www.ict.tuwien.ac.at/kaindl

Professor Hermann Kaindl joined the Vienna University of Technology in early 2003 as a full professor. In the same year, he was elected as a member of the University Senate , where he served until 2010. Prior to moving to academia, he was a senior consultant with the division of program and systems engineering at Siemens AG Austria. There he has gained more than 24 years of industrial experience in software development. His current research interests include software and systems engineering focusing on requirements engineering and architecting, and human-computer interaction as it relates to interaction design and automated generation of user interfaces. He has published 5 books and more than 130 refereed papers in journals, books and conference proceedings. He is a Senior Member of the IEEE, a Distinguished Scientist member of the ACM, Fellow of the IARIA and a member of the INCOSE, and is on the executive board of the Austrian Society for Artificial Intelligence.

Monday March 18, 2013, 2:30PM - 6:00PM (Coffee Break: 4:00 - 4:30pm)

T#4: Specification and Proof of Programs with Frama-C

Handout: T4-Handout
(copyrighted materials. The copyright belongs to the tutorial presenter unless otherwise stated)

Professors Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles
CEA, LIST, Software Safety Laboratory, PC 174
91191 Gif-sur-Yvette France
Phone: + 33 1 69 08 71 83
Fax: + 33 1 69 08 83 95

firstname.lastname@cea.fr

Professor Nikolai Kosmatov obtained Ph.D. degree in Mathematics at Saint-Petersburg State University in 2000 and a M.Sc. in Computer Science in Besanc¸on in 2003. His research interests focus on software verification and test generation. He developed the PathCrawler-online.com web service. Nikolai has taught various courses in Mathematics and Computer Science at Saint-Petersburg State University, the University of Orl´eans, the University of Besanc¸on, the University Pierre andMarie Curie in Paris, the RWTH Aachen University in Germany etc. He gave several theoretical courses and exercise sessions on proof of programs in 2009-2012.

Professor Julien Signoles got his PhD from University of Paris 11 in 2006. His research focused on extensions of the ML language, software security, runtime assertion checking and various applications of static analysis. One of the main developers of FRAMA-C, he gave several university and training courses on FRAMA-C, on the existing FRAMA-C analyzers and development of new plugins. In particular, he taught proof of programs in 2010-2012. He participates in many national and international projects related to FRAMA-C.

Professor Virgile Prevosto is a researcher at CEA LIST. He got a PhD in Computer Science from University of Paris 6 in 2003. His research interests include mainly formal methods and static analysis of programs. He is one of the developers of FRAMA-C, and was among the organizers of FRAMA-C training sessions in 2009 (Saclay, France) and 2010 (Berlin, Germany, as part of the Device-Soft project). He also presented FRAMA-C at the Coq Summer School in Beijing in 2009 and during the Static Analysis course he’s giving at ENSIIE ´Evry since 2009/2010.


T#5: Virtualized Networks for Cloud Computing: State-of-the-art and Open Challenges

Handout: T5-Handout
(copyrighted materials. The copyright belongs to the tutorial presenter unless otherwise stated)

Professor Marinho P. Barcellos
INF/UFRGS – Federal University of Rio Grande do Sul
Av. Bento Gonçalves, 9500 - Bloco IV
Porto Alegre, RS – Brazil

marinho@inf.ufrgs.br, marinho@acm.org
http://www.inf.ufrgs.br/~marinho

Professor Marinho P. Barcellos received BSc and MSc degrees in Computer Science from Federal University of Rio Grande do Sul (1989 and 1993, respectively) and PhD degree in Computer Science from University of Newcastle Upon Tyne (1998). In 2003-2004, he worked in a joint project between University of Manchester and British Telecomm research labs on high-performance multicast transport. Since 2008 Prof. Barcellos has been with the Federal University of Rio Grande do Sul (UFRGS), where he is an Associate Professor. He has authored many papers in leading journals and conferences related to computer networks, network and service management, distributed systems, and computer security, also serving as TPC member and chair. He has authored book chapters and delivered several tutorials and invited talks. His work as a lecturer has been consistently distinguished by graduating students. Prof. Barcellos was the appointed chair of the Special Interest Group on Computer Security of the Brazilian Computer Society (CESeg/SBC) 2011-2012. He is a member of SBC, IEEE and ACM. His current research interests are cloud computing data center networks, software- defined networking, information-centric networks and security aspects of those networks. Please see http://www.inf.ufrgs.br/~marinho.


T#6: Model-based Transition from Requirements to High-level Software Design

Handout: T6-Handout
(copyrighted materials. The copyright belongs to the tutorial presenter unless otherwise stated)

Professor Hermann Kaindl
Vienna University of Technology, ICT
Gusshausstr. 27-29
A-1040 Vienna, Austria
kaindl @ ict.tuwien.ac.at
http://www.ict.tuwien.ac.at/kaindl

Professor Hermann Kaindl joined the Vienna University of Technology in early 2003 as a full professor. In the same year, he was elected as a member of the University Senate , where he served until 2010. Prior to moving to academia, he was a senior consultant with the division of program and systems engineering at Siemens AG Austria. There he has gained more than 24 years of industrial experience in software development. His current research interests include software and systems engineering focusing on requirements engineering and architecting, and human-computer interaction as it relates to interaction design and automated generation of user interfaces. He has published 5 books and more than 130 refereed papers in journals, books and conference proceedings. He is a Senior Member of the IEEE, a Distinguished Scientist member of the ACM, Fellow of the IARIA and a member of the INCOSE, and is on the executive board of the Austrian Society for Artificial Intelligence.



ACM


S
A
C

2
0
1
3