- SIPTA News - lists.sipta.org

Re: [SIPTA] SMPS 2014

by Kreinovich

FYI -----Original Message----- From: Przemysław Grzegorzewski [mailto:pgrzeg(a)ibspan.waw.pl] Soft Methods in Probability and Statistics - SMPS 2014 -------------------------------------------------------------------------- Dear Colleagues, Due to numerous requests from the community we decided to extend the submission deadline for SMPS 2014 by a couple of days. The new paper submission deadline is March 31st. Here is again some information about the conference: * SMPS 2014, the 7th International Conference on Soft Methods in Probability and Statistics, will take place in Warsaw (Poland), September 22-24, 2014. * Conference proceedings will be published by Springer-Verlag in the series Advances in Intelligent Systems and Computing . * Invited speakers: Eyke Hüllermeier, Inés Couso, Bernard De Baets. * For more details, please, see the Conference Website: http://smps2014.ibspan.waw.pl/ Best regards, Przemyslaw Grzegorzewski

March 13, 2014

[SIPTA] [jobs] PhD position in "Uncertainty in Computer Vision" - Oxford Brookes University - Dr Fabio Cuzzolin

by Fabio Cuzzolin

March 13, 2014

[SIPTA] SSTiC 2014: March 15, 4th registration deadline

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- March 15, 4th registration deadline --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 24 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 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. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Recommender Systems Past, Present, & Future Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for Test of Digital Logic Circuits Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since 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. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament dEconomia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili

March 8, 2014

Re: [SIPTA] CFP: Workshop on Models and Paradigms for Planning Under Uncertainty

by Kreinovich

March 3, 2014

[SIPTA] SIPTA school: 2nd call for participation

by Enrique Miranda

6th SIPTA School on Imprecise Probabilities (21-25 Jul 2014, Montpellier, France): 2nd announcement Sixth school of the Society for Imprecise Probability: Theories and Applications (SIPTA). July 21-25, 2014, Montpellier, France. http://www.lirmm.fr/SIPTAschool2014/ Dear colleagues, The Society for Imprecise Probability: Theories and Applications (SIPTA) organizes the 6th edition of its school in Montpellier, France, during 21-25 July 2014, the local organizer is the Laboratoire d'Informatique de Robotique et de Microelectronique (LIRMM) of the university of Montpellier. The school venue is in the center of Montpellier, a historical French city on the Mediterranean coast. The SIPTA school provides an introduction to imprecise probabilities for students and researchers. The basics and some advanced theoretical aspects will be covered. Of particular interest will be applications of imprecise probabilities. World experts in the different aspects of imprecise probabilities will teach about their area of expertise. An important part of the time is devoted to solving exercises and to the presentation of open application problems. *Topics & Lecturers* Imprecise probability is used as a generic term to cover all mathematical or statistical models which measure chance or uncertainty without sharp numerical probabilities. Imprecise probability models are needed in inference problems where the relevant information is scarce, vague or conflicting, and in decision problems where preferences may also be incomplete. The topics covered this year will include: - Coherent lower previsions (Enrique Miranda, Spain, and SÃ©bastien Destercke, France) - Other imprecise probability theories (InÃ©s Couso, Spain, and Didier Dubois, France) - Inference (Erik Quaeghebeur, The Netherlands, and Gert de Cooman, Belgium) - Algorithms & approximation methods (Cassio P. de Campos, Switzerland, and Alessandro Antonucci, Switzerland) - Graphical models and information retrieval (Alessandro Antonucci, Switzerland, and Cassio P. de Campos, Switzerland) - Decision Making (Matthias C.M. Troffaes, UK) - Joint treatment of stochastic and epistemic uncertainties: applications in the field of environmental risks (Dominique Guyonnet, France) - Climate change impact (Hermann Held, Germany) The full program can be found on the School website. It will be updated as details become available. *Pre-registration* Since the number of participants is limited, it is necessary to inform us of your intent to participate as soon as possible. To do so, complete and submit the pre-registration form on the school website. More information is available at the school website: http://www.lirmm.fr/SIPTAschool2014/ We are looking forward to meeting you in Montpellier. We also welcome you to circulate this announcement around you. Best regards Kevin Loquin <kevin.loquin(a)gmail.com> Enrique Miranda <mirandaenrique(a)uniovi.es> Erik Quaeghebeur <Erik.Quaeghebeur(a)ugent.be> Olivier Strauss <strauss(a)lirmm.fr>

March 3, 2014

[SIPTA] SUM 2014 - Scalable Uncertainty Management CFP

by Andrea Cali

Feb. 27, 2014

[SIPTA] mini-symposium on imprecise probability in civil engineering is being planned

by Kreinovich

Dear Friends, This is FYI. Dr. Michael Beer, Director of the Institute for Risk and Uncertainty, School of Engineering, University of Liverpool, is planning to organize a mini-symposium on the use of imprecise probabilities in civil engineering as a part of this conference, I am sending him a copy of this email. ************************************************************************************************************************************ ICASP12 12th International Conference on Applications of Statistics and Probability in Civil Engineering, Vancouver, Canada, July 12-15, 2015 (with post-conference activities July 16 and 17, 2015 http://icasp12.ubc.ca/call-for-papers/ Call for Abstracts The 12th ICASP welcomes high quality research articles from researchers and engineers from around the world in various fields of Civil Engineering. Submissions must follow the instructions posted on this website, starting with the submission of an abstract, which will be peer-reviewed. Subject to acceptance of the abstract, authors are invited to submit a full-length paper, which is also peer reviewed to ensure quality, originality, appropriateness, significance, and readability. Authors of accepted papers are invited to make a presentation at the conference. Within the realm of applications of statistics and probability in Civil Engineering, the scope of the conference encompass all theoretical and practical aspects of safety and reliability of civil engineering problems, including probabilistic structural engineering, soil mechanics, and risk analysis. The following topics are included in the scope of this conference: Uncertainty, statistics and probability Uncertainty modelling, Bayesian statistics, Hyper-parametric representations, Spatial and temporal dependency, First passage and out-crossing problems, Characteristics of stochastic processes and fields. Decision analysis Preference modelling, Utility modelling, Normative and descriptive decision analysis, Value of information analysis, Treatment of aleatory and epistemic uncertainty. Risk assessment Representation of systems, Quantitative risk assessment, Consequence modelling, Socio-economics and discounting, Risk criteria and acceptability, Risk perception, Risk communication. Statistical investigations and probabilistic modelling Experiment planning, Time series analysis, Data mining, Geo-statistical techniques, Regression analysis, Incident and failure time analysis, Extremes values. Reliability methods Component reliability analysis, System reliability analysis, FORM/SORM related methods, Time variant reliability analysis, Response surface methodologies, Monte Carlo simulation techniques, Markov Chain Monte Carlo methods, Bayesian Probabilistic Nets, Petri Nets, Large/complex systems techniques. Structural reliability Optimal design of new structures, Assessment of existing structures, Vulnerability modelling, Robustness assessment, Stochastic finite elements, Stochastic dynamics. Probabilistic modelling in engineering Material characteristics; steel, concrete, timber, glass, composites, Soil characteristics, Load combinations, Wind loads, Snow loads, Traffic loads, Waves, current and surge, Fire and explosion modelling, Fatigue and fracture mechanics , Corrosion, Contamination, Climatic modelling and down-scaling, Inspection modelling, Repair modelling. Natural hazards modelling Earthquakes, Typhoons and hurricanes, Rock-fall, Avalanches, Landslides, Floods, Tsunamis, Volcanic eruptions. Probabilistic seismic hazard analysis Seismic hazard analysis, Earthquake loss and risk assessment, Portfolio loss modelling. Life-cycle analysis Life-cycle cost modelling, Discounting, Renewal theoretical concepts, Sustainability modelling. Human and organizational factors Human errors, Organizational errors, Ergonomics, Quality control. Applications Law and policy making, Code calibration, Optimal structural design, Upgrading and life extension, Design of protection structures, Inspection and maintenance planning, Environmental risk assessment, Strategic resource allocation for multi-hazard risk management, GIS based risk management systems, Health monitoring and smart structures, Large scale earthquake risk management, Flood and tsunami risk management, Risk management of infrastructure systems (traffic, energy, water, waste disposal), Fire risk design, management and loss estimation, Design and maintenance of bridges, offshore, marine and wind turbine structures, Risk assessment and safety management for tunnels and roads, Typhoon and hurricane loss assessment, Nuclear facility risk management, Insurance hazards and risk modelling, Disaster prevention and loss reduction, Risk based strategies for aid and governance. Important Dates March 21, 2014: Deadline for submission of proposals to organize mini-symposia April 4, 2014: Notification of acceptance of mini-symposia June 20, 2014: Deadline for submission of abstracts for review September 19, 2014: Notification of acceptance of abstracts December 19, 2014: Deadline for submission of full-length papers for review December 19, 2014: Deadline for application for Student Awards February 27, 2015: Notification of review results for full-length papers February 27, 2015: Notification of Student Awards March 27, 2015: Deadline for submission of final version of full-length papers March 27, 2015: Early-bird registration deadline March 27, 2015: Final registration deadline for authors; each paper must be associated with a payment by this date

Feb. 22, 2014

[SIPTA] LATA 2014: call for participation

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March 10-14, 2014 http://grammars.grlmc.com/lata2014/ ********************************************************************* PROGRAM Monday, March 10: 9:30 - 10:30 Registration 10:30 - 10:40 Opening 10:40 - 11:30 Helmut Seidl: Interprocedural Information Flow Analysis of XML Processors - Invited Lecture 11:30 - 11:45 Break 11:45 - 13:00 Alberto Dennunzio, Enrico Formenti, Luca Manzoni: Extremal Combinatorics of Reaction Systems Fernando Arroyo, Sandra Gómez Canaval, Victor Mitrana, Ștefan Popescu: Networks of Polarized Evolutionary Processors are Computationally Complete Liang Ding, Abdul Samad, Xingran Xue, Xiuzhen Huang, Russell L. Malmberg, Liming Cai: Stochastic k-Tree Grammar and its Application in Biomolecular Structure Modeling 13:00 - 14:30 Lunch 14:30 - 15:45 Béatrice Bérard, Olivier Carton: Channel Synthesis Revisited Daniel Průša: Weight-reducing Hennie Machines and Their Descriptional Complexity Manfred Droste, Stefan Dück: Weighted Automata and Logics for Infinite Nested Words 15:45 - 16:00 Break 16:00 - 17:15 Friedrich Otto, František Mráz: Extended Two-Way Ordered Restarting Automata for Picture Languages Sang-Ki Ko, Yo-Sub Han, Kai Salomaa: Top-Down Tree Edit-Distance of Regular Tree Languages Bertram Felgenhauer, René Thiemann: Reachability Analysis with State-Compatible Automata 17:15 - 17:45 Coffee Break 17:45 - 18:35 Leslie A. Goldberg: The Complexity of Approximate Counting - Invited Lecture Tuesday, March 11: 9:00 - 9:50 Sanjeev Khanna: Matchings, Random Walks, and Sampling - Invited Lecture 9:50 - 10:00 Break 10:00 - 11:15 Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola: Covering Pairs in Directed Acyclic Graphs Eike Best, Raymond Devillers: Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets María Martos-Salgado, Fernando Rosa-Velardo: Expressiveness of Dynamic Networks of Timed Petri Nets 11:15 - 11:45 Coffee Break 11:45 - 13:00 Bireswar Das, Patrick Scharpfenecker, Jacobo Torán: Succinct Encodings of Graph Isomorphism Matthias Gallé, Matías Tealdi: On Context-Diverse Repeats and their Incremental Computation Marcella Anselmo, Dora Giammarresi, Maria Madonia: Picture Codes with Finite Deciphering Delay 13:00 - 14:30 Lunch 14:30 - 15:45 Paul Tarau: Computing with Catalan Families Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro López-Ortiz: On the List Update Problem with Advice Rob Gysel: Minimal Triangulation Algorithms for Perfect Phylogeny Problems 15:45 - 16:00 Break 16:00 - 17:15 Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Sławek Staworko, Marc Tommasi: Learning Sequential Tree-to-word Transducers Dariusz Kalociński: On Computability and Learnability of the Pumping Lemma Function Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi: Efficient List-based Computation of the String Subsequence Kernel Wednesday, March 12: 9:00 - 9:50 Oscar H. Ibarra: On the Parikh Membership Problem for FAs, PDAs, and CMs - Invited Lecture 9:50 - 10:00 Break 10:00 - 11:15 Marius Konitzer, Hans Ulrich Simon: DFA with a Bounded Activity Level Shenggen Zheng, Jozef Gruska, Daowen Qiu: On the State Complexity of Semi-Quantum Finite Automata Vojtěch Vorel: Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata 11:15 - 11:45 Coffee Break 11:45 - 13:00 Pascal Caron, Marianne Flouret, Ludovic Mignot: (k,l)-Unambiguity and Quasi-Deterministic Structures: an Alternative for the Determinization Zuzana Bednárová, Viliam Geffert: Two Double-Exponential Gaps for Automata with a Limited Pushdown Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman: Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata 13:00 - 14:30 Lunch 15:45 - 17:45 Sightseeing in Madrid by Bus Thursday, March 13: 9:00 - 9:50 Javier Esparza: A Brief History of Strahler Numbers (I) - Invited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Zeinab Mazadi, Ziyuan Gao, Sandra Zilles: Distinguishing Pattern Languages with Membership Examples Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse: Computing Depths of Patterns Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche: Solving Equations on Words with Morphisms and Antimorphisms 11:15 - 11:45 Coffee Break 11:45 - 13:00 Anton Cerný: Solutions to the Multi-Dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard: ω-rational Languages: High Complexity Classes vs. Borel Hierarchy Thomas Weidner: Probabilistic ω-Regular Expressions 13:00 - 14:30 Lunch 14:30 - 15:45 Haizhou Li, François Pinet, Farouk Toumani: Probabilistic Simulation for Probabilistic Data-aware Business Processes Daniel Bundala, Jakub Závodný: Optimal Sorting Networks Etienne Dubourg, David Janin: Algebraic Tools for the Overlapping Tile Product 15:45 - 16:00 Break 16:00 - 17:15 Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti: Shift-Reduce Parsers for Transition Networks Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet: Formulae for Polyominoes on Twisted Cylinders Alexandre Blondin Massé, Amadou Makhtar Tall, Hugo Tremblay: On the Arithmetics of Discrete Figures Friday, March 14: 9:00 - 9:50 Javier Esparza: A Brief History of Strahler Numbers (II) - Invited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Hanna Klaudel, Maciej Koutny, Zhenhua Duan: Interval Temporal Logic Semantics of Box Algebra Pierre Ganty, Ahmed Rezine: Ordered Counter-Abstraction: Refinable Subword Relations for Parameterized Verification Matthew Gwynne, Oliver Kullmann: On SAT Representations of XOR Constraints 11:15 - 11:45 Coffee Break 11:45 - 13:00 Bernd Finkbeiner, Hazem Torfah: Counting Models of Linear-time Temporal Logic Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas: Satisfiability for MTL and TPTL over Non-Monotonic Data Words Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz: Are Good-for-games Automata Good for Probabilistic Model Checking? 13:00 Closing

Feb. 16, 2014

[SIPTA] PhD position in "Uncertainty in Computer Vision" - Oxford Brookes University - Dr Fabio Cuzzolin

by Fabio Cuzzolin

Feb. 10, 2014

[SIPTA] SSTiC 2014: February 15, 3rd registration deadline

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2014 Tarragona, Spain July 7-11, 2014 Organized by Rovira i Virgili University http://grammars.grlmc.com/sstic2014/ ********************************************************************* --- February 15, 3rd registration deadline --- ********************************************************************* AIM: SSTiC 2014 is the second edition in a series started in 2013. For the previous event, see http://grammars.grlmc.com/SSTiC2013/ SSTiC 2014 will be a research training event mainly addressed to PhD students and PhD holders in the first steps of their academic career. It intends to update them about the most recent developments in the diverse branches of computer science and its neighbouring areas. To that purpose, renowned scholars will lecture and will be available for interaction with the audience. SSTiC 2014 will cover the whole spectrum of computer science through 6 keynote lectures and 24 six-hour courses dealing with some of the most lively topics in the field. The organizers share the idea that outstanding speakers will really attract the brightest students. ADDRESSED TO: Graduate students from around the world. There are no formal pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, reference may be made to specific knowledge background in the description of some of them. SSTiC 2014 is also appropriate for more senior people who want to keep themselves updated on developments in their own field or in other branches of computer science. They will surely find it fruitful to listen and discuss with scholars who are main references in computing nowadays. REGIME: In addition to keynotes, 3 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. VENUE: SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Larry S. Davis (U Maryland, College Park), A Historical Perspective of Computer Vision Models for Object Recognition and Scene Analysis David S. Johnson (Columbia U, New York), Open and Closed Problems in NP-Completeness George Karypis (U Minnesota, Twin Cities), Recommender Systems Past, Present, & Future Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One Coin Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style Ronald R. Yager (Iona C, New Rochelle), Social Modeling COURSES AND PROFESSORS: Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing John M. Carroll (Pennsylvania State U, University Park), [introductory] Usability Engineering and Scenario-based Design Kwang-Ting (Tim) Cheng (U California, Santa Barbara), [introductory/intermediate] Smartphones: Hardware Platform, Software Development, and Emerging Apps Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed Foundations of Data Management in the Cloud Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and Distributed Simulation Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science David S. Johnson (Columbia U, New York), [introductory] The Traveling Salesman Problem in Theory and Practice George Karypis (U Minnesota, Twin Cities), [intermediate] Programming Models/Frameworks for Parallel & Distributed Computing Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate] Optimization Techniques for Sparse/Low-rank Recovery Problems in Image Processing and Machine Learning Arie E. Kaufman (U Stony Brook), [advanced] Visualization Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate] Robot Motion Planning Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in Computer Science Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate] Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance Handover System Designs Sudhakar M. Reddy (U Iowa, Iowa City), [introductory] Test and Design for Test of Digital Logic Circuits Robert Sargent (Syracuse U), [introductory] Validation of Models Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd Analysis Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection for Twitter and the Social Web Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate] Distributed Consensus: Theory and Applications Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and Life ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/sstic2014/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since 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. It is very convenient to register prior to the event. FEES: As far as possible, participants are expected to attend for the whole (or most of the) week (full-time). Fees are a flat rate allowing one to participate to all courses. They vary depending on the registration deadline. ACCOMMODATION: Information about accommodation will be available on the website of the School in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: SSTiC 2014 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament dEconomia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili

Feb. 8, 2014