CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007)

      International Workshop on Hybrid Logic 2007 (HyLo 2007)
                        6 - 10 August, 2007
                       organized as part of
                   the European Summer School on
                  Logic, Language and Information
           ESSLLI 2007
                   6 - 17 August, 2007 in Dublin


Torben Braner (Roskilde University, Denmark, - Chair
Jrgen Villadsen (Technical University of Denmark,


Hybrid logic is a branch of modal logic allowing direct reference
to worlds/times/states. It is easy to justify interest in hybrid
logic on the grounds of applications as the additional expressive
power is very useful. In addition, hybrid-logical machinery improves
the behaviour of the underlying modal formalism. For example, it
becomes considerably simpler to formulate modal proof systems, and
one can prove completeness and interpolation results of a
generality that is not available in orthodox modal logic.

The topic of the HyLo workshop of 2007 is not only standard
hybrid-logical machinery like nominals, satisfaction operators, and
the downarrow binder, but generally extensions of modal logic that
increase its expressive power.

The workshop HyLo 2007 will be relevant to a wide range of people,
including those interested in description logic, feature logic,
applied modal logics, temporal logic, and labelled deduction. The
workshop continues a series of previous workshops on hybrid logic,
most recently the LICS-affiliated HyLo 2006
( The workshop aims to provide a
forum for advanced PhD students and researchers to present and
discuss their work with colleagues and researchers who work in the
broad subject areas represented at ESSLLI.

For more general background on hybrid logic, and many of the key
papers, see the Hybrid Logics homepage (


We invite the contribution of papers reporting new work from
researchers interested in hybrid logic. Papers should not
exceed 10 pages including references. A paper must be submitted
as a PDF file and the font size must be at least 10 pt when
printed on A4 paper. It is recommended that the LaTeX "article"
style is used. Please use the HyLo 2007 submission page
(, handled by the EasyChair
conference system, to submit papers. The accepted papers will
appear in the workshop proceedings published by ESSLLI.
One author for each accepted paper must attend the workshop in
order to present the paper. It is planned to publish revised
versions of the accepted papers in a special issue of
Journal of Logic, Language and Information.


The workshop is part of ESSLLI and is open to all ESSLLI
participants. It will consist of five 90-minute sessions held over
five consecutive days in the first week of ESSLLI. There will be
2 or 3 slots for paper presentation and discussion per session.
On the first day the workshop organizers will give an introduction
to the topic.


Balder ten Cate (University of Amsterdam, The Netherlands)
Ian Hodkinson (Imperial College, UK)


Carlos Areces (INRIA Lorraine, France)
Patrick Blackburn (INRIA Lorraine, France)
Thomas Bolander (Technical University of Denmark) - Co-Chair
Torben Braner (Roskilde University, Denmark) - Chair
Mai Gehrke (New Mexico State University, USA)
Valeria de Paiva (PARC, USA)
Jrgen Villadsen (Technical University of Denmark)


Deadline for submissions: March 8, 2007
Notification of acceptance: April 21, 2007
Preliminary programme: April 24, 2007
ESSLLI early registration: May 1, 2007
Deadline for final versions: May 17, 2007
Final programme: June 21, 2007
Workshop dates: 6 - 10 August, 2007


All workshop participants including the presenters will be required
to register for ESSLLI. The registration fee for authors presenting
a paper will correspond to the early student/workshop speaker
registration fee. Moreover, a number of additional fee waiver grants
will be made available by the ESSLLI local organizing committee on
a competitive basis and workshop participants are eligible to apply
for those. There will be no reimbursement for travel costs and
accommodation. Workshop speakers who have difficulty in finding
funding should contact the local organizing committee to ask for
the possibilities for a grant.


About the workshop: