|
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
Schedule:
Monday March 18, 2013, 9:00AM - 12:30PM (Coffee Break: 10:30 - 11:00am) T#1: Data Mining from Social and Knowledge NetworksHandout:
T1-Handout Professor
Veljko M. Milutinovic 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: University
of Belgrade, Serbia,
Handout:
T2-Handout Professor
Ataollah Elahi 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
Handout:
T3-Handout Professor
Hermann 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 Professors
Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles 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.
Handout:
T5-Handout Professor
Marinho P. Barcellos 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.
Handout:
T6-Handout Professor
Hermann 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. |
||||||||||||||||
S
A
C
2
0
1
3