AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

CFP:Symbolic Computation and Cryptography SCC 2008

http://www.cc4cm.org/scc2008

  SCC 2008 
 First International Conference on Symbolic Computation and Cryptography
                      http://www.cc4cm.org/scc2008
                    Beijing, China, April 28-30, 2008 

                          FIRST CALL FOR PAPERS


SCC 2008 is the first of a new series of conferences where research and 
development in symbolic computation and cryptography may be presented and 
discussed. It is organized in response to the growing interest in applying 
and developing methods, techniques, and software tools of symbolic computation 
for cryptography. The use of lattice reduction algorithms in cryptology and 
the application of Groebner bases in the context of algebraic attacks are 
typical examples of explored applications. 

SCC 2008 aims at providing an interactive forum for interested researchers 
to exchange ideas and views, to present research results and progress, and 
to learn and discuss recent developments and emerging problems on 

- the design, modeling, and analysis of cryptographic systems and protocols 
  for which symbolic computation may be used or needed, and
- the design, implementation, and analysis of algorithms and software tools 
  of symbolic computation that may have potential applications in cryptography.

TOPICS

Specific topics for SCC 2008 include, but are not limited to:

- Multivariate cryptography, braid group cryptography, noncommutative 
  cryptography, and quantum cryptography
- Code-based, factorization-based, and lattice-based cryptography 
- Algebraic attacks for block ciphers, stream ciphers, and hash functions
- Design and analysis of algebraic, elliptic, and embedded cryptographic 
  systems and protocols
- Groebner basis techniques in cryptology, algebraic number theory, and 
  coding theory
- Triangular sets and new techniques for solving algebraic systems over 
  finite fields
- Algorithms and software for symbolic computation in cryptography

INVITED SPEAKERS 

Bruno Buchberger (Johannes Kepler Universitaet Linz, Austria)
Arjen K. Lenstra (Ecole Polytechnique Federale de Lausanne, Switzerland)
                 (to be confirmed)
Adi Shamir (Weizmann Institute of Science, Israel)
Xiaoyun Wang (Tsinghua University and Shandong University, China)

SUBMISSION

Potential participants of SCC 2008 are invited to submit extended
abstracts of 3-5 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.
Extended abstracts and full papers should be prepared using LaTeX with 
the style file available on the SCC 2008 webpage and according to the 
instructions given therein. Submissions must be done electronically 
via EasyChair at http://www.easychair.org/conferences/?conf=scc2008 or 
sent in PDF or PS format as e-mail attachments to scc2008 @ cc4cm.org.

Accepted extended abstracts and full papers will be printed in the
proceedings of SCC 2008 for distribution at the conference. 

PUBLICATION

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 - http://www.cc4cm.org/mcs) by 
Birkhauser/Springer after the meeting. The submitted papers will be 
formally reviewed by PC members and external referees according to 
the standard refereeing procedure of MCS.

IMPORTANT DATES

Deadline for extended abstract submission:  February 17, 2008
Notification of acceptance or rejection:    March 16, 2008
Conference taking place:                    April 28-30, 2008
Deadline for full paper submission:         June 30, 2008

GENERAL CHAIR

Zhiming Zheng (China)

PROGRAM COMMITTEE

Anne Canteaut (France)                   Jintai Ding (USA)
Jean-Charles Faugere, Co-chair (France)  Joachim von zur Gathen (Germany)
Pierrick Gaudry (France)                 Jaime Gutierrez (Spain)
Hoon Hong (USA)                          Antoine Joux (France)
Martin Kreuzer (Germany)                 Dongdai Lin (China)
Zhuojun Liu (China)                      Alexander May (Germany)
Ludovic Perret (France)                  Igor Shparlinski (Australia)
Rainer Steinwandt (USA)                  Boaz Tsaban (Israel)
Dongming Wang, Co-chair (China/France)

LOCAL ARRANGEMENTS

Shangzhi Li, Chair (China)      Jinxi Ma (China)      Chenqi Mou (China)