[FOM] LICS Newsletter 105
Kreutzer + Schweikardt
lics at informatik.hu-berlin.de
Fri Jul 21 13:57:40 EDT 2006
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 at 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 at 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 at dimi.uniud.it or areces at 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 at 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 at di.unipi.it
- Don Sannella, Laboratory for Foundations of Computer Science,
University of Edinburgh, dts at 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 at 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
More information about the FOM
mailing list