[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