[FOM] LPAR short papers and participation

[Geoff Sutcliffe by way of Martin Davis <martin@eipye.com>]

                                   LPAR'08
                  15th International Conference on Logic for
              Programming, Artificial Intelligence and Reasoning

                              November 23-27, 2008

                          Carnegie Mellon University
                                  Doha, Qatar

                       http://www.qatar.cmu.edu/lpar08

-------------------------------------------------------------------------------
                           CALL FOR SHORT PAPERS
                           ---------------------
In keeping with the tradition of LPAR, researchers and practioners are invited
to submit short papers  reporting on interesting work in progress or providing
system descriptions. They need not be original. Extended versions of the short
papers may be submitted concurrently with or after LPAR to  another conference
or a journal.  Short papers are limited  in length to 5 pages in the EasyChair
format. The class style may be downloaded here. Short papers must be submitted
through the EasyChair system using the web page
   http://www.easychair.org/conferences/?conf=lpar08short

The  short paper  proceedings will  be available  as an  EasyChair  collection
volume. Authors of accepted papers are required to ensure that at least one of
them will  be present at  the conference.  Papers that do  not adhere to  this
policy will be removed from the proceedings.

Important Dates
---------------
Paper submission deadline:  05 October 2008
Notification of acceptance: 19 October 2008
Final version:              26 October 2008
-------------------------------------------------------------------------------
                           CALL FOR PARTICIPATION
                           ----------------------

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  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  2008
edition will be held  in Doha, Qatar,  on the premises  of the Qatar campus of
Carnegie Mellon University.

Invited Speakers
----------------
It  has been a   tradition  of LPAR to  invite   some of the most  influential
researchers in   the focus areas  to discuss  their work and  their vision for
their fields. We are honored that the following members  of the community have
accepted this invitation.

  * Edmund Clarke, Carnegie Mellon University (USA)
  * Amir Pnueli, New York University (USA)
  * Michael Backes, Saarland University and MPI-SWS (Germany)
  * Thomas Eiter, Technical University of Vienna (Austria)

Activities
----------
Desert Safari:  This adventurous journey will take you to the great sand dunes
that adorn  the South of Qatar.  Where the asphalt ends,  the 4x4 professional
drivers will deflate the tires to make the  vehicle ready for your trip across
the desert.  The  unforgettable  roller-coaster  drive will  take  you to  the
marvelous Inland Sea,  near the border between Qatar and Saudi Arabia, and end
at QIA's permanent desert camp on its sandy beaches.  There, you can relax and
just enjoy the  tranquility of  the view,  or keep  moving with a  swim in the
Inland Sea's  crystal waters,  a game of beach volleyball, or sand skiing. All
this is  while a  professional chef  is preparing  a BBQ  meal including  soft
drinks and water.  The camp is equipped with Bedouin0style tents, carpeted and
with traditional seating, fresh water for showers, and bathrooms.

Travel
------
Qatar is  easily accessible  by air from around  the world. The local carrier,
Qatar Airways,  flies non-stop to some  80 destinations worldwide.  About  two
dozen  other airlines fly to Qatar,  including British Airways, Lufthansa, KLM
and Emirates.  All flights arrive at  Doha International Airport (DOH),  which
is located  just South of  downtown Doha.  Most travelers  will need a visa to
enter Qatar.  The citizens of some 33 countries  can obtain a visa on arrival.
Carnegie Mellon University  will  help  citizens of  other  countries  get  an
electronic visa prior to entering Qatar: such attendees will print the visa at
home and present it to the immigration booth.

Accomodation
------------
A block of rooms has been held at several hotels until 31 October 2008.

-------------------------------------------------------------------------------