April 2013 - SIPTA News - lists.sipta.org

[SIPTA] ADT 2013 - Final Call for Papers - Extended deadlines: May, 10 (abstract) May, 19 (papers)

by Paolo Viappiani

April 30, 2013

[SIPTA] Call for Participation: ECSQARU 2013 in Utrecht, the Netherlands

by Gaag

April 28, 2013

[SIPTA] BFAS Spring School on Belief Functions Theory and Applications: Registration extended

by Arnaud Martin

April 22, 2013

[SIPTA] TPNC 2013: 1st call for papers

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* ************************************************************************* 2nd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2013 Cáceres, Spain December 3-5, 2013 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2013/ ********************************************************************* AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2013 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2013 will take place in Cáceres, in Western Spain, 300 kms. to the southwest of Madrid and 100 kms. to the Portuguese border. The old city is a UNESCO World Heritage site. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2013 will consist of: ‐ invited talks ‐ invited tutorials ‐ peer-reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Selim G. Akl (Kingston, CA) Thomas Bäck (Leiden, NL) Peter J. Bentley (London, UK) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) Carlos A. Coello Coello (Mexico DF, MX) David W. Corne (Edinburgh, UK) Peter Dayan (London, UK) Andries P. Engelbrecht (Pretoria, ZA) Enrique Herrera-Viedma (Granada, ES) Nikola Kasabov (Auckland, NZ) Vladik Kreinovich (El Paso, US) Kwong-Sak Leung (Hong Kong, CN) Xiaohui Liu (London, UK) Manuel Lozano (Granada, ES) Carlos Martín-Vide (Tarragona, ES, chair) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (São Paulo, BR) Nikhil R. Pal (Kolkata, IN) José Carlos Príncipe (Gainesville, US) Helge Ritter (Bielefeld, DE) Conor Ryan (Limerick, IE) Moshe Sipper (Beer-Sheva, IL) Thomas Stützle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) Jon Timmis (York, UK) Michael N. Vrahatis (Patras, GR) Harald Weinfurter (Munich, DE) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, co-chair) Bianca Truthe (Magdeburg) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Víctor Berrocal-Plaza José M. Chaves-González Juan A. Gómez-Pulido David L. González-Álvarez José M. Granado-Criado Alejandro Hidalgo-Paniagua José M. Lanza-Gutiérrez Álvaro Rubio-Largo Sergio Santander-Jiménez Miguel A. Vega-Rodríguez (chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standards of the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2013 PUBLICATIONS: A volume of proceedings expectedly published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Soft Computing (Springer, 2011 impact factor: 1.880) will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from April 17 to December 3, 2013. The registration form can be found at: http://grammars.grlmc.com/tpnc2013/Registration DEADLINES: Paper submission: July 16, 2013 (23:59h, CET) Notification of paper acceptance or rejection: August 27, 2013 Final version of the paper for the proceedings: September 3, 2013 Early registration: September 10, 2013 Late registration: November 19, 2013 Starting of the conference: December 3, 2013 End of the conference: December 5, 2013 Submission to the post-conference special issue: March 5, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: TPNC 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 ACKNOWLEDGEMENTS: Diputació de Tarragona Universidad de Extremadura Universitat Rovira i Virgili

April 21, 2013

[SIPTA] SSTiC 2013: 3rd registration deadline 26 April

by GRLMC

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* ********************************************************************* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by Rovira i Virgili University http://grammars.grlmc.com/SSTiC2013/ ********************************************************************* +++ 3rd registration deadline: April 26 +++ AIM: 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 74 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. ADDRESSED TO: 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. REGIME: 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. VENUE: Palau Firal i de Congressos de Tarragona Arquitecte Rovira, 2 43001 Tarragona http://www.palaucongrestgna.com COURSES AND PROFESSORS: 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 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 Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with Computational Methods Aloysius K. Mok (Austin) [intermediate] 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) & 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 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 REGISTRATION: It has to be done at http://grammars.grlmc.com/SSTiC2013/Registration.php 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. FEES: They are the same (a flat rate) for all people by the corresponding deadline. They give the right to attend all courses. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. IMPORTANT DATES: Announcement of the programme: January 26, 2013 Six registration deadlines: February 26, March 26, April 26, May 26, June 26, July 26, 2013 QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: 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 ACKNOWLEDGEMENTS: Ajuntament de Tarragona Diputació de Tarragona Universitat Rovira i Virgili

April 20, 2013

[SIPTA] ISIPTA'13 POSTER submission DEADLINE EXTENSION: 29th April

by ISIPTA2013

============================================================================= ISIPTA '13 - CALL FOR POSTERS - DEADLINE EXTENSION (29th APRIL) ============================================================================= Your help with circulating this announcement locally is much appreciated. Apologies for multiple postings. Dear colleague(s), To allow authors sufficient time to prepare their poster abstracts, we have decided to extend the poster submission deadline to the 29th April. For further details about (pre)registration, paper submission, program committee, scientific and social program visit the ISIPTA '13 web site at http://www.sipta.org/isipta13/. IMPORTANT DATES Posters only abstract submission deadline: 29 April 2013 (Extended) Symposium: July 2-5, 2013. Best regards The ISIPTA Steering committee

April 19, 2013

[SIPTA] EUROFUSE: Session on preference modeling and learning using imprecise probabilistic approaches

by Sébastien Destercke

April 19, 2013

[SIPTA] ISIPTA '13 - CALL FOR POSTERS and IJAR PRIZE

by Sébastien Destercke

============================================================================= ISIPTA '13 - CALL FOR POSTERS and IJAR PRIZE ============================================================================= Your help with circulating this announcement locally is much appreciated. Apologies for multiple postings. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ISIPTA '13 8th International Symposium on Imprecise Probability: Theories and Applications Tuesday 2 to Friday 5 July 2013 Monday 1st: tutorials Université de Technologie de Compiegne Compiegne, France http://www.sipta.org/isipta13 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Dear colleague(s), We would like to draw your attention to the 8th International Symposium on Imprecise Probability: Theories and Applications, which be held at the Université de Technologie de Compiegne from July 2 to July 5, 2013. The ISIPTA meetings are one of the primary international forums to present and discuss new results on the theories and applications of imprecise probability. Imprecise probability is a generic term for the many mathematical or statistical models which allow us to measure chance or uncertainty without using sharp numerical probabilities. CALL FOR POSTERS and IJAR PRIZE applicants Submissions of poster abstracts (to be included in the proceedings) and of applications to the IJAR young researcher award are still open. Details about these submissions can be found at the following addresses: * Poster abstracts: http://www.sipta.org/isipta13/index.php?id=submit_abstract * IJAR young researcher award: http://www.sipta.org/isipta13/index.php?id=prizes_ijar For further details about (pre)registration, program committee, scientific and social program visit the ISIPTA '13 web site at http://www.sipta.org/isipta13/. IMPORTANT DATES Posters only abstract submission deadline: 21 April 2013 IJAR young researcher award application: 15 June 2013 Symposium: July 2-5, 2013. ISIPTA/ECSQARU JOINT ACTIONS The ECSQARU 2013 conference (http://www.projects.science.uu.nl/ecsqaru/index.html) will be held in Utrecht from Sunday 7 to Wednesday 10 July 2013. As some of the themes of the two conferences are closely related, we propose the following joint actions: - a reduced fee to attend both conferences, including the trip from Compiegne to Utrecht by bus; - in each conference, tutorials and talks covering usual topics of the other conference; - a workshop on sunday 7 about bridges and connections between topics usually treated in one (but not both) of the conferences. More information can be found on the respective websites of the conferences. STEERING COMMITTEE Fabio Cozman (Sao paulo University, Brazil) Thierry Denoeux (Université de Technologie de Compiegne, France) Sébastien Destercke (Université de Technologie de Compiegne, France) Thomas Fetz (Innsbruck University, Austria) Serafin Moral (Granada University, Spain) Teddy Seidenfeld (Carnegie Mellon University, USA) Matthias Troffaes (Durham University, UK) QUESTIONS If you have any questions about the symposium and/or about related events, please send an email to isipta13(a)hds.utc.fr, or at the following address: Sébastien Destercke, Université de Technologie de Compiegne, Centre de recherche de Royallieu, 60200 Compiègne, France. For more information about SIPTA, the international organisation responsible for organizing both the ISIPTA meetings and the SIPTA Schools on Imprecise Probabilities, please consult the SIPTA web site at http://www.sipta.org. The ISIPTA Steering Committee

April 17, 2013

[SIPTA] Final CFP: Progic 2013 "Combining probability and logic to solve philosophical problems", Munich, 17-18 Sept. 2013

by Niki Pfeifer

Final Call for papers --------------------- Progic 2013: The Sixth Workshop on Combining Probability and Logic "Combining probability and logic to solve philosophical problems" Workshop website: www.pfeifer-research.de/progic/ Introduction ------------ The Sixth Workshop on Combining Probability and Logic (progic 2013) continues the progic workshop series (www.kent.ac.uk/secl/philosophy/jw/progic.htm) Progic 2013 takes place on September 17 and 18, 2013. The workshop location is the Carl Friedrich von Siemens Stiftung, which is located at the Nymphenburg Palace in Munich. The workshop is financially supported by the Alexander von Humboldt Foundation and hosted by the Munich Center for Mathematical Philosophy. Progic 2013 focuses on "Combining probability and logic to solve philosophical problems". Topics include but are not restricted to -) acceptability -) argument strength -) belief revision -) conditionals -) conditionalization -) counterfactuals -) information -) probability logic Scholars who combine probability and logic to elaborate new solutions to philosophical problems are invited to submit an extended abstract (two pages, prepared for blind review) for presentation at the workshop (40 min. talk, 10 min. discussion). Contributors should indicate if they are prepared to submit a paper to the progic 2013 special issue in the Journal of Applied Logic. Invited speakers are Igor Douven (Faculty of Philosophy, University of Groningen), Alan Hájek (School of Philosophy, Australian National University), Kevin T. Kelly (Center for Formal Epistemology, Carnegie Mellon University), Hannes Leitgeb (Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University Munich), and Peter Milne (Department of Philosophy, University of Stirling). Invited talks ------------- -) Igor Douven: Conditionals and closure. Abstract: www.pfeifer-research.de/progic/abstracts.html#douven -) Alan Hájek: Probabilities of counterfactuals and counterfactual probabilities. Abstract: www.pfeifer-research.de/progic/abstracts.html#hajek -) Kevin T. Kelly and Hanti Lin: Qualitative reasoning that tracks Jeffrey conditioning. Abstract: www.pfeifer-research.de/progic/abstracts.html#kelly -) Hannes Leitgeb Belief: and stable probability. Abstract: www.pfeifer-research.de/progic/abstracts.html#leitgeb -) Peter Milne: Information, confirmation, and conditionals. Abstract: www.pfeifer-research.de/progic/abstracts.html#milne Important dates --------------- Deadline for extended abstracts: April 15, 2013 Notification of acceptance of extended abstracts: May 1, 2013 Deadline for full papers: September 1, 2013 Workshop dates: September 17-18, 2013 Notification of acceptance of full papers: November 15, 2013 Deadline for final versions of full papers: December 15, 2013 The extended abstracts (max. two pages) should be sent in PDF format to niki(dot)pfeifer(at)lrz(dot)uni-muenchen(dot)de Local organizer --------------- Niki Pfeifer (Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University Munich) Steering committee ----------------- Jeff Helzner (Department Philosophy, Columbia University) Niki Pfeifer (Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University Munich) Jan-Willem Romeijn (Department of Philosophy, University of Groningen) Gregory Wheeler (Centre for Research in Artificial Intelligence, New University of Lisbon) Jon Williamson (Department of Philosophy & Centre for Reasoning, University of Kent) -- Dr.Dr. Niki Pfeifer www.pfeifer-research.de Munich Center for Mathematical Philosophy Ludwig-Maximilians-University Munich (Germany)

April 5, 2013