Talks June 2012

talks@lists.idsia.ch

1 participants
3 discussions

11.06 1430 IDSIA - Marco Caminati. Computer-aided mathematical proofs

by Announcements of talks＠IDSIA

Monday 11 June 2012, 1430 IDSIA meeting room, Galleria 1, Manno SPEAKER: Marco Caminati, University of Rome "La Sapienza", Italy TITLE: Computer-aided mathematical proofs ABSTRACT: Theorem provers are computer programs aiming to find, help to find, or merely certify mathematical proofs, given a formal language and a set of inference rules. After an introduction about the current state of the field, I will focus on proofs in the standard mathematical formal language (set theory) and on Mizar, arguably the most developed software project in this framework. More precisely, I will give a review of the issues involved in formalizing fundamental results (like Goedel's completeness and Lowenheim-Skolem theorems) concerning first-order logic into (set theory + inference rules), which is a first-order logic itself.

11 years, 10 months

1
0
0 / 0

Ioannis Athanasiadis - Software engineering for the environment: Setting up a research agenda for the next decade

by Announcements of talks＠IDSIA

Dear Colleagues, today Ioannis Athanasiadis will give us a talk titled "Software engineering for the environment: Setting up a research agenda for the next decade". The talk will start at 11:30 and it will take place ion IDSIA's meeting room. While environmental software has been around for some decades now, it still remains an emerging field that attracts little attention of computer scientists. Environment is a broad, interdisciplinary field and environmental applications require a significant investment from software engineers to understand the domain. This talk will summarize author experiences in developing and evaluating environmental software, and present open issues in the field and propose a research agenda for the years to come. Short CV Dr Ioannis N. Athanasiadis is a Lecturer with the Electrical & Computer Engineering Department of Democritus University of Thrace, in Xanthi, Greece. Previously, he was a researcher at IDSIA, in Lugano, Switzerland. His areas of expertise include software engineering, intelligent information systems, environmental informatics, software agents, decision support systems, knowledge engineering, metadata and ontologies and machine learning. ___________________________________________ Scuola universitaria professionale della Svizzera italiana Dipartimento tecnologie innovative Istituto Dalle Molle di studi sull’intelligenza artificiale Dr Andrea Emilio Rizzoli Professore Galleria 2 CH-6928 Manno T +41 (0)58 666 66 64 F +41 (0)58 666 66 61 andrea(a)idsia.ch www.idsia.ch

11 years, 10 months

1
0
0 / 0

05.06 1430 IDSIA - E. Rocchi - Matheuristic techniques for real-world vehicle routing problems

by Announcements of talks＠IDSIA

Tuesday 5 June 2012, 1430 IDSIA meeting room, Galleria 1, Manno SPEAKER: Elena Rocchi, University of Bologna, Italy TITLE: Matheuristic techniques for real-world vehicle routing problems ABSTRACT: The research area concerns the design and study of matheuristic algorithms, used as solution methods for real-world problems, combinatorial in nature. Matheuristic methods come from the integration of exact components within a metaheuristic framework, chosen as a solution paradigm. The combination of exact components and metaheuristic algorithms has the purpose of exploiting the advantages of both approaches: thank to the use of the exact components, it is possible to operate effectively and to focus on some of the constraints of the problem, while, with the use of a metaheuristic framework, one can efficiently explore large areas of the search space in acceptable time. The field in which these algorithms are of interest to me is related to transportation problems. In my talk, I will introduce the problems I have directly studied, namely the Vehicle Routing Problem with Time Windows and Pairwise Synchronization Constraints (VRPTWPS) and the Periodic Travelling Salesman Problem (PTSP), along with the matheuristic method realized for solving the VRPTWPS. Real world instances of this last, characterized by synchronization constraints, will be described and preliminary computational results presented.

11 years, 10 months

1
0
0 / 0

← Newer
1
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

Talks June 2012