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

CALL FOR PAPERS: Mathematical Aspects of Computer and Information Sciences, 19-21 Oct 2011, CHINA

MACIS 2011 - Fourth International Conference on Mathematical Aspects of Computer and Information Sciences Beijing, China

MACIS is a series of conferences where foundational research on theoretical and practical problems
of mathematics for computing and information processing may be presented and discussed. MACIS also
addresses experimental and case studies, scientific and engineering computation, design and 
implementation of algorithms and software systems, and applications of mathematical methods and 
tools to outstanding and emerging problems in applied computer and information sciences. Each 
conference focuses on two or three themes.

The themes for MACIS 2011 are:

- Design and Analysis of Complex Systems
- Numeric and Symbolic Constraint Solving
- Cryptography and Coding Theory

see the end of this call for a detailed list of topics.


Potential participants of MACIS 2011 are invited to submit extended abstracts (3-4 pages) or full 
papers describing their work to be presented at the conference. The submitted extended abstracts 
and full papers will be reviewed by members of the Program Committee (PC) for soundness and 
relevance to the conference. Submission of original research papers is encouraged, while published 
material and work in progress will also be considered for presentation at the conference.
Electronic submissions are strongly preferred using EasyChair

or should be sent by e-mail as .pdf attachments to the PC Co-chair:

Dr. Ilias S. Kotsireas
Wilfrid Laurier University
Waterloo ON, CANADA

Accepted extended abstracts and full papers will be printed for distribution at the conference. 
Authors of the extended abstracts and full papers accepted for presentation at the conference will
be invited to submit their full and/or revised papers for publication in special issues of 
Mathematics in Computer Science (MCS - by Birkhaeuser/Springer after 
the meeting. The submitted papers will be formally reviewed by PC members and external referees 
according to the refereeing procedure of MCS.


Submission of papers/extended abstracts: July 31, 2011 Notification of acceptance or rejection: 
September 5, 2011
Conference taking place:                 October 19-21, 2011
Deadline for full paper submission:      December 15, 2011

Dongming Wang (Universit Pierre et Marie Curie - CNRS, France) Zhiming Zheng (Beihang University, China)

Meng Zhou (Beihang University, China)

Hirokazu Anai (Fujitsu Laboratories Ltd / Kyushu University, Japan) Hoon Hong (North Carolina 
State University, U.S.A.) Deepak Kapur (University of New Mexico, U.S.A.) Ilias Kotsireas 
(Wilfrid Laurier University, Canada), Co-chair Laura Kovacs (Vienna University of Technology, 
Austria) Dongdai Lin (Institute of Software, Chinese Academy of Sciences, China) Edgar Martinez 
Moro (University of Valladolid, Spain) Stefan Ratschan (Czech Academy of Sciences, Czech Republic),
Co-chair Nathalie Revol (INRIA, France) Enric Rodrguez-Carbonell  (Technical University of 
Catalonia, Spain) Sriram Sankaranarayanan (University of Colorado Boulder, U.S.A.) Thomas Sturm 
(Max Planck Institute for Computer Science, Germany) Bican Xia (Peking University, China) Lihong 
Zhi (Institute of Systems Science,
             Chinese Academy of Sciences, China)

Georg Regensburger (INRIA Saclay, France)


- Design and Analysis of Complex Systems

Software systems; hardware systems; control systems; biological systems; physical systems; 
dynamical systems; hybrid (e.g. cyber-physical) systems; nondeterminism/uncertainty; mathematical 
modeling; simulation; formal verification; systems/controller synthesis; computational techniques 
and tools

- Numeric and Symbolic Constraint Solving

Systems of equations; quantifier elimination and decision procedures;
(global) optimization; differential equations; numeric, symbolic, interval and hybrid solution 
techniques; application, especially in systems analysis and design; proof obligations in formal 

- Cryptography and Coding Theory

Error-correcting codes; decoding algorithms; related combinatorial and complexity problems; 
algorithmic aspects of cryptology; symmetric cryptology; public-key cryptography; cryptanalysis; 
computational and algebraic paradigms in postquantum cryptology; discrete mathematics and 
algorithmic tools related to coding and cryptography; boolean functions; sequences; computation 
in finite fields and related algebraic systems.