[Agda] ATVA 2014: Call for Participation

[Franck]

[We apologise for multiple copies.]

******************************************************************

                 CALL FOR PARTICIPATION: ATVA 2014

       Automated Technology for Verification and Analysis

                      November 3--7, 2014

                       Sydney, Australia

                http://www.atva-conferences.org

         Early registration deadline: September 30, 2014

******************************************************************

-- ABOUT ATVA --

The purpose of ATVA is to promote research on theoretical and practical
aspects of automated analysis, verification and synthesis by providing
an international forum for interaction among the researchers in academia
and industry.

-- INVITED SPEAKERS --

* Ahmed Bouajjani, LIAFA, Université Paris Diderot (Paris 7) Institut
Universitaire de France, France
* Roderick Bloem, Graz University of Technology, Austria
* Krishnendu Chatterjee, Institute of Science and Technology, Austria

-- TUTORIALS --

   * A. Bouajjani: Verification of Concurrent Programs: Decidability, 
Complexity, Reductions
   * R. Bloem: TBA
   * K. Chatterjee: Multidimensional Quantitative Games and Markov 
Decision Processes.

The tutorials take place on Monday November 3rd, the first day of ATVA 2014.

-- REGISTRATION --

Registration is open, see http://atva-conferences.org/registration/
for details.

Early registration is until September 30 2014.

-- CONFERENCE LOCATION & ACCOMMODATION --

The conference will be at the
Rydges Sydney Central
28 Albion St
Surry Hills NSW 2010
Tel: +61 2 9289 0000
http://www.rydges.com/accommodation/sydney-nsw/sydney-central/welcome/

Conference delegates are eligible for a discount on the best available
price when booking directly with the hotel.

-- HOST CITY --

Sydney is one of the world’s most loved cities. There are always plenty
of things to do in Sydney  during the warmer months – from sightseeing
and alfresco dining, to fun in the sand and surf at one of Sydney's
idyllic beaches. Be prepared to love every second of your summer in Sydney.

-- EVENTS --

The annual exhibition "Sculpture by the Sea" will take place during
the conference. See
http://www.sculpturebythesea.com/exhibitions/bondi.aspx for details.

-- ORGANISERS --

The event is organised by NICTA and UNSW.

    * General Chair: Ralf Huuck
    * Conference Chairs: Franck Cassez and Jean-Francois Raskin

-- FURTHER INFORMATION --

Visit the ATVA website at
http://atva-conferences.org