Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

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

Notice

AISB opportunities Bulletin Item

EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC

http://www.computational-logic.eu

 *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC ***
             http://www.computational-logic.eu

The  Faculty of  Computer Science  at  the Free  University of  Bozen-
Bolzano (FUB), in Italy  (at the heart  of the  Dolomites mountains in
South-Tyrol),   is   offering   the   European  Masters   Program   in
Computational  Logic as  part of  its  Master of  Science in  Computer
Science offer (Laurea Specialistica).  The European Masters Program in
Computational Logic is an  international distributed Master of Science
course, in  cooperation with the  computer science departments  in the
following universities:

   * Free University of Bozen-Bolzano, Italy
   * Technische Universitaet Dresden, Germany
   * Universidade Nova de Lisboa, Portugal
   * Technische Universitaet Wien, Austria
   * Universidad Politecnica de Madrid, Spain

This program, completely in English, involves studying one year at the
Free University of Bozen-Bolzano,  and completing the second year with
a stay  in one  of the partner  universities. After this,  the student
will obtain, together with the  European degree, two Master of Science
degrees: the  Laurea Specialistica degree from the  Free University of
Bozen-Bolzano, with legal value in Italy, and the respective Master of
Science degree  from the visited  university, with legal value  in its
country.

APPLICATION DEADLINES:

- *** 10 FEBRUARY 2009* ** : first deadline for all European and  non-
 European  students, and  final deadline  for  non-European  students
 requesting an Erasmus Mundus scholarship
 (notification of acceptance: 10 March 2009)
- 31 May 2009: deadline for all European and non-European students
 (notification of acceptance: 15 June 2009)
- 22 August 2009: last deadline only for European students
 starting at the Free University of Bozen-Bolzano, Italy
 (notification of acceptance: 5 September 2009)

SCHOLARSHIPS & MONEY SUPPORT:

In  2009 the  European Union  will  offer several  new Erasmus  Mundus
scholarships  for non-European  citizens (in  2004, 2005,  2006, 2007,
2008  more  than 90  Erasmus  Mundus  scholarships  were given).  Each
scholarship for each student amounts  to 21,000 EUR per academic year;
this includes  10 monthly grants  of 1,600 EUR  and a fixed  amount of
5,000 EUR for  fees, travel expenses, relocation costs,  etc. The 10th
of  February 2009  is the  final  deadline for  requesting an  Erasmus
Mundus scholarship for non-European students.

European citizens  can apply to scholarships which  are granted purely
on the  basis of  the yearly  income of the  applicant and  of her/his
parents  or husband/wife.  This scholarship  is only  for the  year of
study at FUB and it may amount  up to more than 6,000 EUR per academic
year, plus support on the accommodation and reimbursement of the local
enrolment fees.  These scholarships are also available to non-European
citizens with  residence in Italy.  European students will also  get a
LLP Socrates Erasmus scholarship for  the second year of study abroad,
which is 330 EUR per month.

  NEW!   Several  tuition  fee  waivers  are  available  to  European
  students with good qualifications.  All European applicants will be
  considered for tuition fee waivers.

  The IBM Center for Advanced Studies sponsors an annual "IBM & KRDB"
  award for  the best thesis  on a Computational Logic  related topic
  defended at the Free  University of Bozen-Bolzano; each winner will
  receive  a laptop  computer  from  IBM. In  addition  to that,  the
  Italian  site  in Rome  of  the  IBM  Center for  Advanced  Studies
  supports  scholarships of up  to 2,400  EUR to  work on  a research
  project or on the thesis at their labs in Rome.

  Every  year  10  students   with  European  citizenship  can  visit
  Australia (Canberra, Sidney, Melbourne  or Brisbane) up to 3 months
  to work  on a research  project, sponsored by the  European Master.
  The study period in Australia is part of the study programme and it
  is   fully  recognised   by  the   European  Master's   Program  in
  Computational Logic. The guaranteed scholarship is of 3,100 EUR and
  it covers the travel and living expenses in Australia.

Check the web page for  detailed info on other available scholarships:
http://www.computational-logic.eu

THE STUDY PROGRAMME:

The  European Masters Program  in Computational  Logic is  designed to
meet  the demands  of industry  and research  in this  rapidly growing
area.  Based on a  solid foundation in mathematical logic, theoretical
computer science, artificial  intelligence and declarative programming
students  will  acquire   in-depth  knowledge  necessary  to  specify,
implement and  run complex systems as  well as to  prove properties of
these  systems. In  particular, the  focus of  instruction will  be in
deduction systems, knowledge  representation and reasoning, artificial
intelligence, formal  specification and verification,  syntax directed
semantics, logic  and automata  theory, logic and  computability. This
basic  knowledge is  then  applied  to areas  like  logic and  natural
language  processing,  logic  and  the semantic  web,  bioinformatics,
information  systems and  database technology,  software  and hardware
verification.  Students  will acquire  practical  experience and  will
become  familiar in  the use  of tools  within these  applications. In
addition, students will  be prepared for a future  PhD, they will come
in  contact with  the  international research  community  and will  be
integrated   into  ongoing  research   projects.  They   will  develop
competence  in  foreign  languages  and  international  relationships,
thereby improving their social skills.

Applicants  should  have  a  Bachelor  degree  (Laurea  triennale)  in
Computer Science, Computer Engineering, or other relevant disciplines;
special cases will be considered.  The programme is part of the Master
in Computer  Science (Laurea Specialistica in Informatica)  and it has
various  strengths that make  it unique  amongst Italian  and European
universities:

* Curriculum taught entirely in English:  The programme is open to the
  world and prepares the students to move on the international scene.
* Possibility of a strongly research-oriented curriculum.
* Possibility  for  project-based  routes  to obtain  the  degree  and
  extensive lab facilities.
* Other specialisations  with streams in the  hottest Computer Science
  areas,   such  as  Web  Technologies,  Information   and  Knowledge
  Management, Databases and Software Engineering.
* International student community.
* Direct  interaction with  the local  and international  industry and
  research  centres, with the possibility  of practical  and research
  internships that can lead to future employment.
* Excellent scholarship opportunities and student accommodations.

The  European  Masters Program  in  Computational  Logic is  sponsored
scientifically by the European  Network of Excellence on Computational
Logic  (CoLogNET), the  European  Association of  Logic, Language  and
Information   (FoLLI),  the   European   Coordinating  Committee   for
Artificial   Intelligence  (ECCAI),   the   Italian  Association   for
Artificial   Intelligence  (AI*IA),   the   Italian  Association   for
Informatics  (AICA, member  of  the Council  of European  Professional
Informatics  Societies), the  Italian  Association for  Logic and  its
Applications  (AILA), and  the Portuguese  Association  for Artificial
Intelligence (APPIA).

THE FREE UNIVERSITY OF BOZEN-BOLZANO:

The Free  University of Bozen-Bolzano, founded in  1997, boasts modern
premises  in   the  centre   of  Bozen-Bolzano.  The   environment  is
multilingual,  South Tyrol being  a region  where three  languages are
spoken: German, Italian and Ladin. Studying in a multilingual area has
shown  that  our students  acquire  the  cutting  edge needed  in  the
international business  world. Many of  our teaching staff  hails from
abroad.   Normal  lectures  are   complemented  with   seminars,  work
placements and  laboratory work, which give our  students a vocational
as well  as theoretical training, preparing them  for their subsequent
professional careers. Studying at the Free University of Bozen-Bolzano
means,  first and  foremost,  being  guided all  the  way through  the
student's educational career.
Bozen-Bolzano, due to its enviable geographical position in the centre
of   the  Dolomites,  also   offers  our   students  a   multitude  of
opportunities  for  spending  their  free-time. The  city  unites  the
traditional with the modern. Young people and fashionable shops throng
the city  centre where ancient mercantile buildings  are an attractive
backdrop to a city that is  in continual growth. To the south there is
the  industrial  and  manufacturing  area with  prosperous  small  and
medium-sized businesses  active in every economic sector.  Back in the
17th century  Bozen-Bolzano was already a  flourishing mercantile city
that, thanks  to its particular  geographic position, functioned  as a
kind of bridge between northern and southern Europe. As a multilingual
town  and a cultural  centre Bozen-Bolzano  still has  a lot  to offer
today.  Its plethora  of theatres,  concerts with  special programmes,
cinemas and museums, combined with a series of trendy night spots that
create local  colour make  Bozen-Bolzano a city  that is  beginning to
cater for  its increasingly demanding  student population. And  if you
fancy a very special experience, go and visit the city's favourite and
most famous resident - "Oetzi", the Ice Man of Similaun, housed in his
very  own  refrigerated room  in  the  recently opened  archaeological
museum.
Bozen-Bolzano and its surroundings are an El Dorado for sports lovers:
jogging  on the  grass alongside  the River  Talfer-Talvera,  walks to
Jenesien-S.Genesio   and  on   the  nearby   Schlern-Sciliar  plateau,
excursions  and mountain climbing  in the  Dolomites, swimming  in the
numerous nearby lakes and, last but not least, skiing and snowboarding
in the surrounding ski areas.

FURTHER INFORMATION:

Sergio Tessaris (director) or Enrico Franconi
at info@fub.computational-logic.eu

European Masters Program in Computational Logic
Faculty of Computer Science
Free University of Bozen-Bolzano
Piazza Domenicani, 3
I-39100 Bozen-Bolzano BZ, Italy

Phone: +39 0471 016 000
Fax:   +39 0471 016 009
Email: info@fub.computational-logic.eu
Web site: http://www.computational-logic.eu