Monday, January 28, 2013

[DMANET] SSTiC 2013: 1st announcement



SSTiC 2013

Tarragona, Spain

July 22-26, 2013

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University



SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.


Graduate students from around the world. There are no pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, in the description of some of them reference may be made to specific knowledge background.

SSTiC 2013 is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

Finally, senior researchers will find it fruitful to listen and discuss with people who are main references of the diverse branches of computing nowadays.


At least 8 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.


Palau Firal i de Congressos de Tarragona
Arquitecte Rovira, 2
43001 Tarragona


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
Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences
Matthias Felleisen (Northeastern) [introductory] Programming with Contracts
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 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
David M. Nicol (Urbana) [intermediate] Cyber-security and Privacy in the Power Grid
Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in Engineering of Web Applications
David Padua (Urbana) [intermediate] Data Parallel Programming
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
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
Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web Engineering
Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing
Yousef Saad (Minnesota) [intermediate] Projection Methods and Their Applications
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) [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
Elliot Soloway (Ann Arbor) [introductory] Primary & Secondary Educational Computing in the Age of Mobilism
Dawn Xiaodong Song (Berkeley) [advanced] 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) [intermediate] Engaging Users in Social Computing Systems
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
Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data
Yuanyuan Zhou (San Diego) [intermediate] Building Robust Software
Justin Zobel (Melbourne) [introductory/intermediate] Writing and Research Skills for Computer Scientists


It has to be done on line at

Since a large number of attendees are expected and the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete.


They are the same (a flat rate) for all people by the corresponding deadline. They give the right to attend all courses.


Information about accommodation will be available on the website of the School.


Participants will be delivered a certificate of attendance.


Announcement of the programme: January 26, 2013
Six registration deadlines: February 26, March 26, April 26, May 26, June 26, July 26, 2013


Lilica Voicu:


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

Phone: +34-977-559543
Fax: +34-977-558386


Ajuntament de Tarragona
Diputació de Tarragona
Universitat Rovira i Virgili

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.