Verano de la lógica de Viena
El Verano de la Lógica de Viena fue un evento científico en el verano de 2014, que combinó 12 conferencias importantes y varios talleres de los campos de la lógica matemática , la lógica en la informática y la lógica en la inteligencia artificial . [1] Las reuniones se llevaron a cabo del 9 al 24 de julio de 2014 y atrajeron a más de 2000 científicos e investigadores. [2] [3]
El evento fue organizado por la Sociedad de Kurt Gödel en la Universidad Tecnológica de Viena . [4] Las reuniones participantes incluyen: [5]
