- SIPTA News - lists.sipta.org

[SIPTA] University of Oxford, Department of Computer Science: up to 15 fully funded doctoral studentships
by Thomas Lukasiewicz Nov. 17, 2014

Nov. 17, 2014

[Apologies if you receive this more than once.] UP TO 15 FULLY FUNDED DOCTORAL STUDENTSHIPS UNIVERSITY OF OXFORD, DEPARTMENT OF COMPUTER SCIENCE http://www.cs.ox.ac.uk/files/6952/studentshipad.pdf Following a generous donation by Google, the Department of Computer Science at the University of Oxford is delighted to invite applications for up to 15 fully-funded DPhil (Oxford’s PhD) studentships tenable from 1st October 2015. The University of Oxford is consistently ranked amongst the very best Computer Science departments in the world, for both teaching and research. We are committed to attracting the world’s most talented students and working with them to continue the success of the department. The topics for the studentships are open, but should relate to the interests of one of the Department’s research areas: Algorithms, Artificial Intelligence, Automated Verification, Computational Biology, Foundations, Logic & Structures, Information Systems, Machine Learning, Multi-Agent Systems, Programming Languages, Security, Semantics and Software Engineering. We also encourage applications in cross disciplinary areas such as Linguistics, Biology, Medicine and Quantum Foundations & Quantum Computation. The studentships are for three years and are open to students of any nationality. Each studentship will cover university and college fees with a stipend of at least £13,863 per year. Applicants are normally expected to have, or be predicted to achieve, a first-class or a strong upper second-class grade in either (i) a four-year undergraduate degree (with integrated masters) in a relevant subject (or equivalent international qualifications), or (ii) a three-year BSc/BA degree followed by excellent (distinction) performance in a master's degree in a relevant subject. Applicants must obtain the support of a potential supervisor in the Department prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to Julie.sheppard(a)cs.ox.ac.uk and for more information please see our webpages: http://www.cs.ox.ac.uk/ Please apply online here quoting 15-STUD-CS-01 in the studentship reference box: https://apply.graduate.ox.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=… Closing date for applications: 9th January 2015

1 0

[SIPTA] FW: an interesting challenge related to imprecise probabilities
by Kreinovich Nov. 7, 2014

Nov. 7, 2014

FYI -----Original Message----- Dear Sir, dear Madam, dear Colleagues, Our 6th Competitive Game, organized jointly with the French Federation of Mathematical Games, has started. The game is endowed with 2 000 Euros for prizes. The topic for this year is "Uncertainties in GPS Positioning", in partnership with: The French Institute for Transportation Science and Technology, Geolocalisation Team (IFSTTAR/CoSys/Geoloc) and: The French Ministry of Transportation, Mission for Tarification Pricing (MEDDTL/DIGITIM/SAGS/MT) Please see: http://scmsa.eu/archives/SCM_FFJM_Competitive_Game_2014_2015.pdf (in English) All data are included in the above file. The deadline for answers is April 30th, 2015. Answers may be sent in English or in French, pdf format. Please inform your colleagues, students, friends, about this game. Best regards, Prof. Bernard Beauzamy Chairman and CEO Societe de Calcul Mathematique SA 111 Faubourg Saint Honore, 75008 Paris, France Faubourg Saint Honore, 75008 Paris, France

1 0

[SIPTA] ECSQARU 2015 CALL for Special Sessions
by Sébastien Destercke Nov. 5, 2014

Nov. 5, 2014

*** apologies for cross-posting *** ====================================================================== ECSQARU 2015 CALL for Special Sessions Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty Proposal Deadline: 1st December Dates: July 15th-17th, 2015 Location: Compiègne, France ====================================================================== We invite proposals of special sessions for the next ECSQARU 2015, to be held during the conference. These special sessions can aim at fundamental, theoretical or practical issues regarding reasoning under uncertainty, in symbolic and quantitative settings. INSTRUCTIONS Submission of proposals should include: * the session title, * a short description of the session and its main topics, * the session relevance to the ECSQARU conference, * a list of organizers (at least 2), * a list of potential submissions (if possible). Each special session should contain at least four papers. Those having fewer than four accepted papers will potentially be canceled, with accepted papers moved either to regular sessions or, if appropriate, to related special sessions. The upper limit for papers authored by each organizer will be 25% (rounded up) of the overall number of accepted papers in the session. Proposals should be sent to ecsqaru2015(a)hds.utc.fr before the 1st December 2014 EVALUATION OF PROPOSALS Special session proposals will be evaluated based on the timeliness, uniqueness of the topic and qualifications of the proposers. The proposers are expected to have a PhD degree and have a good publication track record in the proposed area. After review, a decision on whether the proposal will be accepted will be sent to the proposers. However, it is possible that an accepted proposal will be combined with another one to avoid multiple special sessions covering a similar topic. Accepted special sessions will be listed on the conference website. A final decision will be made two weeks after the submission deadline. SUBMISSION AND REVIEWS FOR SPECIAL SESSION PAPERS Manuscripts intended for special sessions should be submitted through the general paper submission website as regular submissions. During submission, authors submitting to special sessions should check the corresponding category. Papers submitted to special sessions will undergo the same review and decision process as regular papers. Organizers will be consulted to propose potential reviewers. IMPORTANT DATES Special sessions proposals should be submitted before the 1st december 2014. Submission and decision dates are the same as regular submissions. The ECSQARU 2015 scientific chairs Thierry Denoeux Sébastien Destercke

1 0

[SIPTA] FW: REC 2016
by Kreinovich Nov. 5, 2014

Nov. 5, 2014

Dear Friends, Mark your calendars, a 2016 biannual Workshop on Reliable Engineering Computing REC'2016 will be held in Bochum, Germany, June 15-17, 2016. -----Original Message----- From: Steffen Freitag [mailto:steffen.freitag(a)sd.rub.de] I would like to keep you up to date about REC 2016. The conference will be held on Wednesday-Friday, June 15-17, 2016. Best regards Steffen

1 0

[SIPTA] CfP: ISIPTA '15, 20-24 July 2015, Pescara, Italy
by Serena Doria Oct. 30, 2014

Oct. 30, 2014

*ISIPTA '15 CALL FOR PAPERS* 9th International Symposium on Imprecise Probability: Theories and Applications 20-24 July 2015 Pescara, Italy Website with up-to-date information on all aspects of the conference: http://www.sipta.org/isipta15 Scientific program contact: isipta15(a)easychair.org Local organization contact: isipta15(a)unich.it *Important Dates* 30 Jan - Paper abstracts & preliminary papers due 13 Feb - Review-ready papers due 31 Mar - Conference hotel pre-reservation deadline 08 Apr - Paper notification 17 Apr - Poster-only abstracts due 06 May - Poster-only notification 29 May - Early-bird registration deadline (?350 full; ?200 student) *Scope & Symposium Format* ISIPTA is the primary international forum to present and discuss new results related to imprecise probability. We welcome both theoretical and applied original contributions. In this edition, we especially welcome papers connecting imprecise probabilities with related research in fields such as economics, philosophy, sociology, and engineering. There will be no parallel sessions. Each paper that is accepted is presented both (i) in a plenary session, meant for a short introduction and a sketch of the context and relevance; and (ii) in a poster session, where ample time is given for in-depth explanation and discussion. The poster-only track provides a second, free format presentation option. It is also open for preliminary results, challenges, etc. *New: non-proceedings papers* To adapt to different publication cultures in different fields, we introduce a new option: the non-proceeding papers. Authors may request that their contribution is not published in the proceedings in case this precludes later publication of an expanded journal version. The PC Board will decide on a case-by-case basis. If accepted, a one-page abstract will be published in the proceedings, and the paper must be freely available on-line (e.g., as a working paper). *Already Confirmed Invited Speakers* Massimo Marinacci, AXA-Bocconi Chair in Risk Department of Decision Sciences, Bocconi University, Milan, Italy Itzhak Gilboa, Professor of Economics and Decision Sciences Eitan Berglas School of Economics, Tel-Aviv University, Israel & HEC, Paris, France *Special Issue* After the conference, a special issue with a selection of the accepted papers will be published in an expanded version in the International Journal of Approximate Reasoning. *Steering Committee* T. Augustin (LMU München, Germany) + PC Board G. de Cooman (Ghent University, Belgium) S. Doria (University G. d'Annunzio, Italy) + Local Organization E. Miranda (University of Oviedo, Spain) + PC Board E. Quaeghebeur (CWI, Amsterdam, Netherlands) + PC Board T. Seidenfeld (Carnegie Mellon University, USA) We look forward to your contribution and to seeing you in Pescara!

1 0

[SIPTA] PhD Scholarship available - Real-time Action Recognition for Human-Robot Interaction - deadline October 31 2014
by Fabio Cuzzolin Oct. 27, 2014

Oct. 27, 2014

1 0

[SIPTA] CFP: 3rd International Symposium on Learning and Data Sciences (SLDS 2015)
by Gert de Cooman Oct. 22, 2014

Oct. 22, 2014

1 0

[SIPTA] Statistics
by Marco Zaffalon Oct. 8, 2014

Oct. 8, 2014

Dear Friends in Imprecise Probability, Recently Alessio Benavoli and I have published a paper in Statistics, a journal from Taylor & Francis group; the paper is concerned with using prior near-ignorance in the multivariate exponential family. You can access the paper following this link: http://ipg.idsia.ch/publications.php#benavoli2014b. Apart from a certain pride and self-promotion, the other reason why I am writing this email to the list is to advertise the name of the journal to our community. As some of you will be aware, publishing an imprecise probability paper in a traditionally oriented statistical journal can be horribly tough; this is the case even if we use the traditional statistical language and take all the possible care to prevent criticism. I am thinking in particular of the papers that have the potential to affect the statistical practice rather than the purely theoretical papers. So to me it is good news that there exist some statistical journals (at least one) for which we are complete outsiders, that can eventually accept our papers. This is not to say that it will be easy, just possible. In fact in our case it has been quite difficult to convince the skeptical reviewers to make the paper go through. If you have had a good experience with some statistical journal of the above type, you could consider sharing such information through this list as well, so as we all can be aware about the possible venues (as opposed to the impossible ones) for our statistical papers. All the best wishes, Marco

2 1

[SIPTA] Open positions in Queen's University Belfast
by Cassio P. de Campos Oct. 6, 2014

Oct. 6, 2014

Dear all, There are some open positions here at Queen's University Belfast. Usually these positions are either permanent (with initial probation) or are tracks to become permanent. The links follow below. While I note that I am not part of the hiring committee, if anyone wants further information, just drop me a message and I will be glad to help. Best regards, cassio. - http://www.qub.ac.uk/sites/QUBJobVacancies/FeaturedJobs/QueensUniversityRes… This first link doesn't mention statistics, computer science, data sciences, but I know that a person in such field will be considered as long as their work can have applications to one of those listed areas. - http://www.jobs.ac.uk/job/AJP691/lecturer-senior-lecturer-reader/ - http://www.jobs.ac.uk/job/AJP290/doctoral-fellow/

1 0

[SIPTA] LATA 2015: extended submission deadline 16 October
by GRLMC Oct. 5, 2014

Oct. 5, 2014

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 16 ***** ---------------------------------------------------------------------------- **************************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. VENUE: LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata STRUCTURE: LATA 2015 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Paola Inverardi (L’Aquila), Synthesis of Protocol Adapters Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars Giancarlo Mauri (Milano Bicocca), Complexity Classes for Membrane Systems Andreas Podelski (Freiburg), Automated Program Verification Antonio Restivo (Palermo), The Shuffle Product: New Research Directions PROGRAMME COMMITTEE: Andrew Adamatzky (West of England, Bristol, UK) Andris Ambainis (Latvia, Riga, LV) Franz Baader (Dresden Tech, DE) Rajesh Bhatt (Massachusetts, Amherst, US) José-Manuel Colom (Zaragoza, ES) Bruno Courcelle (Bordeaux, FR) Erzsébet Csuhaj-Varjú (Eötvös Loránd, Budapest, HU) Aldo de Luca (Naples Federico II, IT) Susanna Donatelli (Turin, IT) Paola Flocchini (Ottawa, CA) Enrico Formenti (Nice, FR) Tero Harju (Turku, FI) Monika Heiner (Brandenburg Tech, Cottbus, DE) Yiguang Hong (Chinese Academy, Beijing, CN) Kazuo Iwama (Kyoto, JP) Sanjay Jain (National Singapore, SG) Maciej Koutny (Newcastle, UK) Antonín Kučera (Masaryk, Brno, CZ) Thierry Lecroq (Rouen, FR) Salvador Lucas (Valencia Tech, ES) Veli Mäkinen (Helsinki, FI) Carlos Martín-Vide (Rovira i Virgili, Tarragona, ES, chair) Filippo Mignosi (L’Aquila, IT) Victor Mitrana (Madrid Tech, ES) Ilan Newman (Haifa, IL) Joachim Niehren (INRIA, Lille, FR) Enno Ohlebusch (Ulm, DE) Arlindo Oliveira (Lisbon, PT) Joël Ouaknine (Oxford, UK) Wojciech Penczek (Polish Academy, Warsaw, PL) Dominique Perrin (ESIEE, Paris, FR) Alberto Policriti (Udine, IT) Sanguthevar Rajasekaran (Connecticut, Storrs, US) Jörg Rothe (Düsseldorf, DE) Frank Ruskey (Victoria, CA) Helmut Seidl (Munich Tech, DE) Ayumi Shinohara (Tohoku, Sendai, JP) Bernhard Steffen (Dortmund, DE) Frank Stephan (National Singapore, SG) Paul Tarau (North Texas, Denton, US) Andrzej Tarlecki (Warsaw, PL) Jacobo Torán (Ulm, DE) Frits Vaandrager (Nijmegen, NL) Jaco van de Pol (Twente, Enschede, NL) Pierre Wolper (Liège, BE) Zhilin Wu (Chinese Academy, Beijing, CN) Slawomir Zadrozny (Polish Academy, Warsaw, PL) Hans Zantema (Eindhoven Tech, NL) ORGANIZING COMMITTEE: Sébastien Autran (Nice) Adrian Horia Dediu (Tarragona) Enrico Formenti (Nice, co-chair) Sandrine Julia (Nice) Carlos Martín-Vide (Tarragona, co-chair) Christophe Papazian (Nice) Julien Provillard (Nice) Pierre-Alain Scribot (Nice) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) 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, references, etc.) and should be prepared according to the standard format for 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=lata2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the Journal of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) will be later published containing peer-reviewed substantially 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 July 21, 2014 to March 2, 2015. The registration form can be found at: http://grammars.grlmc.com/lata2015/Registration.php DEADLINES: Paper submission: October 16, 2014 (23:59 CET) – EXTENDED – Notification of paper acceptance or rejection: November 18, 2014 Final version of the paper for the LNCS proceedings: November 25, 2014 Early registration: November 25, 2014 Late registration: February 16, 2015 Submission to the journal special issue: June 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu(a)urv.cat POSTAL ADDRESS: LATA 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Nice Sophia Antipolis University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com

1 0