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...


Read More...

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...


Read More...

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...


Read More...

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...


Read More...

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...


Read More...

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...


Read More...

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...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

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...


Read More...

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...


Read More...
0123456789

Notice

AISB event Bulletin Item

CALL FOR SATELLITE EVENT PROPOSALS: Theory & Practice of Software, 14-21 Apr 2018, Thessaloniki, GREECE

http://www.etaps.org/2018/

ETAPS 2018

-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. It is an
annual event held in Europe each spring since 1998. Its twenty-first
edition, ETAPS 2018, will take place 14-21 April 2018 in Thessaloniki,
Greece.

ETAPS 2018 main conferences, scheduled for 16-20 April, are:

* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
   Systems


-- SATELLITE EVENTS --

The ETAPS 2018 organizing committee invites proposals for satellite
events (workshops) that will complement the main conferences. They
should fall within the scope of ETAPS. This encompasses all aspects of
the system development process, including specification, design,
implementation, analysis and improvement, as well as the languages,
methodologies and tools which support these activities, covering a
spectrum from practically-motivated theory to soundly-based
practice. Satellite events provide an opportunity to discuss and
report on emerging research approaches and practical experience
relevant to theory and practice of software.

ETAPS 2018 satellite events will be held immediately before and after
the main conferences, on 14-15 April and 21 April.


-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2018 satellite are expected to:

* create and maintain a website for the event,
* form a PC, produce a call for papers for the event (if appropriate),
* advertise the event through specialist mailing lists etc. to
   complement the publicity of ETAPS,
* review the submissions received and make acceptance decisions,
* prepare an informal (pre)proceedings for the event (if appropriate),
* prepare the event's program complying with any scheduling
   constraints defined by the ETAPS 2018 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
   (if desired).

The ETAPS 2018 organizing committee will:

* promote the event on the website and in the publicity material of
   ETAPS 2018,
* integrate the event's program into the overall program of the
   conference,
* arrange registration for the event as a component of registration
   for ETAPS,
* collect a participation fee from the registrants,
* produce a compilation USB memory stick of the informal
   (pre)proceedings of the satellite events of ETAPS 2018 and
   distribute this to the registrants,
* provide the event with a meeting room of an appropriate size, A/V
   equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or accommodation
costs of invited speakers or organizers of satellite events.


-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Alexander
Chatzigeorgiou  and Nick Bassiliades
 using the web form at

http://eptcs.web.cse.unsw.edu.au/ETAPS/

The following information is requested:

* the name and acronym of the satellite event
* the names and contact information of the organizers
* the duration of the event: one or two days
* the preferred period: 14 April, 15 April, 14-15 April or 21 April
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
   the website and publicity material of ETAPS 2018
* a brief explanation of the event topic and its relevance to ETAPS
* an explanation of the selection procedure of contributions to the
   event, the PC chair and members, if known already, information about
   past editions of the event, if applicable
* any other relevant information, like a special event format, invited
   speakers, demo sessions, special space requirements, etc.
* a tentative schedule for paper submission, notification of
   acceptance and final versions for the (informal pre-)proceedings
   (the ETAPS 2018 organizing committee will need the final files by
   the end of Feb. 2018)
* the plans for formal publication (no formal publication, formal
   proceedings ready by the event, formal post-proceedings, publication
   venue - EPTCS or elsewhere)

The proposals will be evaluated by the ETAPS 2018 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2018. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2017: http://www.etaps.org/2017/workshops
ETAPS 2016: http://www.etaps.org/2016/workshops
ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops

-- IMPORTANT DATES --

Satellite event proposals deadline: 24 March 2017

Notification of acceptance: 7 April 2017


-- HOST CITY --

Thessaloniki, named after Alexander's the Great sister, is the second
largest city in Greece.  Thessaloniki is an industrial and commercial
center hosting an annual international trade fair, as well as a
transportation hub with a major modern port and an international
airport.  Thessaloniki's history spans over 2300 years. Although
largely rebuilt in modern style, Thessaloniki still retains its famous
white Byzantine walls, the 15th century White Tower, and a Venetian
citadel.  The city is famous for its many fine Byzantine churches and
Roman ruins of the triumphal arch and the palace of Emperor Galerius.
Thessaloniki is a vibrant student city hosting more than 80,000
university students and offering countless options when it comes to
local/international cuisine, cafes, music and day trips.

ETAPS 2018 is organized by the Aristotle University of Thessaloniki,
the largest university in Greece.


-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs, Alexander Chatzigeorgiou
 and Nikos Bassiliades .