For abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Sep5.

For abstracts and more information, see https://www.illc.uva.nl/dip/.

Symposium Meetkunde ter gelegenheid van het emeritaat van Dirk Siersma

Programma:

For more information, mail F.Beukers at f.beukers at uu.nl.

In the field of machine learning, many problems are treated as classification tasks. A classifier takes an event and assigns a (pre-defined) class to it. When events are sequences, the classification may be based on aspects of the structure of these events. For instance, the fact that certain symbols co-occur in a sequence may be an indication that these sequences belong to a certain class.

In this talk, I will describe some research I have been doing in this field recently. This work is still in progress. I will show some results on the task of question classification (assign the type of answer to a question), and composer classification (given a musical piece, assign its composer).

For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/

This workshop addresses foundational aspects of semantics within a broadly biolinguistic approach to language, where explanatory accounts to the semantic component of the language faculty (in comparison tothe sensorimotor component, or syntax) are still lacking. The workshop's more specific focus is the question of how syntactic structures feed semantic interpretation. It is particularly devoted to the 'elements of truth', such as predication, categorization, and reference. Truth is the basic category and theoretical primitive around which most semantic theories have been built. But only very specific syntactic structures are evaluable for truth: not Noun Phrases, in particular. The origin of truth therefore throws up central questions in the pursuit of biolinguistics: the structure of the syntax-semantics interface and the mapping of syntactic to semantic categories, clause-structure, the theory of categories, the units of computation (phases), the truth-reference distinction, cross-linguistic variance in categorization, clause-structure, the growth of reference in acquisition, semantics and extra-linguistic domains, the neurological basis of the syntax-semantics interface, and the theory of predication. The conference is a part of the NWO-funded ILLC/UvA project on the 'Origins of truth'.

For more information, see http://home.medewerker.uva.nl/b.arsenijevic/page2.html

This workshop addresses foundational aspects of semantics within a broadly biolinguistic approach to language, where explanatory accounts to the semantic component of the language faculty (in comparison tothe sensorimotor component, or syntax) are still lacking. The workshop's more specific focus is the question of how syntactic structures feed semantic interpretation. It is particularly devoted to the 'elements of truth', such as predication, categorization, and reference. Truth is the basic category and theoretical primitive around which most semantic theories have been built. But only very specific syntactic structures are evaluable for truth: not Noun Phrases, in particular. The origin of truth therefore throws up central questions in the pursuit of biolinguistics: the structure of the syntax-semantics interface and the mapping of syntactic to semantic categories, clause-structure, the theory of categories, the units of computation (phases), the truth-reference distinction, cross-linguistic variance in categorization, clause-structure, the growth of reference in acquisition, semantics and extra-linguistic domains, the neurological basis of the syntax-semantics interface, and the theory of predication. The conference is a part of the NWO-funded ILLC/UvA project on the 'Origins of truth'.

For more information, see http://home.medewerker.uva.nl/b.arsenijevic/page2.html

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam.

In celebration of the centenary of his birth, the E.W. Beth Centenary Conference will focus on Beth's contributions to logic, philosophy of mathematics, philosophy of science, history of logic and scientific philosophy, in relation to contemporary ideas.

The scientific conference is devoted to four subjects, divided over four sessions:
* Foundations and philosophy of mathematics
* Philosophy and history of science
* Pure and applied logic
* Scientific philosophy

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam.

In celebration of the centenary of his birth, the E.W. Beth Centenary Conference will focus on Beth's contributions to logic, philosophy of mathematics, philosophy of science, history of logic and scientific philosophy, in relation to contemporary ideas.

The scientific conference is devoted to four subjects, divided over four sessions:
* Foundations and philosophy of mathematics
* Philosophy and history of science
* Pure and applied logic
* Scientific philosophy

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

Motto: 'My philosophical endeavor is directed to help create the conditions for a rational reflection on the most diverse domains of human activity' (E. W. Beth)

Evert Willem Beth (1908-1964) was the founding father of scientific philosophy in the Netherlands, as well as the founder of institutionalized logic in Amsterdam. In celebration of the centenary of his birth, the E. W. Beth Foundation in Amsterdam organizes a Symposium on Beth's Life and Influence.

For more information, see here or contact Ms. Pauline Mol at pauline.mol at bureau.knaw.nl or Prof. Henk Visser at h.visser at micc.unimaas.nl

For more information, contact Yde Venema: Y.Venema at uva.nl

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4

This talk presents one of the main ideas proposed in Floris Roelofsen's dissertation, which will be defended on the 9th of October. Anyone interested is invited to attend the defense.

For more information and abstracts, see https://www.illc.uva.nl/LaCo/CLS/ or http://student.science.uva.nl/~froelofs/defense/.

For abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Sep19.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

The Mifare Classic chipcard has been dismantled. Between 1 and 2 billion copies have been sold worldwide. The card is mainly used for access to buildings and for public transport. The talk will give an overview of these developments and of the role of the Digital Security Group of the Radboud University Nijmegen. (This public lecture is part of the NIAS-Lorentz workshop Logic and information security, to be held from 22 to 26 Sept at the Lorentz Center in Leiden. The public lecture is open to all, and registration for this lecture is NOT required. Registration for the workshop is obligatory.

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

A one-hour biographical documentary, "Julia Robinson and Hilbert's Tenth Problem" (directed by George Paul Csicsery) tells the story of an important American mathematician against a background of mathematical ideas. It features interviews with many famous logicians such as Martin Davis, Hilary Putnam, Solomon Feferman, or Dana Scott.

The movie is shown as part of the course "Core Logic".

For more information about the movie, see http://www.zalafilms.com/films/juliarobinson.html. For practical information contact Benedikt Löwe or Sara Uckelman.

For more information, see here or http://www.cs.sfu.ca/~hunter/personal/research.html, or contact Ulle Endriss <ulle.endriss at uva.nl>.

For more information, contact Yde Venema (Y.Venema at uva.nl) or see http://staff.science.uva.nl/~yde/ac/seminar.html

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=4

NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.
This edition of the NAPdag will be somewhat special: because of the growing collaboration between the two research institutes, there will be presentations of PhD's from the ACLC as well as from the ILLC.

Attendance is free, but if you wish to join the (free) lunch, please send an email to the organizers before September 15th.

For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/, or contact the organizers at napdag2008 at gmail.com.

For abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Sep26.

For abstracts and more information, see https://www.illc.uva.nl/dip/.