CiE Newsletter No.32, April 19, 2010: A timely reminder of important dates for CiE 2010 in the Azores - (1) The deadline for submission of Informal Presentations at CiE 2010 is Saturday 15th May, 2010. See: http://www.cie2010.uac.pt/contents/call_for_informal_presentations.html (2) Early registration for CiE 2010 ends on Friday 28th May, 2010. To register, please go to: http://www.cie2010.uac.pt/contents/registration.html (3) The deadline for nominations to the Association CiE Board is Wednesday 2nd June, 2010. There will be two CiE Board members elected at the time of the CiE AGM in July. For current membership see: http://www.maths.leeds.ac.uk/~pmt6sbc/cie.admin.html Any member of CiE can be nominated for election to the Board. A valid nomination from the membership requires a nomination by 10 CiE members, sent to: s.b.cooper@leeds.ac.uk (4) Proposals for the Association CiE Annual General Meeting can be made by any member, and should be sent to: s.b.cooper@leeds.ac.uk by Thursday 10th June, 2010. ___________________________________________________________________________ CONTENTS: 1. Mini-conference on Applied Theoretical Computer Science (MATCOS-10) 2. DCM 2010: 6th International Workshop on Developments in Computational Models 3. Special issue of the International Journal of Foundations of Computer Science 4. QICS School: Foundational Structures in Quantum Computation and Information, May 24-28, Oxford 5. FLoC 2010: Call for Participation 6. FLoC 2010: Student Travel Grants 7. Cancellation of MCU'2010 8. CMC11: 2nd CfP Eleventh International Conference on Membrane Computing, Jena, Germany, 24-27 August 2010 9. Workshop in Computability Theory: Paris, July 23-34 10. European Masters Program in Computational Logic 11. 4th Workshop on Reachability Problems, RP'2010 (deadline for submissions April 21) 12. PAR-10 call for participation and informal presentations =========================================================================== =========================================================================== 1. (from Andrej Brodnik) Mini-conference on Applied Theoretical Computer Science (MATCOS-10): First Announcement and Call for Papers Mini-conference on Applied Theoretical Computer Science (MATCOS-10) Koper, Slovenia, October 13th and 14th, 2010. Held in conjunction with the 13th Multi-Conference on Information Society, October 11-15, 2010, Ljubljana, Slovenia. (http://is.ijs.si/) Scope and Topics During the past years, several subjects, methods and approaches of Theoretical Computer Science have been used by other fields, and several results have been integrated into real world applications. Some examples for the above nature are practical solutions for NP-hard problems, algorithmics oriented AI and data mining solutions, new models and methods in system biology and bioinformatics, automata theory solutions in software and hardware verification, prospective new models of computation and future computer architecture. The scope of the conference is to collect ideas and solutions from the field of Theoretical Computer Science which can be directly applied in other fields or being potential to be integrated in real world applications. Suggested, but not exclusive, topics of interest include: * automata and formal languages, computability * algorithms and data structutes * computational complexity * artificial intelligence, machine learning * optimization, approximation methods, NP-hard problems * graph theory Special emphasis on use in applications such as simulation, Bioinformatics, Digital signal and image processing, logistics etc. Program Committee: Andrej Brodnik (Ljubljana, Koper, Slovenia), co-chair Gabor Galambos (Szeged, Hungary), co-chair Gabriel Istrate (Timisoara, Romania) Miklos Kresz (Szeged, Hungary) Gerhard Reinelt (Heidelberg, Germany) Borut Robie, (Ljubljana, Slovenia) Magnus Steinby (Turku, Finland) Borut Zalik (Maribor, Slovenia) Keynote speaker: Andras Recski (Budapest, Hungary) Paper submission: Papers presenting original research in conference topics are being sought. Papers must be in English and provide sufficient details to allow the program committee to assess their merits. Submissions, as well as final versions, are limited to 4 pages sharp long abstracts and will be published in an Information Society multiconference proceedings. Revised versions of selected full papers will appear in a special issue of the journal Informatica (www.informatica.si). The instructions and the format for preparing the papers can be found here http://matcos.pint.upr.si/submission Only electronic submissions will be accepted (in pdf format), via http://www.easychair.org/conferences/?conf=matcos10 Important dates: 21th of June: submission deadline 27th of August: notification to authors 13th of October: student session 14th of October: regular session =========================================================================== =========================================================================== 2. (from Barry Cooper) DCM 2010: 6th International Workshop on Developments in Computational Models: =================================================================== ** DCM 2010 - CALL FOR PARTICIPATION AND EARLY REGISTRATION ** =================================================================== DCM 2010 6th International Workshop on Developments in Computational Models ** Causality, Computation, and Physics ** http://www.amsta.leeds.ac.uk/~pmt6sbc/DCM10/ Edinburgh, Scotland 9-10 July 2010 DEADLINE FOR EARLY REGISTRATION: MONDAY 17th MAY, 2010 A satellite event of FLoC - http://www.floc-conference.org/ =================================================================== Early registration to FLoC and its workshops is open until 17th May. All participants, including speakers, should register for DCM 2010 via the FLoC 2010 Registration webpage: http://www.floc-conference.org/registration.html =================================================================== INVITED SPEAKERS: Cristian Calude (Auckland, New Zealand) Lucien Hardy (Perimeter Institute, Canada) Russ Harmer (Paris/Harvard) Gordon Plotkin (Edinburgh) Vlatko Vedral (Oxford) =================================================================== DCM 2010 is the sixth in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. And to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2010 will be a two-day satellite event of FLoC 2010, with a special focus on the theme 'Causality, Computation, and Physics'. Day 2 of the Workshop will have an emphasis on quantum computation and physics, held as Quantum Information Science Scotland (QUISCO), and is co-sponsored by Scottish Universities Physics Alliance (SUPA) and Scottish Informatics and Computer Science Alliance (SICSA). =================================================================== Further information: Barry Cooper, pmt6sbc @ leeds.ac.uk, Prakash Panangaden prakash @ cs.mcgill.ca Elham Kashefi ekashefi @ inf.ed.ac.uk =========================================================================== =========================================================================== 3. (from Maurice Margenstern) Special issue of the International Journal of Foundations of Computer Science: CALL FOR PAPERS - Special issue of INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE on: Frontier between Decidability and Undecidability and Related Problems Computability is one of the fundamental domains of computer science. Many questions remain open in this area and their solution is of great importance both for the advance of knowledge and for possible applications. Many problems of real life in their present mathematical or theoretical modeling are undecidable. Most often, this means a lack of information. If enough information can be supplied, the problem may become decidable and then, the question arises of the complexity of solving algorithms. How much information has to be supplied? This is an important question and we are at the beginning of an era where partial answers can be approached if not completely given. This is the main motivation of the topic Frontier between decidability and undecidability. At the present moment, the syntactic aspects of the limitation of information are considered. In this regard, substantial progress has been obtained recently, for instance, in the number of states and or symbols needed to construct a universal Turing machine. Important results about the same question and similar criteria have also been obtained in other models of discrete computations such as register machine, cellular automata and other abstract devices, some of them being connected with biology. The same question can be attacked from a very different point of view starting from the old approach of analog computations. Recent progress was achieved in this trend which is vividly developing. Other trends also try to obtain super- Turing computations which also constitute another look at the same question. Accordingly, the special issue is planned to focus on the state-of-the art solutions about the frontier between decidability and undecidability and related problems. Topics of interest include but are not limited to: Digital Computations: Turing machines, register machines, cellular automata, other automata, tiling of the plane, polyominoes, snakes, neural networks, molecular computations, word processing (groups and monoids), molecular computing and other machines, Analog and Hybrid Computations: BSS machines, infinite cellular automata, real machines, quantum computing In both cases: frontiers between a decidable halting problem and an undecidable one in the various computational settings, minimal universal codes: size of such a code, namely, for Turing machines, register machines, cellular automata, tilings, neural nets, Post systems, P systems... computation complexity of machines with a decidable halting problem as well as universal machines, self-reproduction and other tasks, universality and decidability in the real field Please, submit an electronic version of your submission as a .ps or .pdf file to be sent electronically to one of the guest editors by December 31, 2010: Jerome Durand-Lose jerome.durand-lose@univ-orleans.fr Maurice Margenstern margens@univ-metz.fr Klaus Sutner sutner@cs.cmu.edu Schedule: Deadline for submission: December, 31, 2010 Notification of acceptance or rejection: May, 1st, 2011 Deadline for receiving corrected version for revised versions: July 1st, 2011 Final decision for revised papers: October 1st, 2011 Instructions for submissions: Your submission should be prepared by using the LaTeX style file of the International Journal of Foundations of Computer Science to be found at: http://www.cs.ucsb.edu/~ijfcs/ and should not exceed 20 pages in this format, including figures, tables and possible appendices. Your submission should not have been previously published, nor currently submitted elsewhere for publication. All submitted papers will be refereed in accordance with the usual criteria of IJFCS. =========================================================================== =========================================================================== 4. (from Bob Coecke) QICS School: Foundational Structures in Quantum Computation and Information, May 24-28, Oxford: --------------------------------------------------------- Spring School that marks the end of an EU FP6 FET STREP on: Foundational Structures in Quantum Computation and Information May 24-28, 2010, Oxford University, UK http://web.comlab.ox.ac.uk/people/Bob.Coecke/QICS_School.html It consists on extended tutorials on the main research strands within QICS, namely: * Structures and methods for measurement-based quantum computation * Categorical semantics, logics, diagrammatic methods * Classical-quantum interaction and information flow * Quantum automata, machines, calculi Topics that will be covered include: * measurement-based quantum computing (MBQC); properties of graph states; MBQC and condensed matter physics; blind quantum computation; determinism in MBQC; measurement-based classical computation and non-locality; * monoidal categories, Frobenius algebras, and their graphical calculus; (co)algebra of complementary observables and multipartite quantum entanglement, and applications to MBQC; phase groups and non-locality; * classical simulation of quantum circuits; categorical topological quantum computation; graphical calculus for measurements and channels; generalized probabilistic theories; convex operational models and non-locality; * quantum cellular automata (QCA); QCAs and causality; higher types in quantum computing; quantum logics and quantum machines; colagebraic methods; Confirmed lecturers include (more to be announced closer to date): Samson Abramsky (Oxford), Pablo Arrighi (Grenoble), Howard Barnum (Perimeter), Jonathan Barrett (Bristol, TBC), Dan Browne (UCL - London), Bob Coecke (Oxford), Ross Duncan (Oxford), Joe Fitzsimons (Oxford), Akimasa Miyake (Perimeter), Prakash Panangaden (McGill), Simon Perdrix (Grenoble), Peter Selinger (Dalhousie), Maarten van den Nest (Max-Planck, TBC), Reinhard F. Werner (Hannover) If you are interested in attending the QICS School please write Ross Duncan . --------- Satellite workshop: Quantum Physics and Logic, May 29-30. http://web.comlab.ox.ac.uk/people/Bob.Coecke/QPL_10.html Invited speakers: - John Baez (UCR & Singapore) - Louis Crane (Kansas State) - Benjamin Schumacher (Kenyon College) PC chairs: - Bob Coecke (Oxford) - Prakash Panangaden (McGill) - Peter Selinger (Dalhousie) =========================================================================== =========================================================================== 5. (from Nicole Schweikardt) FLoC 2010: Call for Participation: 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org Early registration deadline: 17 May 2010. * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at the University of Edinburgh (www.inf.ed.ac.uk). * FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and a number of other affiliated events. * Program: The FLoC'10 program includes plenary talks by David Basin, Georg Gottlob, David Harel, and Gordon Plotkin, as well as keynote talks by Deepak Kapur and J Strother Moore. Please consult the FLoC website for further information on invited speakers and contributed talks of all the participating conferences. * The city of Edinburgh: Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the most vibrant, cosmopolitan cities in Europe, has been regularly voted one of the most desirable places to live in the world - and the University is at the heart of it all. Located throughout the centre of the city, the campus plays an integral part in the activities of Scotland's lively capital. Set against a beautiful backdrop of stunning architecture, Edinburgh is a welcoming, cosmopolitan city with a large and diverse student population. The city offers an exciting array of entertainment, history, culture and sport, with the lush Scottish countryside and coastline just a few miles away. It is a safe and prosperous city, with an abundance of parks and green spaces for recreation and reflection. FLoC receptions will be held at the Edinburgh Castle (11 July) and the National Galleries of Scotland (16 July). * Registration: For online registration for FLoC, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration is 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. * Accomodation: Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html * Student Travel Grants: FLoC has raised funds to help students with participating in the 2010 meeting. See details on the conference website. * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov =========================================================================== =========================================================================== 6. (from Nicole Schweikardt) FLoC 2010: Student Travel Grants: FLoC 2010: Student Travel Grants The 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) will be held in Edinburgh, Scotland, U.K., on July 9-21, 2010. See http://www.floc-conference.org/. FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and other affiliated events. FLoC has received funds to provide travel grants of up to $750 for student participants of FLoC'10. Funds can be requested to cover airfare and lodging. We expect to award about 100 grants. Application deadline is May 3, 2010. Application form is available at http://www.floc-conference.org/floc-student-grants.html/. =========================================================================== =========================================================================== 7. (from Maurice Margenstern) Cancellation of MCU'2010: Due to special circumstances, the organisers have announced the cancellation of MCU'2010. =========================================================================== =========================================================================== 8. (from Thomas Hinze) CMC11: 2nd CfP Eleventh International Conference on Membrane Computing, Jena, Germany, 24-27 August 2010: *********************** CMC11 2nd Call for Papers ********************** Eleventh International Conference on Membrane Computing (CMC11) Friedrich-Schiller University Jena, Germany, 24-27 August 2010 http://cmc11.uni-jena.de News: * Submission and registration are now open. * CMC11 is supported in part by the German Research Foundation (DFG). *********************************************************************** Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localised manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment. From a systems biological point of view, membrane systems provide a discrete modelling approach to describe biological reaction systems composed of interconnected membranes. Each membrane delimits a spatial region in which chemical reactions can occur. Within a membrane, a multiset of objects represents molecular particles while dedicated term-rewriting mechanisms simultaneously execute reaction rules associated to each membrane. Supplementary rules can control the exchange of objects among membranes or even modify the membrane structure. Hence, capturing descriptional aspects of structural dynamics is seen as an advantageous feature of membrane systems. Further information about membrane computing can be found at the P systems web page. Having now for the first time the status of a conference, CMC11 aims for continuing the fruitful tradition of 10 previous editions of the International Workshop on Membrane Computing (WMC). It is intended to bring together researchers working in membrane computing and related areas in a friendly atmosphere enhancing communication and cooperation. We are pleased to host CMC11 at the Friedrich Schiller University Jena in collaboration with the Jena Centre for Bioinformatics under the auspices of the European Molecular Computing Consortium and the Molecular Computing Task Force of the Emergent Technologies Technical Committee at IEEE Computational Intelligence Society. IMPORTANT DATES * Paper submission: 10 May 2010 * Paper notification: 4 June 2010 * Early bird registration: 11 June 2010 * Camera-ready version: 5 July 2010 * Registration deadline: 5 July 2010 * Conference: 24-27 August 2010 INVITED SPEAKERS * Gabriel Ciobanu (Iasi, Romania) * Peter Dittrich (Jena, Germany) * Martin Kutrib (Giessen, Germany) * Maurice Margenstern (Metz, France) PROGRAM COMMITTEE * Artiom Alhazov (Hiroshima, Japan) * Gabriel Ciobanu (Iasi, Romania) * Erzsébet Csuhaj-Varjú (Budapest, Hungary) * Gabi Escuela (Jena, Germany) * Rudolf Freund (Vienna, Austria) * Pierluigi Frisco (Edinburgh, UK) * Marian Gheorghe (Sheffield, UK) â~@~S Chair * Thomas Hinze (Jena, Germany) â~@~S Co-chair * Oscar H. Ibarra (Santa Barbara, USA) * Vincenzo Manca (Verona, Italy) * Maurice Margenstern (Metz, France) * Giancarlo Mauri (Milan, Italy) * Van Nguyen (Adelaide, Australia) * Marion Oswald (Budapest, Hungary) * Linqiang Pan (Wuhan, China) * Gheorghe Paun (Bucharest, Romania and Sevilla, Spain) * Mario J. Perez-Jimenez (Sevilla, Spain) * Dario Pescini (Milan, Italy) * Francisco J. Romero-Campero (Nottingham, UK) * Monika Sturm (Dresden, Germany) * Sergey Verlan (Paris, France) SUBMISSION Original research contributions (including significant work-in-progress) on membrane computing, its applications and related subjects are sought. Contributions reporting in-vivo or in-silico experimental results are particularly encouraged. Authors are invited to submit their contribution as PDF, written in English and preferrably prepared in LaTeX using Springer LNCS style (llncs). There are three categories for submission: (1) Full paper of a reasonable length (2) Software manual. To assign a contribution to this category, the title should include the phrase «Software Manual». A software manual should introduce a self-made software tool relevant to applications for membrane computing or related areas (e.g. a membrane system simulator, a membrane system designer, a visualization tool, a format converter, a statistical tool, a new version of an existing membrane computing tool with extended or revised features, ...). A typical software manual consists of at least three parts: the user manual, a (short) technical description, and some dedicated case studies like simulation results or findings. Moreover, a software manual should contain a download or access link via internet to enable the reviewers to test the corresponding software. (3) Extended abstract for poster presentation, maximum four pages. Typical extended abstracts present significant work-in-progress, late-breaking results, or initial self-dependent contributions of students new in the field. All submissions will be reviewed by at least three referees. The pre-proceedings volume will be available during the conference. The final proceedings, a volume in Springer Lecture Notes in Computer Science series, for selected and additionally refereed papers, will be published after CMC11. SATELLITE WORKSHOPS * Workshop on Non-Classical Models of Automata and Applications (NCMA) * Applications of Membrane computing, Concurrency and Agent-based   modeling in POPulation biology (AMCA-POP) * Fourth Workshop on Membrane Computing and Biologically Inspired   Process Calculi (MeCBIC) OTHER RELEVANT DETAILS Conform the tradition, the conference is planned as a friendly working meeting, with a good balance of science, tourism, socializing, and scientific collaboration. The basic registration fee (early bird rate) will be of about 200 euros per person, to be paid along with registration via bank transfer. The basic fee covers conference participation as well as the tourist program. Further optional service will be offered upon supplementary fees. The accommodation, to be paid by each participant, will be available at various prices. To know more about Jena, consult: http://en.wikipedia.org/wiki/Jena We are looking forward to welcoming you to CMC11 in Jena. Best regards Thomas (CMC11 PC co-chair and OC chair) -- Dr. Thomas Hinze Friedrich-Schiller University Jena School of Biology and Pharmacy Department of Bioinformatics Ernst-Abbe-Platz 1-4 D-07743 Jena, Germany url: http://users.minet.uni-jena.de/~hinze =========================================================================== =========================================================================== 9. (from Denis Hirschfeldt) Workshop in Computability Theory: Paris, July 23-34: A Workshop in Computability Theory will be held at the University of Chicago Center in Paris (http://centerinparis.uchicago.edu/) on July 23-24. This is a satellite workshop of the 2010 European Logic Colloquium, and also the second session of the 2010 edition of the Workshop in Computability Theory series: see http://www.fmi.uni-sofia.bg/fmi/logic/msoskova/wct/index_files/Page417.htm. The Chicago Center is located just across the street from the venue of the Logic Colloquium (http://logic2010.org/), so the same hotels will be convenient. Speakers will include: Barbara Csima, University of Waterloo David Diamondstone, University of Chicago Ekaterina Fokina, University of Vienna Valentina Harizanov, George Washington University Alberto Marcone, University of Udine Wolfang Merkle, Heidelberg University Richard Shore, Cornell University Mariya Soskova, Sofia University Alexandra Soskova, Sofia University For more information, please contact the organizers: Denis Hirschfeldt (drh@math.uchicago.edu) Antonio Montalban (antonio@math.uchicago.edu) =========================================================================== =========================================================================== 10. (from Enrico Franconi) European Masters Program in Computational Logic: *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Magistrale). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria Within this program, completely in English, students will spend the first semester of the first year at the Technische Universitaet Dresden (TUD), the second semester of the first year at the Free Uni- versity of Bozen-Bolzano (FUB), and the second year in one of the 4 partner universities chosen by the student. It is possible to spend 3 months at the National ICT Australia (NICTA) Research Centre of Excellence, which gives the possibility to work on a project at one of the world's leading research centers. After this, the student will obtain a joint European Master of Science degree. APPLICATION DEADLINE: - *** 15 May 2010 *** deadline for European and non-European students (notification of acceptance: 15 June 2008) SCHOLARSHIPS & MONEY SUPPORT: Several scholarships (all including tuition/enrolment fee waivers) are offered by the EMCL to the best students for the duration of the master program: FULL scholarships of 750 EUR per month; SMALL scholarships of 200 EUR per month; and SIMPLE tuition/enrolment fee waivers. All European students will get a LLP Socrates Erasmus scholarship for the second year of study, corresponding to 330 EUR per month. European citizens can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. This scholarship is only for the year of study at FUB and it may amount up to more than 6,000 EUR per academic year, plus support on the accommodation and a tuition/enrolment fee waiver. These scholarships are also available to non-European citizens with residence in Italy. Check the web page for detailed info on other available scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Magistrale in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Prof. Enrico Franconi or Dr. Sergio Tessaris at info@fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0471 016 009 Email: info@fub.computational-logic.eu Web site: http://www.computational-logic.eu =========================================================================== =========================================================================== 11. (from Igor Potapov) 4th Workshop on Reachability Problems, RP'2010 (deadline for submissions April 21):: 4th WORKSHOP ON REACHABILITY PROBLEMS, RP'2010 (August 27-29, 2010, Masaryk University, Brno, Czech Republic) co-located with MFCS & CSL 2010 http://www.csc.liv.ac.uk/~rp2010/ --------------------------------------------------- ==== Deadline for submissions: April 21, 2010 ==== ==== Proceedings will be published in the ==== ==== Springer LNCS series ==== --------------------------------------------------- The Workshop on Reachability Problems will be hosted by the Faculty of Informatics, Masaryk University, Brno, Czech Republic and will be co-located with Joint MFCS and CSL 2010. RP'10 is the fourth in the series of workshops following three successful meetings at Ecole Polytechnique, France in 2009 at University of Liverpool, UK in 2008 and at Turku University, Finland in 2007. Scope: The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Logic and Verification Invited Speakers: ================= - Markus Holzer (Giessen University, Germany) - Kim Guldstrand Larsen (Aalborg University, Denmark) - Alexander Rabinovich (Tel Aviv University, Israel) - Philippe Schnoebelen (ENS Cachan, France) Important dates: ================= Submission: April 21, 2010 Notification: June 3, 2010 Final version: June 10, 2010 Conference dates: Aug. 27-29, 2010 Topics of interest: ====================== Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. Topics of interest include (but are not limited to): Reachability for infinite state systems, rewriting systems; Reachability analysis in counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of semigroups, groups and rings; Reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms The reachability problems are in the core of many questions of computer science and mathematics. This topic covers many aspects about the analysis of computational traces/paths in classical and unconventional computational models, logic, algebraic structures as well as in mathematical systems and control theory. The classical reachability can be formulated as follows: Given a computational system or model with a set of allowed transformations (functions). Decide whether a certain state of a system is reachable from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in term of some property as a parameterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations, their equivalence; unavoidability of some dynamics and a possibility to avoid undesirable dynamic using a limited control. Proceedings =========== The Conference Proceedings will be published as the volume of the Springer Verlag Lecture Notes in Computer Science (LNCS) series www.springer.com/lncs and distributed at the Conference. We plan also to publish selected papers in a special issue of a high quality journal following the regular referee procedure. Submissions: ============ Authors are invited to submit a draft of a full paper with at most 12 pages (in LaTeX, formatted according to LNCS guidelines) via the conference web page. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in postscript or pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Program Committee: ================== - Parosh Aziz Abdulla, Uppsala - Eugene Asarin, Paris - Christel Baier, Bonn - Bernard Boigelot, Liege - Olivier Bournez, Palaiseau - Cristian S. Calude, Auckland - Stephane Demri, Cachan - Javier Esparza, Munich - Laurent Fribourg, Cachan - Vesa Halava, Turku - Oscar Ibarra, Santa Barbara - Franjo Ivancic, Princeton - Juhani Karhumaki, Turku - Joost-Pieter Katoen, Aachen - Antonin Kucera, Brno - Michal Kunc, Brno - Alexander Kurz, Leicester - Slawomir Lasota, Warsaw - Alexei Lisitsa, Liverpool - Luke Ong, Oxford - Igor Potapov, Liverpool - Wolfgang Thomas, Aachen - Hsu-Chun Yen, Taipei Organizing Committee: ===================== - Antonin Kucera (Masaryk University) - Igor Potapov (University of Liverpool) Contact details: RP'2010 Faculty of Informatics, Masaryk University, Emails: Antonin Kucera tony@fi.muni.cz Igor Potapov potapov@liverpool.ac.uk =========================================================================== =========================================================================== 12. (from Ana Bove) PAR-10 call for participation and informal presentations: ======================================================================== Call for Informal Presentations and Participation PAR 2010 Workshop on Partiality And Recursion in Interactive Theorem Provers Edinburgh, UK, 15 July 2010 (satellite workshop of ITP'10) a mid-FLoC 2010 workshop ======================================================================== PAR'10 is a one-day workshop organised as a part of FLoC'10. It is a venue for researchers working on new approaches to cope with partial recursive or corecursive functions in interactive theorem provers. See for further details. The programme of the workshop will comprise of two invited talks, and several regular paper presentations. Additionally, we wish to provide an opportunity for informal discussion of ongoing research on partial recursion and co-recursion in interactive theorem provers. If you wish to contribute an informal presentation, please upload a title and an abstract by *28 April 2010* to EasyChair via . We will try to accommodate as many short presentations as our schedule allows. We take the opportunity to remind you that the early registration to FLoC and its workshops is open until the 17th of May. Please register and participate in PAR'10 even if you do not wish to submit any talks. -- PAR'10 organising committee =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text to s.b.cooper@leeds.ac.uk to arrive by May 7th, 2010 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2010 http://www.cie2010.uac.pt/ CiE Membership Application Form http://www.cs.swan.ac.uk/acie ALAN TURING YEAR http://www.turingcentenary.eu/ ___________________________________________________________________________