[FOM] [CiE] Newsletter No.34, June 1, 2010

CiE cie at maths.leeds.ac.uk
Tue Jun 1 11:22:29 EDT 2010


CiE Newsletter No.34, June 1, 2010:

There is still time to register for CiE 2010 in Ponta Delgada, until
June 20th - register at:

http://www.cie2010.uac.pt/contents/registration.html

For an up-to-date CiE 2010 schedule, go to:

http://www.cie2010.uac.pt/contents/timetable.html

And a final reminder that the deadline for 
nominations to the Association CiE Board is 
Wednesday 2nd June, 2010. And the deadline for 
proposals for CiE Annual General Meeting is 10th June, 2010.

___________________________________________________________________________
CONTENTS:

1. July publication date for "Algorithmic 
Randomness and Complexity" by Rod Downey and 
Denis Hirschfeldt, in CiE/Springer book series

2. Pre-announcement of UC'2011 dates - Unconventional Computation 2011,
in Turku, Finland, on June 6-10, 2011

3. International Workshop on Classical Logic and Computation (CL&C'10)

4. Kurt Goedel Research Prize Fellowships Announcement

5. SOFSEM 2011 Call for Papers

6. ICALP 2010, July 5-10, 2010 Bordeaux, France - 
Deadline for early registration: June 4th, 2010

7. 17th International Conference on Logic for 
Programming, Artificial Intelligence and 
Reasoning (LPAR-17) - submission deadlines

8. IJCAR 2010 - 5th International Joint 
Conference on Automated Reasoning, Edinburgh, UK, 
July 16-19, 2010- 2nd Call for Participation


=========================================================================== 
===========================================================================
1. (from Barry Cooper) July publication date for 
"Algorithmic Randomness and Complexity" by Rod Downey and Denis Hirschfeldt:

As most CiE members will know, the first book in 
the CiE/Springer book series "Theory and 
Applications of Computability" will be the 
eagerly awaited mammoth volume: "Algorithmic 
Randomness and Complexity" by Rod Downey and 
Denis Hirschfeldt. The book is now in press, and 
expected to appear in July this year (just after CiE 2010 in the Azores).

The book is still available for pre-order from 
Springer at the bargain price of 45.96 euros:

http://bit.ly/bIjZW7

and from Amazon.com at $51.91.


=========================================================================== 
===========================================================================
2. (from Jarkko Kari) Pre-announcement of UC'2011 dates:

Please note the dates for Unconventional 
Computation 2011: It will take place in Turku, Finland, on June 6-10, 2011.

(Reminder: CiE 2011: Models of Computation in 
Context, will be in Sofia, Bulgaria, 27 June - 2 July 2011.)


===========================================================================
===========================================================================
3. (from Uli Berger) International Workshop on 
Classical Logic and Computation (CL&C'10):

                       2nd Call forPapers

International Workshop on Classical Logic and Computation (CL&C'10)
                http://www.doc.ic.ac.uk/~svb/CLaC10
                       21-22 August 2010
                      Brno, Czech Republic

CL&C'10 is a joint workshop with PECP and a 
satellite of the federated conferences CSL and MFCS

IMPORTANT DATES
Deadline for abstract:          June,     13, 2010
Deadline for submission:        June,     27, 2010
Notification of acceptance:     July,     17, 2008
Final version due:              July,     27, 2010
Workshop date:                  August,   21-22, 2010

INTRODUCTION
CL&C'10 is the third of a conference series on "Classical Logic and
Computation". It intends to cover all work aiming 
to explore computational aspects of classical 
logic and mathematics.  This year CL&C will be 
held as part of CSL and MFCS, jointly with PECP 
(Program Extraction and Constructive Proofs):
         http://www.cs.swansea.ac.uk/~csmona/pecp.html
Through these two workshops we wish to honour 
Prof. Helmut Schwichtenberg's many important contributions to both fields.

CL&C is focused on the interplay between program 
extraction from classical proofs and computer 
science, while PECP will focus on recent 
developments in Applied Proof Theory and 
Constructive Mathematics. The two fields have a 
substantial common interest, namely the 
exploration of the computational content of 
mathematical and logical principles.  The 
scientific aim of this workshop is to bring 
together researchers from both fields and exchange ideas.

SCOPE OF CL&C
This workshop aims to support a fruitful exchange 
of ideas between the various lines of research on 
Classical Logic and Computation. Topics of 
interest include, but are not limited to,

   - version of lambda calculi adapted to represent classical logic,
   - design of programming languages inspired by classical logic,
   - cut-elimination for classical systems,
   - proof representation and proof search for classical logic,
   - translations of classical to intuitionistic proofs,
   - constructive interpretation of non-constructive principles,
   - witness extraction from classical proofs,
   - constructive semantics for classical logic (e.g. game semantics),
   - case studies (for any of the previous points).

SUBMISSION AND PUBLICATION, This is intended to be an informal workshop.
Participants are encouraged to present work in progress, overviews of
more extensive work, and programmatic/position papers, as well as
completed projects. We therefore ask for submission both of short
abstracts and of longer papers.

All submitted papers will be reviewed to normal 
standards. The PC recognises two kinds of papers: 
it will distinguish between accepted (full) 
papers that contain unpublished results not 
submitted elsewhere, and presentations of (short) 
papers about work in progress. The accepted papers will appear in EPTCS.

Post-proceedings of CL&C'06 and CL&C'08 were 
published as special issues of APAL, for which an 
open call for papers was sent. A special issue of 
a journal, with the post-proceedings of CL&C'10, is being considered.

In order to make a submission:
- Format your file using the LNCS guidelines; there is a 15 page limit.
- Use the submission instructions at
         http://www.easychair.org/conferences/?conf=clac10

A participants' proceedings will be distributed at the workshop.

INVITED KEYNOTE SPEAKERS (Jointly with PECP)
      * Helmut Schwichtenberg (Munich)
      * Michael Rathjen (Leeds)
      (further speakers to be announced)

PROGRAMME COMMITTEE
* Bernard Reus (Sussex)
* Hugo Herbelin (Inria Paris)
* Richard McKinley (Bern)
* Stefano Berardi (Turin) - co-chair
* Steffen van Bakel (Imperial College London) - co-chair
* Stephane Lengrand (LIX Paris)
* Ugo de'Liguoro (Turin)
* Ulrich Berger (Swansea) - co-chair
* Zhaohui Luo (Royal Holloway London)

CONTACT
u.berger at swansea.ac.uk


=========================================================================== 
===========================================================================
4. (from Matthias Baaz) Kurt Goedel Research Prize Fellowships
Announcement:

KURT GOEDEL RESEARCH PRIZE FELLOWSHIPS

The Kurt Goedel Society is proud to announce the commencement of the second
round of the Kurt Goedel Research Prize Fellowships Program.

The research fellowship prize program is sponsored by the John Templeton
Foundation and will offer:

     * two Ph.D. (pre-doctoral) fellowships of EUR 100,000
     * two post-doctoral fellowships of EUR 100,000  and
     * one unrestricted fellowship of EUR 100,000

One International Board of Jurors will be in charge of evaluating the
applications and determining up to
twenty finalists whose papers will be published in a special issue of the
Annals of Pure and Applied Logic,
and another international Board of Jurors will be in charge of determining
the winners. Both Boards will be chaired
by Prof. Harvey Friedman, Ohio State University (USA).

Board of Jurors for Determining the Finalists

     * Jeremy AVIGAD, Carnegie Mellon University, (USA)
     * Lenore BLUM, Carnegie Mellon University, (USA)
     * Harvey FRIEDMAN, Ohio State University (USA) CHAIR
     * John HARRISON, Intel Corporation, (USA)
     * Kenneth KUNEN, University of Wisconsin, (USA)
     * Angus MACINTYRE, Queen Mary, University of London and Royal
Society,(UK)
     * Hiroakira ONO, JAIST Research Center for Integrated Science, (JAPAN)
     * Pavel PUDLAK, Czech Academy of Sciences, (Czech Republic)
     * Michael RATHJEN, University of Leeds, (UK)
     * Frank STEPHAN, National University of Singapore, (SINGAPORE)
     * William TAIT, University of Chicago, (USA)
     * Simon THOMAS, Rutgers University, (USA)
     * Albert VISSER, University of Utrecht (NL)
     * Andreas WEIERMANN, Ghent University, (BELGIUM)
     * Boris ZILBER, University of Oxford, (UK)

Board of Jurors for Determining the Winners

     * Lev BEKLEMISHEV, Russian Academy of Sciences (RUS)
     * Harvey FRIEDMAN, Ohio State University (USA) CHAIR
     * Dov M. GABBAY, King's College London (UK)
     * Warren D. GOLDFARB, Harvard University (USA)
     * Howard Jerome KEISLER, University of Wisconsin (USA)

Goal and Criteria of Merit

The purpose of these fellowships is to support original research in, and
areas surrounding, the foundations of mathematics. (See Scope below for more
details.) These fellowships are intended to carry forward the legacy of Kurt
Gödel, whose works exemplify deep insights and breakthrough discoveries in
mathematical logic, with profound impact on the philosophy and foundations
of mathematics. In pursuit of similar insights and discoveries, we adopt the
following criteria of merit for evaluating Fellowship applications:

    1. Intellectual merit, scientific rigor and originality of the submitted
paper and work plan. The paper and research plans should combine visionary
thinking with academic and scientific excellence.
    2. Potential for significant contribution to basic fundamental issues of
wide interest, and the likelihood for opening new, seminal lines of inquiry
that bear on such issues.
    3. Impact of the Fellowship on the project and likelihood that the
Fellowship will make the proposed new lines of research possible.
    4. The expectation that the proposed research will be successful.
    5. Qualifications of the applicants will be evaluated on the basis of all
available information including CV, research paper, research plans, research
accomplishments, and letters of recommendation (recommendation letters are
not required for senior applications).

Winners' Model Projects:
http://fellowship.logic.at/2010/files/Bovykin_Project.pdf
http://fellowship.logic.at/2010/files/Koellner_Project.pdf
Model Questions
http://fellowship.logic.at/index.php?questions

Scope

Original fellowship proposals in the areas of

         * set theory
         * recursion theory
         * proof theory/intuitionism
         * model theory
         * computer assisted reasoning
         * philosophy of mathematics
All fellowship proposals, regardless of subject area, will be judged
according to

     * the relevance and resemblance of the research (finished and proposed)
to the great insights and originality of Kurt Gödel
     * its general interest and clarity of motivation
     * its rigorous scientific quality and depth.

Submission Instructions

The three categories of fellowships are specified as follows:
*Ph.D.(pre-doctoral): being in the stage before finishing the thesis (or
equivalent achievements)
*Post-doctoral: being in the stage within 10 years after finishing the
thesis (or equivalent achievements)
*Unrestricted: also open to senior applicants

The submission must consist of:
- one document A in PDF format containing
   . the CV
   . the project description
   . the recommendation letters
- one document B in PDF format containing the article
- one text abstract relating to B
Maximum allowed length of the abstract is 500 words.

Document A containing the CV, the project description, and the
recommendation letters must be prepared in the following way:
- minimum font size: 10pt
- paper size: A4
- maximum length of the CV: 3 pages
The CV must contain the list of all/most important publications.
The CV must clearly state to which category the application belongs.
- maximum length of project description: 4 pages
Project description should clearly state where and at which institution the
applicant intends to carry out the project.
- minimum 2(two)/maximum 3 (three) 1-page recommendation letters,in case of
applications belonging to the categories Ph.D.(pre-doctoral) and
post-doctoral fellowships.
(The recommendation letters should be scanned and included into the PDF
document)

The submission must be in English.

The Board and the Program Chair reserve the right:
.to consider only submissions with reasonable format
.to reassign a submission to another category as applied for.
The applicant will be informed about the reasons for such a
decision.
The submission software will be available online by the end of June 2010.

Timeline
Timeline

November 15, 2010.      Submissions deadline
February 28, 2011.      Jury decision on the papers for publication (at most
20)
March 1, 2011.          Final versions due
March 6, 2011.          Jury decision on winners due
April 28-30, 2011.      Conference and the Award Ceremony
June-October, 2011.     Commencement of the Fellowships

Web:http://fellowship.logic.at

E-mail contact: goedel-fellowship at logic.at


===========================================================================
===========================================================================
5. (from Rastislav Kralovic) SOFSEM 2011 Call for Papers:

*************************************************************************
                    =:  SOFSEM 2011 :=

        37th Annual Conference on Current Trends
          in Theory and Practice of Informatics

                January 22 --  28, 2011
                Novy Smokovec, Slovakia

                  http://www.sofsem.sk
*************************************************************************

                     FIRST CALL FOR PAPERS

SOFSEM (Software Seminar) is the annual 
international winter conference devoted to the 
theory and practice of computer science. Its aim 
is to present the latest developments in research 
to professionals from academia and industry, 
working in leading areas of computer science. The 
SOFSEM program consists of Invited Talks by 
prominent researchers, Contributed Talks selected 
by the Program Committee from submitted papers, 
and the Student Research Forum. SOFSEM is 
organized in plenary and parallel tracks, giving 
a unique opportunity to obtain an excellent 
overview of the selected research areas. All 
tracks are devoted to original research and leading developments.

Original papers in the respective areas are 
solicited. Papers bridging the gap between theory 
and applications are highly encouraged. 
Proceedings containing the invited and 
contributed papers are published in the Lecture 
Notes in Computer Science series by Springer 
Verlag. Student papers of sufficient high quality 
but not accepted for the regular track, will be 
accepted to the SOFSEM 2011 Student Research 
Forum which will give the students the 
opportunity to present their paper to the main 
SOFSEM audience and also to get the paper 
published in the local SOFSEM proceedings.

The general chair of SOFSEM 2011 is  Juraj Hromkovic (ETH Zurich)

The chairs of tracks of SOFSEM 2011 are:

     * PC chair Rastislav Kralovic (Comenius UNiversity, Bratislava)
     * Foundations of Computer Science   chair 
Ivana Èerná (Masaryk University, Brno)
     * Software, Systems, and Services   chair 
Tibor Gyimothy (University of Szeged)
     * Processing Large Datasets   chair Keith 
Jeffery (STFC Rutherford Appleton Laboratory, Didcot)
     * Cryptography, Security, and Trust   chairs 
Stefan Wolf (ETH Zurich), and Marko Vukolic (IBM Research)

An integral part of SOFSEM 2011 is the Student 
Research Forum, organized with the aim to publish 
and discuss student research projects in the 
field of theory and practice of Computer Science. 
The forum offers students a unique opportunity to 
receive feedback on both the originality of their 
results and the work in progress. The papers will 
be reviewed and selected by the SOFSEM 2011 
Program Committee as regular papers, so those 
accepted for the LNCS proceedings will be 
presented in regular sessions with possibility to 
have additional presentation in poster session of 
the Student Research Forum. Papers accepted for 
the local SRF proceedings will be provided with 
considerable space for presentation in the half 
day Student Research Forum session.

The chair of Student research forum is Mária 
Bieliková (Slovak University of Technology, Bratislava)

SOFSEM is a unique meeting place for academic and 
industrial research in informatics, and an ideal 
conference for discussions, for establishing 
personal contacts with new colleagues, and for 
exchanging ideas. At SOFSEM 2011 all participants 
and lectures will be accommodated in the Atrium 
Hotel, Nový Smokovec (Slovakia), an attractive 
winter resort. SOFSEM is well-known for its 
familiar and inspiring atmosphere, and especially 
suited for both young and experienced computer scientists.

Important dates:
Deadline for abstracts: September 5, 2010
Deadline for papers: September 10, 2010
Acceptance notification: October 25, 2010
Camera-ready version: November 1, 2010
Conference: January 22-28, 2011

Detailed description of the tracks:

Foundations of Computer Science
-------------------------------------------------------

The track is devoted to the recognized core areas 
forming the heart of computer science, and 
covering many different fields. Contributions are 
typically distinguished by an emphasis on 
mathematical background techniques, but quite 
often with significant impact on practical 
applications and systems. In other words, 
contributions that illustrate the value of 
fundamental research for applications are 
especially welcome. Such contributions have 
traditionally received a lot of attention at 
SOFSEM conferences, since its birth in 1974. The 
list of topics include (but is not limited to):

     * algorithms and data structures, including 
sequential, parallel, distributed,
       approximation, and number-theoretic algorithms
     * automata theory and languages
     * complexity theory, both computational and structural
     * concurrency theory
     * discrete mathematics related to computer science
     * grammars and formal models
     * program semantics, logic, and verification


Software, Systems, and Services
------------------------------------------------------

The track is devoted to the application of novel 
and innovative technologies and principles to 
software construction including service-based 
approaches. Topics include (but are not limited to):

     * modelling, construction and management of hybrid service based systems
     * model driven architecture (MDA, MDD)
     * formal methods for system development
     * software specification, architecture, design
     * software evolution
     * progrm comprehension
     * SOA approaches in embedded systems
     * system migration
     * interoperability
     * software specification, architecture, design
     * software qulity models
     * open source developments
     * testing
     * methodologies and tools


Processing Large Datasets
-------------------------------------------

The increasing price-performance of data storage, 
computational power and networking speeds makes 
possible the collection, storage, management, 
analysis and display of large datasets. Research 
facilities such as the Large Hadron Collider at 
CERN produce petabytes of data per year. However, 
also in industry and commerce there are vast 
volumes of data. The data from supermarket 
check-outs, from control systems in 
manufacturing, from traffic control systems, from 
telecommunications companies and from banking 
transactions are just some examples. The size of 
these datasets demands new approaches including 
management of streamed datasets during collection 
and challenges fundamentals of database theory 
and practice. It is increasingly common to move 
the program code to the data rather than the data 
to the program, and to utilise parallel 
distributed processing architectures. The effort 
of data and systems administration is increased 
so that cost reduction requires automation of 
these functions. The move towards services using 
an e-infrastucture of GRIDs or CLOUDs demands new 
methods of software development and systems design.

The list of topics includes (but is not limited to):

     * Novel database management techniques
     * New systems development techniques caused by large datasets
     * Data and Systems management of large datasets
     * Management of networks of sensors and 
detectors - their processing and their data
     * Virtualisation of services in GRIDs and CLOUDs
     * e-infrastructure architectures

Cryptography, Security, and Trust
--------------------------------------------------------

In this track, contributions are welcome on all 
aspects of cryptography, information security, 
and trust. Possible topics range from theoretical 
cryptography to applied security. Examples of 
topics include (but are not limited to):

     * Authentication and Identification
     * Cloud Computing Security
     * Distributed Systems and Storage Security
     * Identity Management
     * Information-Theoretic Security
     * Interactive Proofs
     * Intrusion and Malware Detection
     * Mobile and Wireless Security
     * Multi-Party Computation
     * Privacy and Anonymity
     * Private-Key Cryptography
     * Public-Key Cryptography
     * Quantum Protocols
     * Software and Network Security
     * Trust Management
     * Trusted Hardware and Virtualized Architectures

For more information visit the SOFSEM 2011 web page http://www.sofsem.sk


===========================================================================
===========================================================================
6. (from Nicolas Bonichon) ICALP 2010, July 5-10, 2010 Bordeaux, France:

______________________________________________________________________

CALL FOR PARTICIPATION
______________________________________________________________________

ICALP 2010
37th International Colloquium on Automata, Languages and Programming

July 5-10, 2010
Bordeaux, France
http://icalp10.inria.fr/

Deadline for early registration: June 4th, 2010
Registration url:http://icalp2010.dakini.fr

Supported by the European Association for Theoretical Computer Science
(EATCS) and organized by the INRIA research center in Bordeaux
(http://www.inria.fr/bordeaux) with the participation of LaBRI
(http://www.labri.fr/).

______________________________________________________________________


The 37th International Colloquium on Automata, Languages and Programming,
the main conference and annual meeting of the European Association for
Theoretical Computer Science (EATCS), will take place from the 5th to the
10th of July 2010 in Bordeaux, France. The main conference will be preceded
by a series of five workshops.

*106 contributed papers will be presented in three tracks
* 6 invited plenary talks will be given by Pierre Fraigniaud, Jean
Goubault-Larrecq, Burkhard Monien, Joel Ouaknine, Roger Wattenhofer, Emo
Welzl.
* Three prestigious awards will be presented: the Gödel prize, the EATCS
award and the Presburger award to young scientists.
* Three best contributed papers will be awarded as well.
The program is available
here:http://icalp10.inria.fr/index.php?n=Main.Program-AllTracks

_____________________________________________________________________

The city of Bordeaux is known worldwide for its architecture (listed on the
UNESCO World Heritage), quality of life and of course its wines.
All informations can be found here:http://www.bordeaux-tourisme.com

The conference will be held at the Cité Mondiale
(http://www.citemondiale.com/) at the hearth of the city, next to the river.

The social program will include an excursion in the old Bordeaux city as
well as the diner conference given in the remarkable Château Cazeneuve.

If you plan to stay arround before or after the conference, you will enjoy
an exceptional environment and variety of activities
(http://www.francekeys.com/english/regions/aquitaine.shtml).

Bordeaux is one hour from Paris by plane, two hours of Toulouse by train.
There are direct connections to cities like Paris, London, Amsterdam and
Bruxelles but also for FLOCâ~@~Y2010 attendees to Edinburgh
(http://www.bordeaux.aeroport.fr/en)
______________________________________________________________________

Accomodations, look at http://icalp10.inria.fr/index.php?n=Main.Venue  and
find the hotel that best fits your needs.

______________________________________________________________________

Cancellation Policy:  If a participant is unable to attend ICALP because of
force majeure (e.g., volcanic ash causing flight cancellation) or because
of visa denial, their registration fee and accommodation payments will be
refunded in full, except for a Euro 50 administrative charge.


=========================================================================== 
===========================================================================
7. (from Geoff Sutcliffe) 17th International 
Conference on Logic for Programming, Artificial 
Intelligence and Reasoning (LPAR-17):

         ============================================================
                   The 17th International Conference on
         Logic for Programming, Artificial Intelligence and Reasoning
         ============================================================

              Yogyakarta, Indonesia  -  October 10th-15th, 2010
             http://www.computational-logic.org/lpar-17/Home.html

                    ---------------------------------------
                    Abstract submission deadline - 1st June
                    Paper submission deadline    - 8th June
                    ---------------------------------------

The series of International Conferences on Logic 
for Programming, Artificial Intelligence and 
Reasoning (LPAR) is a forum where, year after 
year, some of the most renowned researchers in 
the areas of logic, automated reasoning, 
computational logic, programming languages and 
their applications come to present cutting-edge 
results, to discuss advances in these fields, and 
to exchange ideas in a scientifically emerging 
part of the world. The 17th LPAR will be held in Yogyakarta, Indonesia.

Conference Chair: Steffen Hoelldobler
Programme Chairs: Chris Fermueller, Andrei Voronkov

Submissions of two kinds are welcome:
* Regular papers that describe solid new research 
results. * Experimental and tool papers that 
describe implementations of systems,
   report experiments with implemented systems, or compare implemented systems.

See the web site 
http://www.computational-logic.org/lpar-17/Home.html for all the details.


=========================================================================== 
===========================================================================
8. (from Viorica Sofronie-Stokkermans) IJCAR 2010 
- 5th International Joint Conference on Automated 
Reasoning, Edinburgh, UK, July 16-19, 2010:

---------------------------------------------------------------------------
  IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning
                       Edinburgh, UK, July 16-19, 2010
                 http://www.floc-conference.org/IJCAR-home.html
               as part of FLoC 2010 - Federated Logic Conference
                       http://www.floc-conference.org/

                           Call for Participation
---------------------------------------------------------------------------
IJCAR is the premier international joint conference on all topics
in automated reasoning. The IJCAR technical programme will consist of
presentations of high-quality original research papers, system
descriptions, and invited talks.

IJCAR 2010 is a merger of leading events in automated reasoning:

   CADE (Conference on Automated Deduction),
   FroCoS (Workshop on Frontiers of Combining Systems),
   FTP (Workshop on First-order Theorem Proving), and
   TABLEAUX (Conference on Analytic Tableaux and Related Methods)

Registration, accomodation, and travel/visa information for all FLoC
conferences and workshops is on the FLoC 2010 web pages.
Book your trip to Edinburgh today!

DEADLINES:
    * early registration deadline: 17 MAY 2010.
    * standard registration:       18 MAY 2010 - 30 JUNE 2010.
    * late registration:           after 30 JUNE 2010.

---------------------------------------------------------------------------
Scientific Program
------------------
+ Presentation of 2 invited IJCAR talks
+ Presentation of 2 plenary/keynote FLoC invited talks
+ Presentation of 28 regular research papers
+ Presentation of 12 system abstracts
+ Presentation of the Herbrand Award to David Plaisted
+ 13 workshops, 2 competitions.
---------------------------------------------------------------------------
Invited Speakers
----------------
+ Invited IJCAR Speakers
   ----------------------
   + Leonardo de Moura, Microsoft Research Redmond
   + Johan van Benthem, Stanford University and University of Amsterdam

+ Plenary and Keynote Invited Talks at FLoC
   -----------------------------------------
   + David Basin, ETH Zurich
   + Deepak Kapur, University of New Mexico
---------------------------------------------------------------------------
Workshops, Competitions
-----------------------
There will be thirteen workshops and two system competitions associated
with IJCAR. See their individual WWW pages, linked from the FLoC WWW pages
for more information.

+ Workshops
   - AUTOMATHEO 2010: Workshop on Automated Mathematical Theory Exploration
                      (Workshop affilliated to FLoC) (with ITP)
   - CLoDeM2010:      International Workshop on Comparing Logical Decision
                      Methods (with LICS)
   - EMSQMS 2010:     Workshop on Evaluation Metods for Solvers, and Quality
                      Metrics for Solutions (with CAV)
   - LfSA 2010:       Logics for Systems Analysis (with LICS)
   - MLPA-10:         2nd Workshop on Module Systems and Libraries for
                      Proof Assistants (with ITP)
   - PAAR-2010:       Workshop on Practical Aspects of Automated Reasoning
   - SVARM 2010:      Synthesis, Verification and Analysis of Rich Models
                      (with CAV)
   - UITP10:          9th International Workshop On User Interfaces for
                      Theorem Provers (with ITP)
   - UniDL10:         1st Workshop on Uncertainty in Description Logics
   - UNIF 2010:       24th International Workshop on Unification (with RTA)
   - VERIFY-2010:     6th International Verification Workshop
   - WING 2010:       Workshop on Invariant Generation
   - WST 2010:        11th International Workshop on Termination (with RTA)

+ Competitions
   - CASC-J5:                 5th IJCAR ATP System Competition
   - Termination 2010:         7th International Termination Competition
---------------------------------------------------------------------------
Social Events
-------------
+ Welcome reception at the Scottish National Galleries.
+ Conference banquet at the luxurious Prestonfield Hotel.
+ CASQ-J5 - the CADE Squash Competition
---------------------------------------------------------------------------
Proceedings
-----------
At registration the proceedings of all FLoC conferences and workshops will
be provided, at no additional cost, on a USB stick. Hard copy IJCAR 2010
proceedings are optionally available, for an additional cost. Remember to
tick the hardcopy proceedings box when you register.

Please note that hard copies are offered at appr. 50% discount during
registration and will not be on sale later on or during the conference.
---------------------------------------------------------------------------
Registration
------------
For online registration for IJCAR, 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


=========================================================================== 
=========================================================================== 
Items for the next CiE Newsletter should be sent 
in plain text (avoiding accents) to 
s.b.cooper at leeds.ac.uk to arrive by June 18th, 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/
___________________________________________________________________________




More information about the FOM mailing list