SSTiC 2013

Professors and courses
Divyakant Agrawal, Santa Barbara, [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures
Shun-ichi Amari, Riken, [introductory] Information Geometry and Its Applications
James Anderson, Chapel Hill, [intermediate] Scheduling and Synchronization in Real-Time Multicore Systems
Pierre Baldi, Irvine, [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences
Yoshua Bengio, Montréal, [introductory/intermediate] Deep Learning of Representations
Stephen Brewster, Glasgow, [advanced] Multimodal Human-Computer Interaction
Bruno Buchberger, Linz, [introductory] Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. Foundations and Applications
Rajkumar Buyya, Melbourne, [intermediate] Cloud Computing
Jan Camenisch, IBM Zurich, [intermediate] Cryptography for Privacy
John M. Carroll, Penn State, [introductory] Usability Engineering and Scenario-based Design
Jeffrey S. Chase, Duke, [intermediate] Trust Logic as an Enabler for Secure Federated Systems
Larry S. Davis, College Park, [intermediate] Video Analysis of Human Activities
Paul De Bra, Eindhoven, [intermediate] Adaptive Systems
Marco Dorigo, Brussels, [introductory] An Introduction to Swarm Intelligence and Swarm Robotics
Paul Dourish, Irvine, [introductory] Ubiquitous Computing in a Social Context
Max J. Egenhofer, Maine, [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences
Richard M. Fujimoto, Georgia Tech, [introductory] Parallel and Distributed Simulation
David Garlan, Carnegie Mellon, [advanced] Software Architecture: Past, Present and Future
Mario Gerla, Los Angeles, [intermediate] Vehicle Cloud Computing
Georgios B. Giannakis, Minnesota, [advanced] Sparsity and Low Rank for Robust Data Analytics and Networking
Ralph Grishman, New York, [intermediate] Information Extraction from Natural Language
Mark Guzdial, Georgia Tech, [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science
Francisco Herrera, Granada, [intermediate] Imbalanced Classification: Current Approaches and Open Problems
Paul Hudak, Yale, [introductory] Euterpea: From Signals to Symphonies Using Haskell
Syed Ali Jafar, Irvine, [intermediate] Interference Alignment
Niraj K. Jha, Princeton, [intermediate] FinFET Circuit Design
George Karypis, Minnesota, [introductory] Introduction to Parallel Computing: Architectures, Algorithms, and Programming
Aggelos K. Katsaggelos, Northwestern, [intermediate/advanced] Sparsity-based Advances in Image Processing
Arie E. Kaufman, Stony Brook, [advanced] Advances in Visualization
Carl Kesselman, Southern California, [intermediate] Biomedical Informatics and Big Data
Hugo Krawczyk, IBM Research, [intermediate] An Introduction to the Design and Analysis of Authenticated Key Exchange Protocols
Pierre L'Ecuyer, Montréal, [intermediate] Quasi-Monte Carlo Methods in Simulation: Theory and Practice
Laks V. S. Lakshmanan, British Columbia, [intermediate/advanced] Information and Influence Spread in Social Networks
Wenke Lee, Georgia Tech, [introductory] DNS-based Monitoring of Malware Activities
Maurizio Lenzerini, Roma La Sapienza, [intermediate] Ontology-based Data Integration
Ming C. Lin, Chapel Hill, [introductory/intermediate] Physically-based Modeling and Simulation
Jane W.S. Liu, Academia Sinica, [intermediate] Critical Information and Communication Technologies for Disaster Preparedness and Response
Nadia Magnenat-Thalmann, Nanyang Tech, [introductory] Modelling and Animating Virtual Humans
Satoru Miyano, Tokyo, [intermediate] How to Hack Cancer Systems with Computational Methods
Aloysius K. Mok, Austin, [introductory/advanced] From Real-time Systems to Cyber-physical Systems
Daniel Mossé, Pittsburgh, [intermediate] Asymmetric Multicore Management
Hermann Ney, Aachen, [intermediate/advanced] Probabilistic Modelling for Natural Language Processing - with Applications to Speech Recognition, Handwriting Recognition and Machine Translation
Cathleen A. Norris, North Texas and Elliot Soloway, Ann Arbor, [introductory] Primary & Secondary Educational Computing in the Age of Mobilism
Jeff Offutt, George Mason, [intermediate] Cutting Edge Research in Engineering of Web Applications
David Padua, Urbana, [intermediate] Parallel Programming with Abstractions
Bijan Parsia, Manchester, [introductory] The Semantic Web: Conceptual and Technical Foundations
Massoud Pedram, Southern California, [intermediate] Energy Efficient Architectures and Information Processing Systems
Jian Pei, Simon Fraser, [intermediate/advanced] Mining Uncertain and Probabilistic Data for Big Data Analytics
Charles E. Perkins, FutureWei, [intermediate/advanced] Beyond 4G
Prabhakar Raghavan, Google, [introductory/intermediate] Web Search and Advertising
Sudhakar M. Reddy, Iowa, [introductory] Design for Test and Test of Digital VLSI Circuits
Phillip Rogaway, Davis, [introductory/intermediate] Provably Secure Symmetric Encryption
Gustavo Rossi, La Plata, [intermediate] Topics in Model Driven Web Engineering
Kaushik Roy, Purdue, [introductory/intermediate] Low-energy Computing
Robert Sargent, Syracuse, [introductory] Validating Models
Douglas C. Schmidt, Vanderbilt, [intermediate] Patterns and Frameworks for Concurrent and Networked Software
Bart Selman, Cornell, [intermediate] Fast Large-scale Probabilistic and Logical Inference Methods
Mubarak Shah, Central Florida, [intermediate/advanced] Visual Crowd Surveillance
Ron Shamir, Tel Aviv, [introductory] Revealing Structure in Disease Regulation and Networks
Micha Sharir, Tel Aviv, [introductory/intermediate] Geometric Arrangements and Incidences: Algorithms, Combinatorics, and Algebra
Satinder Singh, Ann Arbor, [introductory/advanced] Reinforcement Learning: On Machines Learning to Act from Experience
Dawn Xiaodong Song, Berkeley, [introductory] Selected Topics in Computer Security
Daniel Thalmann, Nanyang Tech, [intermediate] Simulation of Individuals, Groups and Crowds and Their Interaction with the User
Mike Thelwall, Wolverhampton, [introductory] Sentiment Strength Detection for the Social Web
Julita Vassileva, Saskatchewan, [introductory/intermediate] Engaging Users in Social Computing Systems
Philip Wadler, Edinburgh, [introductory] Topics in Lambda Calculus and Life
Yao Wang, Polytechnic New York, [introductory/advanced] Video Compression: Fundamentals and Recent Development
Gio Wiederhold, Stanford, [introductory] Software Economics: How Do the Results of the Intellectual Efforts Enter the Global Market Place
Ian H. Witten, Waikato, [introductory] Data Mining Using Weka
Limsoon Wong, National Singapore, [introductory/intermediate] The Use of Context in Gene Expression and Proteomic Profile Analysis
Michael Wooldridge, Oxford, [introductory] Autonomous Agents and Multi-Agent Systems
Ronald R. Yager, Iona, [introductory/intermediate] Fuzzy Sets and Soft Computing
Philip S. Yu, Illinois Chicago, [advanced] Mining Big Data
Justin Zobel, Melbourne, [introductory/intermediate] Writing and Research Skills for Computer Scientists

SSTiC 2013 Registration SSTiC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain