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