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

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Johannes Marti (johannes.marti at gmail.com).

For an abstract, see here.

Using the general notions of finite presentable and finitely generated object introduced by Gabriel and Ulmer
in 1971, we prove that, in any category, two sequences of finitely presentable objects and morphisms (or two sequences of finitely generated objects and monomorphisms) have isomorphic colimits (=direct limits) if, and only if, they are confluent. The latter means that the two given sequences can be connected by a back-and-forth sequence of morphisms that is cofinal on each side, and commutes with the sequences at each finite stage. We illustrate
the criterion by applying the abstract results to varieties (=equationally definable classes) of algebras, and mentioning applications to non-equational examples.

For more information, contact luca.spada at gmail.com

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com. You can read the paper this talk will be based on at https://docs.google.com/file/d/0B7-4xydn3MXJUWpiUkpZNW5fenM/.

The BètaBreak of Wednesday, October 16th is all about cryptography. But what does it mean: cryptography? How can you encrypt your data, and how safe is it? What is the status of quantum cryptography? And how safe is digital data for intelligence agencies and privacy?

This summer Edward Snowden, a computer security specialist at the U.S. National Security Agency, blew the whistle on the practices of that service. Together with the British GCHQ they eavesdrop on much of the Internet traffic, including encrypted communications. They do this by forcing major Internet to transfer data, but also to crack the encryption or even weaken it beforehand. Thus cryptography - essential for safe Internet - becomes less reliable: for e-mail, but also for banking.

Wednesday 16 October, the BètaBreak will be in the central hall of the Faculty of Science building at the Science Park, and we will discuss these subjects with the following guests:

• Jeremy Butcher of the Crypto unit at IT security company Fox-IT, which in the Netherlands plays a key role in the investigation of and protection against IT security incidents.
• Rop Gonggrijp, editor-in-chief of the hacker magazine Hack-Tic, founder of XS4ALL, creator of the Cryptophone and captain of 'Wij vertrouwen stemcomputers niet' ('we do not trust voting computers').
• Christian Schaffner, assistant professor at the Institute for Logic, Language and Computation (ILLC), and researcher in the field of quantum cryptography.

For more information, see http://www.betabreak.nl/

"Tsinghua Meets..." is a new series of workshops that Tsinghua University is going to host. It will take place annually. The idea is to create a platform for Tsinghua logicians, as well as those researchers from neighbouring universities, to meet other research groups in the world, discuss ongoing works and establish future collaborations.

We are happy to open the new series of “Tsinghua Meets..." with a meeting with researchers at the ILLC, University of Amsterdam. We have invited researchers who are either from Tsinghua or the ILLC, or have closely worked with researchers in these institutions, to present their recent work and exchange ideas for future collaboration. We will have a panel discussion to explore further possibilities of joint project, including joint grant applications.

For more information, see http://tsinghualogic.net/?page_id=629.

The purpose of this event is to bring together MoL students, PhD Candidates and ILLC postdocs, with ILLC alumni (MoL or PhD) that are pursuing either academic or non academic careers.

The speakers will talk about their current occupations and the challenges and differences they faced when looking for a job inside or outside the academic world. The ILLC will invite all participants for drinks.

For more information, see http://www.illc.uva.nl/phdcouncil/careerevent or contact the PhD Council at phdcouncil.illc at gmail.com.

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

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Guus Eelink (guuseelink at gmail.com), Johannes Marti (johannes.marti at gmail.com) or Masa Mocnik (masa.mocnik at gmail.com).

For an abstract, see here.

For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/

For more information, see http://www.illc.uva.nl/lgc/seminar

On 25 October 2013 the University of Amsterdam will celebrate the 10-year anniversary of its Bachelor and Master programmes in the Information Sciences with an event for staff, students, and alumni. These programmes include the ILLC's Master of Logic, which in 2003 changed from to a 2-year programme from its original 1-year format.

All members of the ILLC, and all past and current students are cordially invited. For details and to register, please visit http://iw1010.nl.

For more information, please contact ulle.endriss at uva.nl.

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

For more information, see http://www.illc.uva.nl/coollogic/ or contact coollogic.uva at gmail.com.

On Monday 28 October 2013 the philosophy department will visit the ILLC in order to strengthen the ties between the two. After three short talks by Benedikt Loewe, Michiel van Lambalgen and Christian Skirke drinks will be served.

For more information, contact illc at uva.nl

The lecture is organised for the 1st year students following the course 'Logic, Information flow and Argumentation'. It is open and anyone interested is welcome to attend.

For more information, see the AUC website at http://www.auc.nl/.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Sumit Sourabh (sumit.sourabh at gmail.com).

The central topic of this workshop is natural language learning and invention using (robotic) agents. The speakers are Michael Franke, Paul Vogt, Michael Spranger, and Simon Pauw. The workshop is concluded with a public SMART lecture by Luc Steels in a different building.

For more information, see http://www.illc.uva.nl/LaCo/smartcs/languageandrobots.html.

For abstracts and more information, see http://smartcognitivescience.wordpress.com/

For more information, see http://www.illc.uva.nl/lgc/seminar