Bulletin #2, April 2010

News

ECCAI Travel Awards 2010

An ECCAI Travel Award Scheme has been established to support students, young researchers and faculty who are members of an ECCAI affiliated society participating in ACAI and ECAI. In 2010 the grants will only be awarded for attendance at ECAI 2010. The awards, valued at 400 Euros each, are for reimbursement of travel and part payment of registration fees.

Further information is available at http://www.eccai.org/travelaw.shtml

ECCAI Central & Eastern European Support Grants 2010

In order to encourage authors from Central and Eastern Europe, we are organising a special support program. There will be a number of travel grants available for full papers accepted for the ECAI 2010 technical program with all authors from Central and Eastern Europe.

Further information is available at http://www.eccai.org/travelaw.shtml

Call for ACAI 2011 Organisation

In odd-numbered years, ECCAI sponsors a specialized course in Artificial Intelligence, called Advanced Course on AI (ACAI).
Any member society of ECCAI may submit a bid to ECCAI for organizing ACAI 2011.
A notification of the intention to bid is required by the ECCAI Board.

The timetable should be :

31 May 2010 : notification of the intention to bid
30 June 2010 : submission of draft detailed bids
31 July 2010 : end of the discussion between the candidates and the ECCAI board
August 2010 : presentation of the bids and selection by the ECCAI General Assembly

More information can be obtained from the ECCAI Board Chair, Gerhard Brewka

Call for ECAI 2014 Organisation

The biennial European Conferences on AI is organized every even-numbered year, by ECCAI, jointly with one of the member associations of ECCAI.

The previous ECAI meetings was organized at Brighton (1974), Edinburgh (1976), Hamburg (1978), Amsterdam (1980), Orsay (1982), Pisa (1984), Brighton (1986), Munich (1988), Stockholm (1990), Vienna (1992), Amsterdam (1994), Budapest (1996), Brighton (1998), Berlin (2000), Lyon (2002), Valencia (2004), Riva del Garda (2006) and Patras (2008) and the next ones will take place in Lisbon (2010) and Montpellier (2012).

Any member society of ECCAI may submit a bid to ECCAI for organizing ECAI 2014.

A notification of the intention to bid is required by the ECCAI Board.

The timetable should be :

31 May 2010 : notification of the intention to bid
30 June 2010 : submission of draft detailed bids
31 July 2010 : end of the discussion between the candidates and the ECCAI board
August 2010 : presentation of the bids and selection by the ECCAI General Assembly
2012 : Selection of the Program Chair

Guidelines for organizing ECAI : http://www.eccai.org/admin/ecaiproc.shtml

Call for nominations for New ECCAI board members

The ECCAI board is taking nominations for election to the ECCAI board at the General Assembly to be held at ECAI 2010 in Lisbon. Two positions are free and one of them is reserved to a Belgium person. ECCAI member societies have to forward any nominations to Gerhard Brewka by May 31.

Conferences

ECCAI Conferences

ECCAI Sponsored conferences

National conferences

Journals

AI Communications

Contents of latest issue (Volume 23, no.2-3 / 2010)

  1. Boris Konev, Renate A. Schmidt and Stephan Schulz, Special issue on practical aspects of automated reasoning
  2. Michel Ludwig and Ullrich Hustadt, Implementing a fair monodic temporal logic prover
  3. Christoph Weidenbach and Patrick Wischnewski, Subterm contextual rewriting
  4. Lan Zhang, Ullrich Hustadt and Clare Dixon, CTL-RP: A computation tree logic resolution prover
  5. Adam Pease, Geoff Sutcliffe, Nick Siegel and Steven Trac, Large theory reasoning with SUMO at CASC
  6. Roberto Asín Achá, Robert Nieuwenhuis, Albert Oliveras and Enric Rodríguez-Carbonell, Practical algorithms for unsatisfiability proof and core generation in SAT solvers
  7. Jens Otten, Restricting backtracking in connection calculi
  8. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue and Oliver Ray, SOLAR: An automated deduction system for consequence finding
  9. Nasim Farsiniamarj and Volker Haarslev, Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
  10. Ulrich Furbach, Ingo Glöckner and Björn Pelzer, An application of automated reasoning in natural language question answering
  11. J.D. Phillips and David Stanovský, Automated theorem proving in quasigroup and loop theory
  12. Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif and Gerhard Schellhorn, Interactive verification of concurrent systems using symbolic execution

IEEE Intelligent Systems

Contents of latest issue (Volume 25, no.1, January/February 2010)

  1. Fei-Yue Wang, A Tiger Jump: From Special Issues to Special Interest Groups?
  2. Mark Ingebretsen, In The News
  3. Flora S. Tsai, Minoru Etoh, Xing Xie, Wang-Chien Lee, Qiang Yang, Introduction to Mobile Information Retrieval
  4. Ja-Hwung Su, Hsin-Ho Yeh, Philip S. Yu, Vincent S. Tseng, Music Recommendation Using Content and Context Information Mining
  5. Hyeju Jang, Seongchan Kim, Wookhyun Shin, Sung-Hyon Myaeng, Personal Information Access Using Proactive Search and Mobile Hypertext
  6. Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Luca Vassena, The Context-Aware Browser
  7. Kim-Hui Yap, Tao Chen, Zhen Li, Kui Wu, A Comparative Study of Mobile-Based Landmark Recognition Techniques
  8. René Witte, Ralf Krestel, Thomas Kappler, Peter C. Lockemann, Converting a Historical Architecture Encyclopedia into a Semantic Knowledge Base
  9. Hsinchun Chen, Trends & Controversies
  10. Valentina Tamma, Semantic Web Support for Intelligent Search and Retrieval of Business Knowledge