First CiE-IFCoLog Student Session

First CiE-IFCoLog Student Session

18-23 June 2012, University of Cambridge.

In conjunction with CiE 2012, TURING CENTENARY CONFERENCE – How the World Computes


Important Dates

  • 21 May 2012: Submission deadline
  • 31 May 2012: Author notification
  • 21 June 2012: Student Session

Programme

The session will be held on Thursday, 21 June, at the Cockcroft Lecture Theater, located in the New Museums Site.

The programme will consist of five talks of 20 minutes each (including question). See below a preliminary timetable.
Time Talk
14:00-14:20 A Computable Infinitary Logic
Catrin Campbell-Moore
14:20-14:40 On the Expressive Power of MSO and WMSO on Trees of Arbitrary Degree
Fabio Zanasi
14:40-15:00 DesCo: a Web Based Information System for Descriptional Complexity of Formal Languages
Davide Nabais
15:00-15:20 Encoding an imperative language in LF
Jesus Dominguez Alvarez
15:20-15:40 Opinion Detection of Sentences using Support Vector Machines
Akanksha Shrivastava
15:40-16:00 Discussion

Scope

The CiE-IFCoLog student sessions is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity to undergraduate and masters students to interact with more senior researchers.

Topics

The CiE-IFCoLog student sessions will consider papers in all aspects of computability and foundations of computer science, as well as well as papers exploring the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. See CiE’s CFPfor a list of topics.

Submission and Publication

Authors are invited to submit an extended abstract (max. 5 pages). Papers should be written in English, and submitted in Postscript or PDF format, using the EasyChair class style. After the student sessions, authors of accepted submissions will be asked to submit a final version to be published in a biannual issue of the IFCoLog workshop series.Submission is through the Easychair website.

Programme Committee

  • Sandra Alves
  • Edwin Brady
  • Maribel Fern├índez
  • Michael Gabbay
  • Ian Mackie
  • Andrew Pitts
  • Pedro Vasconcelos

Contact

Sandra Alves

Michael Gabbay

In conjunction with CiE 2012, TURING CENTENARY CONFERENCE – How the World Computes


Important Dates

  • 21 May 2012: Submission deadline
  • 31 May 2012: Author notification
  • 21 June 2012: Student Session

Programme

The session will be held on Thursday, 21 June, at the Cockcroft Lecture Theater, located in the New Museums Site.

The programme will consist of five talks of 20 minutes each (including question). See below a preliminary timetable.
Time Talk
14:00-14:20 A Computable Infinitary Logic
Catrin Campbell-Moore
14:20-14:40 On the Expressive Power of MSO and WMSO on Trees of Arbitrary Degree
Fabio Zanasi
14:40-15:00 DesCo: a Web Based Information System for Descriptional Complexity of Formal Languages
Davide Nabais
15:00-15:20 Encoding an imperative language in LF
Jesus Dominguez Alvarez
15:20-15:40 Opinion Detection of Sentences using Support Vector Machines
Akanksha Shrivastava
15:40-16:00 Discussion

Scope

The CiE-IFCoLog student sessions is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity to undergraduate and masters students to interact with more senior researchers.

Topics

The CiE-IFCoLog student sessions will consider papers in all aspects of computability and foundations of computer science, as well as well as papers exploring the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. See CiE’s CFPfor a list of topics.

Submission and Publication

Authors are invited to submit an extended abstract (max. 5 pages). Papers should be written in English, and submitted in Postscript or PDF format, using the EasyChair class style. After the student sessions, authors of accepted submissions will be asked to submit a final version to be published in a biannual issue of the IFCoLog workshop series.Submission is through the Easychair website.

Programme Committee

  • Sandra Alves
  • Edwin Brady
  • Maribel Fern├índez
  • Michael Gabbay
  • Ian Mackie
  • Andrew Pitts
  • Pedro Vasconcelos

Contact

Sandra Alves

Michael Gabbay

Some Tags: Writing, AI, time, Workshop, Conference, rewriting, science, pdf