Newsletter 105 July 21, 2006 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html * To unsubscribe, send an email with "unsubscribe" in the subject line to lics@informatik.hu-berlin.de ******************************************************************* TABLE OF CONTENTS * VACANCIES University of Edinburgh - Three Research Positions * AWARDS E.W. Beth Dissertation Prize - Call for Nominations 2006 Ackermann Award of the EACSL - Award Winners * JOURNAL ANNOUNCEMENT Journal of Mathematical Cryptology * CONFERENCES AND WORKSHOPS FLoC 2006 - Call for Participation ACL2 2006 - Call for Participation ICLP 2006 - Call for Participation RelMiCS/AKA 2006 - Call for Participation Symposium for Gordon Plotkin - Call for Participation WS-FM 2006 - Call for Participation JELIA 2006 - Call for Participation TGC 2006 - Call for Papers STACS 2007 - Call for Papers FSEN 2007 - Call for Papers Logic, Computability and Randomness 2007 - Call for Papers CALCO 2007 - Call for Papers VACANCIES: UNIVERSITY OF EDINBURGH - THREE RESEARCH POSITIONS http://www.jobs.ed.ac.uk/vacancies/index.cfm?fuseaction=vacancies.detail&vacancy_ref=3006150 * The Database Group at the University of Edinburgh, led by Peter Buneman, Wenfei Fan and Leonid Libkin, is recruiting post-doctoral researchers in connection with a recently-funded grant in data exchange and data integration, an established grant researching XML/database security, and the UK Digital Curation Centre, which also sponsors new areas of database research. While the positions are primarily open to database researchers with a promising publication record, all applicants with a strong background in computer science will be considered. Skills in theory, algorithms and systems building are particularly valuable. * Potential research topics include Data exchange and integration, Logic and automata in databases, Security in XML and databases, Data provenance, Expressive power and complexity of query languages, Stream database systems, Publishing and transformations, Scientific databases. There are ample travel and equipment funds to support this research. E.W. BETH DISSERTATION PRIZE: CALL FOR NOMINATIONS Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. * Submissions are invited for 2005. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2005. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. * Who qualifies: Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2005 and December 31st, 2005. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2005 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for 2006). * The prize consists of * a certificate * a donation of 2500 euros provided by the E. W. Beth Foundation. * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site) * How to submit: Only electronic submissions are accepted. The following documents are required: 1. the thesis in pdf or ps format (doc/rtf not accepted); 2. a ten page abstract of the dissertation in ascii or pdf format; 3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. * All documents must be submitted electronically to beth_award@dimi.uniud.it Hard copy submissions are not admitted. * In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to policriti@dimi.uniud.it or areces@loria.fr * Important dates Deadline for Submissions: July 31, 2006. Notification of Decision: November 15, 2006. * Committee: Anne Abeillé (Université Paris 7), Johan van Benthem (University of Amsterdam), Nissim Francez (The Technion, Haifa), Valentin Goranko (University of the Witwatersrand, Johannesburg), Alessandro Lenci (University of Pisa), Ewa Orlowska (Institute of Telecommunications, Poland), Gerald Penn (University of Toronto), Alberto Policriti (chair) (Università di Udine), Rob van der Sandt (University of Nijmegen), Wolfgang Thomas (RWTH Aachen) 2006 ACKERMANN AWARD OF THE EACSL The Jury of the Ackermann Award has decided to give the 2006 Ackermann Awards to * Balder ten Cate Amsterdam University (Advisor: Johan van Benthem) http://staff.science.uva.nl/~bcate/ Thesis: Model Theory for Extended Modal Languages * Stefan Milius TU Braunschweig (Advisor: Jiri Adamek) http://www.iti.cs.tu-bs.de/~milius/ Thesis: Coalgebras, Monads and Semantics I would like to congratulate the recipients and their supervisors for their excellent theses. * The Jury consisted of S. Abramsky, B. Courcelle, E. Graedel, M. Hyland, J. Makowsky, D. Niwinski, A. Razborov. * The Award Ceremony will take place during the CSL'06 Conference. http://www.inf.u-szeged.hu/~csl06/ * A detailed report will be published in the CSL'06 Proceedings. I would like to thank all the Jury members for their work. * J.A. Makowsky, President of EACSL and chairman of the Jury http://www.cs.technion.ac.il/~janos * EACSL WEB-pages: http://www.dimi.uniud.it/~eacsl/ http://www.cs.technion.ac.il/eacsl/ http://www.cs.technion.ac.il/eacsl/ackermann/ JOURNAL ANNOUNCEMENT & CALL FOR PAPERS: JOURNAL OF MATHEMATICAL CRYPTOLOGY Starting in 2007 with 4 issues/year, Walter de Gruyter will publish a new high-quality journal devoted to interactions between Cryptology and Mathematics: Journal of Mathematical Cryptology * Aims and Scope: The Journal of Mathematical Cryptology (JMC) is a forum for original research articles in the area of mathematical cryptology. As such, work in the theory of cryptology and articles linking mathematics with cryptology are welcome. Cryptologically significant submissions from all areas of mathematics are equally welcome, including but not limited to, algebra, algebraic geometry, coding theory, combinatorics, number theory, probability and stochastic processes. In particular, the scope includes mathematical results of algorithmic or computational nature that are of interest to cryptology. While JMC does not cover information security as a whole, the submission of manuscripts on information security with a strong mathematical emphasis is explicitly encouraged. * Editorial board: Simon Blackburn, Ernie Brickell, Mike Burmester, Ronald Cramer, Ed Dawson, Gerhard Frey, Robert Gilman, Otokar Grosek, Hideki Imai, Kwangjo Kim, Neal Koblitz, Kaoru Kurosawa, Spyros Magliveras, Alfred Menezes, Ron Mullin, Phong Nguyen, Birgit Pfitzmann, Josef Pieprzyk, Rei Safavi-Naini, Rainer Steinwandt, Doug Stinson, Tran van Trung, Wandi Wei, Hugh Williams, Moti Yung * Information on subscription & manuscript submission: http://www.degruyter.de/rs/278_8316_ENU_h.htm FLOC 2006 - CALL FOR PARTICIPATION The 2006 Federated Logic Conference, Seattle, Washington, USA August 10 -- August 22, 2006 http://www.easychair.org/FLoC-06/ * We are pleased to announce the fourth Federated Logic Conference (FLoC'06) to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton (http://www.easychair.org/FLoC-06/floc-hotel.html). * FLoC'06 promises to be the premier scientific meeting in computational logic in 2006. The following conferences will participate in FLoC'06: CAV Conference on Computer Aided Verification (Aug 17-20) ICLP Int'l Conference on Logic Programming (Aug 17-20) IJCAR Int'l Joint Conference on Automated Reasoning (Aug 17-20) LICS IEEE Symposium on Logic in Computer Science (Aug 12-15) RTA Conference on Rewriting Techniques and Applications (Aug 12-14) SAT Int'l Conference on Theory and Applications of Satisfiability Testing (Aug 12-15) * The six major conferences will be accompanied by 41 workshops, held on Aug. 10-11, 15-16, and 21-22. * The FLoC'06 program includes a keynote session to commemorate the Goedel Centenary, with John Dawson and Dana Scott as speakers, a keynote talk by David Harel, plenary talks by Randy Bryant and David Dill, and invited talks by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M. Das, J. Esparza, J. Giesl, A. Gordon, T. Hoare, O. Kupferman, M. Lam, D. Miller, K. Sakallah, J. Stoy, and C. Welty. * Seattle, the Emerald city, sits on the shores of Puget Sound surrounded by mountains to the east and west. Lovely views of blue waters and snow capped peaks seem to appear everywhere - around the next bend in the road or between the buildings downtown. Seattle is the gateway to the Pacific Northwest, a premier tourist attraction. In Seattle, Mt. Rainier enchants visitors; in Vancouver, British Columbia, the Coast Range juts out over downtown; and in Portland, 5,000 acres of forestland north of the city center harbor deer, elk, and the odd bear and cougar. * Online registration for FLoC is now open at: http://www.easychair.org/FLoC-06/ * The rates agreed upon between FLoC and the Seattle Sheraton are very reasonable rates for a first-class hotel in downtown Seattle during the summer vacation season. To reduce conference costs and keep registration fees reasonable, FLoC is contractually obligated to meet a commitment for a certain number of FloC attendees staying in the conference hotel. FLoC attendees are strongly encouraged to use the Seattle Sheraton for conference accommodation. Deadline for preferred hotel rate is July 21, 2006. * FLoC'06 Steering Committee Moshe Y. Vardi (General Chair) Thomas Ball (Conference Co-Chair) Jakob Rehof (Conference Co-Chair) Edmund Clarke (CAV) Reiner Hahnle (IJCAR) Manuel Hermenegildo (ICLP) Phokion Kolaitis (LICS) Henry Kautz (SAT) Aart Middeldorp (RTA) Andrei Voronkov (IJCAR) ACL2 2006 - CALL FOR PARTICIPATION International Workshop on the ACL2 Theorem Prover and its Applications In-cooperation with ACM SIGPLAN and ACM SIGSOFT http://www.cc.gatech.edu/~manolios/acl206 * August 15-16, 2006 in Seattle, Washington Part of FLoC 2006 (http://research.microsoft.com/floc06/) Hosted by CAV 2006 and IJCAR 2006 * Important dates: Early Registration Deadline: July 10, 2006 Regular Registration Deadline: August 1, 2006 Hotel Registraion Deadline: July 21, 2006 * ACL2 2006 is the major technical forum for users of the ACL2 theorem proving system and is the sixth in a series of workshops that occur every 18 months. ACL2 is an industrial-strength automated reasoning system that is part of the Boyer-Moore family of theorem provers, winner of the 2005 ACM Software System Award. * Invited Talk: Tony Hoare (Microsoft Research) on "The Ideal of Verified Software" * Panel: David Hardin, Tony Hoare, Gerard Holzmann, J Strother Moore, ... Grand Challenge Problems for the ACL2 Community * Organization Chairs: Panagiotis Manolios, Georgia Institute of Technology Matthew Wilding, Rockwell Collins Inc. Publications: Ruben Gamboa, University of Wyoming Webmasters: Sudarshan Srinivasan, Georgia Tech Daron Vroon, Georgia Tech * Program Committee: Ruben Gamboa, University of Wyoming, USA David Greve, Rockwell Collins Inc., USA Warren Hunt, University of Texas at Austin, USA Deepak Kapur, University of New Mexico, USA Matt Kaufmann, University of Texas at Austin, USA Bill Legato, NSA, USA Panagiotis Manolios, Georgia Institute of Technology, USA Jose Meseguer, University of Illinois at Urbana-Champaign, USA Paul Miner, NASA Langley Research Center, USA J Strother Moore, University of Texas at Austin, USA Lawrence C. Paulson, University of Cambridge, UK Jose Luis Ruiz-Reina, University of Seville, Spain David M. Russinoff, Advanced Micro Devices, Inc., USA Jun Sawada, IBM Austin Research Laboratory, USA Mary Sheeran, Chalmers University of Technology, Sweden Konrad Slind, University of Utah, USA Matthew Wilding, Rockwell Collins Inc., USA ICLP 2006 - CALL FOR PARTICIPATION 22nd International Conference on Logic Programming * August 17-20, 2006 in Seattle, Washington Part of FLoC 2006 (http://research.microsoft.com/floc06/) * The ICLP'06 program includes a keynote talk by David Harel, plenary talks by David Dill (both general FLoC'06 events), and invited talks by Monica Lam and Chris Welty. The technical program will also include 27 regular presentations, 17 poster presentations and the traditional Prolog programming contest. * Online registration for ICLP/FLoC is now open at: http://www.easychair.org/FLoC-06/ * The registration page offers an opportunity for ICLP 2006 participants to provide a voluntary contribution of $50 to the Association for Logic Programming (ALP). We encourage every participant to consider contributing to the ALP. RELMICS/AKA 2006 - CALL FOR PARTICIPATION Joint 9th International Conference on Relational Methods In Computer Science and 4th International Workshop of Applications of Kleene Algebra * 29 August - 2 September 2006, Manchester, UK * www.cs.man.ac.uk/relmics06/ * The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a meeting on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. * Important Deadlines: - Early Registration: 3 July 2006 - Registration: 7 August 2006 * Programme: The conference features 3 invited talks and 24 contributed papers. The full programme is available at the conference website. Invited Talks: - Ernie Cohen (Microsoft) - Roger Maddux (Iowa State University) - Jeff Sanders (Oxford) * Registration: Registration and conference information, including travel and accommodation, is now available at the conference website. The registration website can be found directly at www.cs.manchester.ac.uk/ACSO/RelMiCS/registration1.php * The early registration deadline is July 3. Registration ends August 7. After that, registration will be on-site at the conference location. * Grants: There is a small number of grants for students and participants from economically less well off countries. Please refer to the conference website for details. * Co-Located Events: A PhD-training programme on Relational Methods and Kleene Algebra in Computer Science will take place on August 28. It includes tutorials by John Derrick (Sheffield) and Peter Jipsen (Chapman University). Participation is open for everyone. More details can be found at the conference website. * General Chair: Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk * Programme Committee: Roland Backhouse, Nottingham, UK, Brandon Bennett, Leeds, UK, Rudolf Berghammer, Kiel, Germany, Stephane Demri, Cachan, France Jules Desharnais, Laval, Canada, Zoltan Esik, Szeged, Hungary & Tarragona, Spain Marcello Frias, Buenos Aires, Argentina, Hitoshi Furusawa, AIST, Japan Stephane Gaubert, INRIA, France, Steven Givant, Mills College, USA Valentin Goranko, Witwatersrand, South Africa, Martin Henson, Essex, UK Ali Jaoua, Quatar, Peter Jipsen, Chapman University, USA Wolfram Kahl, McMaster, Canada, Yasuo Kawahara, Kyushu, Japan Zhiming Liu, UNU-IIST Macao, China, Bernhard Moeller, Augsburg, Germany Damian Niwinski, Warsaw, Poland, Ewa Orlowska, Warsaw, Poland Alban Ponse, Amsterdam, The Netherlands, Ingrid Rewitzky, Stellenbosch, South Africa Ildiko Sain, Hungarian Academy of Sciences, Holger Schlingloff, Berlin, Germany Gunther Schmidt, Muenchen, Germany, Renate Schmidt, Manchester, UK Giuseppe Scollo, Catania, Italy, Georg Struth, Sheffield, UK (PC Chair) Harrie de Swart, Tilburg, The Netherlands, Michael Winter, St.Catharines, Canada SYMPOSIUM FOR GORDON PLOTKIN A symposium to celebrate the 60th birthday of Gordon Plotkin Call for Participation Edinburgh, 7-8 September, 2006 http://www.lfcs.ed.ac.uk/events/plotkin-symposium/ * Programme: Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September. * Invited speakers: Martin Abadi (UC Santa Cruz); Samson Abramsky (University of Oxford); Rod Burstall (University of Edinburgh, Emeritus); Luca Cardelli (Microsoft Research, Cambridge); Marcelo Fiore (University of Cambridge); Philippa Gardner (Imperial College); Matthew Hennessy (University of Sussex); Robin Milner (Univerity of Cambridge, Emeritus); Eugenio Moggi (Universita` di Genova); John Power (University of Edinburgh); David Pym (Hewlett-Packard Laboratories, Bristol); Dana Scott (Carnegie Mellon University, Emeritus); Colin Stirling (University of Edinburgh); Glynn Winskel (University of Cambridge). * Support for PhD Students: Financial assistance is available for UK-based PhD students who wish to attend the symposium. This will be issued on a first-come first-served basis. * Registration: is now open. For more information see webpage. WS-FM 2006 - CALL FOR PARTICIPATION 3rd International Workshop on Web Services and Formal Methods 8-9 September 2006, Vienna, Austria http://cs.unibo.it/ws-fm06 * Official event of "The Process Modelling Group" http://www.process-modelling-group.org * Co-located with BPM 2006, 4th International Conference on Business Process Management, http://bpm2006.tuwien.ac.at * Early registration deadline: July 31st * The aim of the workshop is to bring together researchers working on Web Services and Formal Methods in order to facilitate fruitful collaboration in this direction of research. This, potentially, could also have a great impact on the current standardization phase of Web Service technologies. * The topics of interest include, but are not limited to: - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... ) - Languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, YAWL, etc... ) - Coordination techniques for WS (transactions, agreement, coordination services, etc...) - Semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories) - Security, Performance Evaluation and Quality of Service of WS - Semi-structured data and XML related technologies * Invited Talks: - Wil van der Aalst, Eindhoven University of Technology, The Netherlands - Roberto Bruni, University of Pisa, Italy - Schahram Dustdar, Wien University of Technology, Austria * Program Committee Co-Chairs: - Mario Bravetti University of Bologna, Italy - Gianluigi Zavattaro University of Bologna, Italy * Detailed information can be found on the webpage http://cs.unibo.it/ws-fm06 JELIA 2006 - CALL FOR PARTICIPATION European Conference on Logics in AI Liverpool, 13 - 15 September, 2006 * The registration for JELIA'06 is now open: http://www.csc.liv.ac.uk/~jelia06 * JELIA this year accepted 34 papers, 12 system demonstrations, and attracted 3 well-known invited speakers: - Saso Dzeroski (Ljubljana) - Illka Niemela (Helsinki) - Andrei Voronkov (Manchester) * On top of this, we have a grant scheme for students in place! * Registration is open until 14th of August, and the fee includes a copy of the proceedings, conference dinner, social excursion and lunches. TGC 2006 - CALL FOR PAPERS 2006 International Symposium on "Trustworthy Global Computing" http://www.imtlucca.it/tgc2006 IMT, Lucca, November 7-9, 2006 * co-located with the cluster review of IST-FET Global Computing II proactive initiative * Important Dates: Registration and submission of title and abstract (hard): July 31, 2006 Paper submissions (hard): August 4, 2006 Notification to authors: September 16, 2006 Final version due: October 13, 2006 Conference: November 7-9, 2006 * Scope: In 2005, the FET-IST Programme of the European Union launched three Integrated Projects dedicated to these themes within the Global Computing II proactive initiative. These projects are now due to be reviewed after their first year of activity. This symposium will be devoted to presenting and discussing recent progress in trustworthy global computing within these projects and beyond. We are looking for papers dealing with the following issues (the list should not be considered exhaustive): - theories, models and algorithms for global computing and service oriented computing - language-based security, theories of trust and authentication - secure protocol composition - security through verifiable evidence - game-theoretic approaches to selfishness and security - resource usage and information flow policies - privacy, reliability and business integrity - access control and mechanisms for enforcement - models of interaction and dynamic components management - sharing information and computation - self configuration and adaptiveness - efficient communication - verification of cryptographic protocols - language concepts and abstraction mechanisms - test generators, symbolic interpreters, type checkers - finite state model checkers, theorem provers - software principles to support debugging and verification * Program Chairs: - Ugo Montanari, Dipartimento di Informatica, University of Pisa, ugo@di.unipi.it - Don Sannella, Laboratory for Foundations of Computer Science, University of Edinburgh, dts@inf.ed.ac.uk * Detailed information can be found on the webpage http://www.imtlucca.it/tgc2006 STACS 2007 - CALL FOR PAPERS 24th Symposium on Theoretical Aspects of Computer Science February 22 - February 24, 2007 Aachen, Germany http://www.cs.rwth-aachen.de/stacs07 * Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to): - Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory - Automata and formal languages - Computational and structural complexity - Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction - Current challenges, for example: biological computing, quantum computing, mobile and net computing * Program Committee: E. Asarin (Paris), C. Bazgan (Paris), M.P. Béal (Marne la Vallee), G. Brodal (Aarhus), R. Fleischer (Shanghai), H. Fernau (Tübingen), R. Gavaldà (Barcelona), J. Giesen (Zürich), E. Hemaspaandra (Rochester), M. Hofmann (München), S. Laplante (Orsay), R. Raman (Leicester), R. Ramanujam (Chennai), C. Scheideler (München), A. Srivastav (Kiel), W. Thomas (Aachen, co-chair), P. Weil (Bordeaux, co-chair) * Deadline for Submission: September 17, 2006 Notification of Acceptance: November 22, 2006 FSEN 2007 - CALL FOR PAPERS Second International Symposium on Fundamentals of Software Engineering 2007 Theory and Practice http://cs.ipm.ac.ir/FSEN07 Tehran, Iran, April 17-19 2007 * FSEN is an international symposium aiming to bring together researchers, engineers, developers and practitioners from universities and industry working in every area of formal methods. This symposium seeks to facilitate the transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN in 2005 a next symposium will be held in April 2007. * In Cooperation with ACM SIGSOFT, IFIP * Important Dates: Abstract Submission: October 20 , 2006 Paper Submission: October 27 , 2006 Notification: December 15, 2006 * Topics of Interest include, but are not restricted to, the following: - Models of programs and systems - Software specification, validation and verification - Software architectures and their description languages - Object and multi-agent systems - Coordination and feature interaction - Integration of formal and informal methods - Integration of different formal methods - Component-based development - Service-oriented development - Model checking and theorem proving - Software and hardware verification - CASE tools and tool integration - Application to industrial cases * General Chairs: - Ali Movaghar, Sharif University of Technology, Iran, IPM, Iran - Jan Rutten, Centre for Mathematics and Computer Science (CWI) Vrije Universiteit, The Netherlands * PC Chairs: - Farhad Arbab CWI, Netherlands Leiden University, Netherlands, University of Waterloo, Canada - Marjan Sirjani, Tehran University, Iran, IPM, Iran * Program Committee: Gul Agha - University of Illinois at Urbana - Champaign, USA Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada Mohammad Ardeshir - Sharif University of Technology, Iran Christel Baier - University of Bonn, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Marcello Bonsangue - Leiden University, Netherlands James C. Browne - University of Texas at Austin, USA Michael Butler - University of Southampton, UK Nancy Day - University of Waterloo, Canada Masahiro Fujita - University of Tokyo, Japan Radu Grosu - State University of New York at Stony Brook, USA Michael Huth - Imperial College of London, UK Mohammad Reza Meybodi - AmirKabir University of Technology, Iran Seyyed Hassan Mirian - Sharif University of Technology, Iran Marta Kwiatkowska - University of Birmingham, UK Ugo Montanari - University of Pisa, Italy Mohammad Reza Mousavi - Technical University of Eindhoven, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran George Papadopoulos - University of Cyprus, Cyprus Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands Sandeep Shukla- Virginia Tech, USA Marjan Sirjani - IPM, Iran; Tehran University, Iran Carolyn Talcott - SRI International, USA CONFERENCE ON LOGIC, COMPUTABILITY AND RANDOMNESS 2007 - CALL FOR PAPERS January 10 to 13, 2007, Buenos Aires, Argentina http://www.dc.uba.ar/people/logic2007/ * The theme of the conference will be algorithmic randomness and related topics in logic, computability and complexity. The program will consist of invited talks, contributed talks and discussions. * The conference will be held at Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. * The meeting is sponsored by the Association for Symbolic Logic. There is no registration fee. Student members of the ASL can apply for travel grants (the approval process takes a few weeks). * Submissions Abstracts of contributed talks should be sent by October 1st 2006, to logic2007@dc.uba.ar. * Plenary Speakers Eric Allender (Rutgers University) Roberto Cignoli (CONICET, Argentina) Serge Grigorieff (Universite Paris 7) -to be confirmed- Joos Heintz (University of Buenos Aires / University of Cantabria) Carl Jockusch (University of Illinois at Urbana-Champaign) Antonin Kucera (Charles University, Prague) Steffen Lempp (University of Wisconsin) Wolfgang Merkle (University of Heidelberg) Andre Nies (University of Auckland) -to be confirmed- Joseph S. Miller (University Connecticut) Jan Reimann (University of Heidelberg) Claus-Peter Schnorr (University of Frankfurt am Main) Theodore Slaman (University of California) Sebastiaan Terwijn (Technical University of Vienna) * Program Committee Rod Downey (Victoria University, Wellington, New Zealand) Denis Hirschfeldt (University of Chicago, USA) Veronica Becher (University of Buenos Aires, Argentina) * Local Organizers Veronica Becher, Santiago Figueira, Daniel Gorin, Sergio Mera, Mariano Perez Rodriguez. CALCO 2007 - Call for Papers 2nd Conference on Algebra and Coalgebra in Computer Science August 20-24, 2007, Bergen, Norway http://www.ii.uib.no/calco07/ * Important dates: Abstract submission : January 28, 2007 Technical paper submission: February 7, 2007 Author notification: March 28, 2007 * CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The first CALCO conference took place 2005 in Swansea, Wales (http://www.cs.swan.ac.uk/calco/index.php), and was a huge success. The second event will take place 2007 in Bergen, Norway. Its aim is to be at least as successful. * Topics of Interest: We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practise. More details can be found on the webpage. * Programme Committee: Jiri Adamek, University of Braunschweig, D Jose Fiadeiro, University of Leicester, UK H.Peter Gumm, Philipps University, Marburg, D Bartek Klin, University of Warsaw, PL Bart Jacobs, University of Nijmegen, NL Marina Lenisa, University of Udine, I Ugo Montanari, University of Pisa, I (co-chair, http://www.di.unipi.it/~ugo/) Larry Moss, Indiana University, Bloomington, USA Till Mossakowski, University of Bremen and DFKI Lab Bremen, D (co-chair, http://www.informatik.uni-bremen.de/~till/) Peter Mosses, University of Wales Swansea, UK Fernando Orejas, Politechnical University Catalonia, Barcelona, E Prakash Panangaden, McGill University, CA Dirk Pattinson, University of Leicester, UK Dusko Pavlovic, Kestrel Institute, USA Jean-Eric Pin, CNRS-LIAFA Paris, F John Power, University of Edinburgh, UK Horst Reichel, Technical University of Dresden, D Grigore Rosu, University of Illinois, Urbana, USA Jan Rutten, CWI and Free University, Amsterdam, NL Davide Sangiorgi, University of Bologna, I Andrzej Tarlecki, Warsaw University, PL Martin Wirsing, Ludwig-Maximilian University, Munich, D Uwe Wolter, University of Bergen, NO
Back to the LICS web page.