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 PAPERS: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) August 20-24, 2017, Stockholm, SWEDEN

https://www.csl17.conf.kth.se/

AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European 
Association for Computer Science Logic (EACSL). It is an interdisciplinary 
conference, spanning across both basic and application oriented research in 
mathematical logic and computer science and is intended for computer scientists 
whose research involves logic, as well as for logicians working on issues 
essential for computer science.

CSL 2017 is the 26th EACSL annual conference. It will be co-organised by 
Stockholm University and KTH Royal Institute of Technology, and hosted by 
Stockholm University. CSL 2017 will be co-located with, and immediately 
preceded by, the Logic Colloquium 2017 (LC 2017). There will be a joint session 
of CSL 2017 and LC 2017 in the morning of August 20, as well as CSL-affiliated 
workshops during August 25-26.


IMPORTANT DATES: 
---------------------------------------------------------------
Abstract submission for contributed papers:     March 24, 2017
Paper submission:                               March 31, 2017
Notification:                                   May 31, 2017
Abstract submission for short presentations:    June 4, 2017
Notification on short presentations:            June 14, 2017
---------------------------------------------------------------


TOPICS OF INTEREST for CSL 2017 include (but are not limited to):
-----------------------------------------------------------------
   ?  automata and games, game semantics
   ?  automated deduction and interactive theorem proving
   ?  bounded arithmetic and propositional proof complexity
   ?  categorical logic and topological semantics
   ?  computational proof theory
   ?  constructive mathematics and type theory
   ?  decision procedures
   ?  domain theory
   ?  equational logic and rewriting
   ?  finite model theory
   ?  higher-order logic
   ?  lambda calculus and combinatory logic
   ?  linear logic and other substructural logics
   ?  logic programming and constraints
   ?  logical aspects of computational complexity
   ?  logical aspects of quantum computing
   ?  logic in database theory
   ?  logical foundations of programming paradigms
   ?  logical foundations of cryptography and information hiding
   ?  logics for multi-agent systems
   ?  modal and temporal logic
   ?  model checking and logic-based verification
   ?  nonmonotonic reasoning
   ?  SAT solving and automated induction
   ?  satisfiability modulo theories
   ?  specification, extraction and transformation of programs
   ?  verification and program analysis
-----------------------------------------------------------------


INVITED SPEAKERS
-----------------------------------------------------------------
CSL invited highlight speakers for the LC-CSL joint session on August 20:
   ? Phokion Kolaitis, University of California Santa Cruz and IBM Research - 
Almaden
   ? Wolfgang Thomas, RWTH Aachen

CSL plenary speakers:
   ? Laura Kovács, Vienna University of Technology
   ? Stephan Kreutzer, Technische Universität Berlin
   ? Meena Mahajan, Institute of Mathematical Sciences, Chennai
   ? Margus Veanes, Microsoft Research
-----------------------------------------------------------------


SPECIAL AND AFFILIATED EVENTS
-----------------------------
In addition to the plenary and contributed talks CSL 2017, the conference will 
also include the following events:
   ? Joint session of CSL 2017 and LC 2017 in the morning of August 20, 
consisting of four plenary highlight talks, offered by speakers from both 
conferences.
   ? Presentation of the Alonzo Church award for Outstanding Contributions to 
Logic and Computation,
   ? Presentation of the EACSL Ackermann award for Outstanding Dissertation on 
Logic in Computer Science,
   ? CSL-affiliated workshops, to be held as CSL co-located events:
      ? Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2017 (August 
25)
      ? Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 
25)
      ? Workshop on Logic and Algorithms in Computational Linguistics 
LACompLing'17 (August  18-19)


SUBMISSIONS
-----------
The CSL 2017 conference proceedings will be published in Leibniz International 
Proceedings in Informatics (LIPIcs).

Authors are invited to submit contributed papers of no more than 15 pages in 
LIPIcs style (including references), presenting not previously published  work, 
fitting the scope of the conference.

The submission of contributed papers will be in two stages:
  * abstracts, due by March 24, 2017 (AoE);
  * full papers, due by March 31, 2017 (AoE).

The submissions must be done via the EasyChair page for the conference:
https://easychair.org/conferences/?conf=CSL

Submitted papers must be in English and must provide sufficient detail to allow 
the Programme Committee to assess the merits of the paper. Full proofs may 
appear in a clearly marked technical appendix which will be read at the 
reviewers' discretion.  Authors are strongly encouraged to include a well 
written introduction which is directed at all members of the PC.

Papers may not be submitted concurrently to another conference with refereed 
proceedings. The PC chairs should be informed of closely related work submitted 
to a conference or a journal. Papers authored or co-authored by members of the 
PC are not allowed.

In addition, there will be an opportunity for short oral presentations at the 
conference. Abstracts for such oral presentations must be submitted through the 
Easychair submission webpage, under the category ``short presentations'', by 
June 4, 2017. They will not be included in the proceedings.


PROGRAMME COMMITTEE
-------------------
? Parosh Aziz Abdulla (University of Uppsala),
? Lars Birkedal (University of Aarhus),
? Nikolaj Bjorner (Microsoft Research),
? Maria Paola Bonacina (Università degli Studi di Verona),
? Patricia Bouyer-Decitre (LSV, ENS Cachan),
? Agata Ciabattoni (University of Viena),
? Thierry Coquand (University of Gothenburg),
? Mads Dam (KTH, Stockholm), PC co-chair
? Ugo Dal Lago (University of Bologna),
? Anuj Dawar (Cambridge University),
? Valentin Goranko (Stockholm University), PC co-chair
? Maribel Fernandez (King's College London),
? Martin Grohe (RWTH Aachen),
? Lauri Hella (University of Tampere),
? Joost-Pieter Katoen (RWTH Aachen),
? Orna Kupferman (University of Jerusalem),
? Leonid Libkin (University of Edinburgh),
? Angelo Montanari (University of Udine),
? Catuscia Palamidessi (Paris, INRIA),
? Frank Pfenning (Carnegie Mellon University, Pittsburgh)
? Ram Ramanujam (Institute of Mathematical Sciences, Chennai),
? Jean-Francois Raskin (University of Bruxelles),
? Thomas Schwentick (TU Dortmund University),
? Viorica Sofronie-Stokkermans (University of Koblenz-Landau),
? Thomas Streicher (University of Darmstadt),
? Jean-Marc Talbot (University of Aix-Marseille),
? Luca Viganò (King's College London),
? Ron van der Meyden (UNSW Australia),
? Lijun Zhang (Chinese Academy of Sciences, Beijing).


ORGANISING COMMITTEE
--------------------
? Mads Dam (OC co-chair), Department of Theoretical Computer Science, KTH
? Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm 
University
? Dilian Gurov (Workshops chair), Department of Theoretical Computer Science, 
KTH
? Roussanka Loukanova, Department of Mathematics, Stockholm University
? Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University
? Anders Lundstedt, Department of Philosophy, Stockholm University
? Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University
? Henning Strandin, Department of Philosophy, Stockholm University


CONTACTS AND ENQUIRIES
----------------------
With enquiries on organising matters, send email to: CSL 
2017philosophy.su.se
With enquiries on scientific and programme issues, send email to: CSL 
2017easychair.org