In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

We study a fair division problem, where a set of indivisible goods is to be allocated to a set of n agents. Each agent may have different preferences, represented by a valuation function that is a probability distribution on the set of goods. In the continuous case, where goods are infinitely divisible, it is well known that proportional allocations always exist, i.e., allocations where every agent receives a bundle of goods worth to him at least 1/n. In the presence of indivisible goods however, this is not the case and one would like to find worst case guarantees on the value that every agent can have. We focus on algorithmic and mechanism design aspects of this problem.

In the work of [Hill 1987], an explicit lower bound was identified, as a function of the number of agents and the maximum value of any agent for a single good, such that for any instance, there exists an allocation that provides at least this guarantee to every agent. The proof however did not imply an efficient algorithm for finding such allocations. Following upon the work of Hill, we first provide a slight strengthening of the guarantee we can make for every agent, as well as a polynomial time algorithm for computing such allocations. We then move to the design of truthful mechanisms. For deterministic mechanisms, we obtain a negative result showing that a truthful 2/3-approximation of these guarantees is impossible. We complement this by exhibiting a simple truthful algorithm that can achieve a constant approximation when the number of goods is bounded. Regarding randomized mechanisms, we also provide a negative result, showing that we cannot have truthful in expectation mechanisms under the restrictions that they are Pareto-efficient and satisfy certain symmetry requirements.

Joint work with Christos-Alexandros Psomas

For more information, contact k.r.apt at cwi.nl

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com), or Matthijs Westera (M.Westera at uva.nl).

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

STW funds excellent research, which can lead to the development of a product. In its’ evaluation processes both scientific excellence and possibility for utilization are equally important. Therefore when you write an STW application you need to keep in mind what it takes to get from research to product, and you need to get the parties necessary to bring the product to market aboard.

Dr Eppo Bruins, director of STW, will give a presentation on the ins- and outs of STW funding. Dr Marja Oosterlaken will talk about the do’s and don't’s, and dr (tbc, Erik Manders) will give his tips for writing a successful STW application.

This workshop is intended for researchers, and for possible industry partners. Feel free to invite your industry contacts to this meeting.

The workshop will be given in English. Participation is free

For more information, see http://www.english.uva.nl/technology-transfer-office/workshops-and-training.cfm/

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1340.

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam (11am, Aula). Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

For more information and a programme, see http://staff.science.uva.nl/~zhenhao/SetThy12/index.html

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

On Friday February 10th 2012, Yurii Khomskii will publicly defend his PhD thesis in Amsterdam (11am, Aula). Following the defense, we shall hold a set theory workshop where the members of the committee, local set theorists and some additional guests will give talks. Every interested researcher is cordially invited.

For more information and a programme, see http://staff.science.uva.nl/~zhenhao/SetThy12/index.html

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Umberto Grandi (u.grandi at uva.nl), Tong Wang (tongwang01 at gmail.com) or Matthijs Westera (M.Westera at uva.nl).

In February 2012, Roberto Guintini (University of Cagliari) will give a 4-part LogiCIC and LiQuID tutorial on The Logics of Quantum Computation: An Introduction.

For more information, see https://www.illc.uva.nl/lgc/seminar/?p=1344

The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Tanja Eisner (t.eisner at uva.nl), Hessel Posthuma (h.b.posthumsa at uva.nl) or Neil Walton (n.s.walton at uva.nl)

Two cross-linguistic experiments comparing musicians and non-musicians were performed in order to examine whether musicians have enhanced perception of specific acoustical features of speech in a second language (L2). These discrimination and identification experiments examined the perception of various speech features; namely, the timing and quality of Japanese consonants, and the quality of Dutch vowels. We found that musical experience was more strongly associated with discrimination performance rather than identification performance. The enhanced perception was observed not only with respect to L2, but also L1. It was most pronounced when tested with Japanese consonant timing.

These findings suggest the following: 1) musicians exhibit enhanced early acoustical analysis of speech, 2) musical training does not equally enhance the perception of all acoustic features automatically, and 3) musicians may enjoy an advantage in the perception of acoustical features that are important in both language and music, such as pitch and timing.

For more information, see http://staff.science.uva.nl/~ahoningh/readinggroup.html

For abstracts and more information, see http://sites.google.com/site/illcdip/.

For more information and an abstract, see here or contact kishidakohei at gmail.com.

For more information and an abstract, see here or contact nina.gierasimczuk at gmail.com.