Grupo de Investigación en Lógica, Lenguaje e Información (GILLIUS) UNIVERSIDAD DE SEVILLA

https://filologia.us.es/wp-content/uploads/2017/03/D%C3%ADptico-Investiga...

https://www.glc.us.es/fetlt2016/

https://www.glc.us.es/fetlt2015/

Fechas: Viernes y sábados desde el 28 de octubre al 26 de noviembre de 2016.
Lugar: Edificio Green Ray (ampliación del Campus Universitario de Teatinos), 3.ª planta.
Organización: Unidad de Investigación en Lógica, Lenguaje e Información - Universidad de Málaga y Andalucía Tech.

Fecha: 26-3-2015.
Lugar: Aula de Grados A - Escuela Técnica Superior de Ingeniería Informática - Universidad de Málaga.
Organización: Universidad de Málaga, Universidad de Sevilla y Andalucía Tech.

Fecha / Date: 14-01-2015.
Hora / Time: 10:00 h.
Lugar / Location: Seminario del Área de Filosofía del Dpto. de Filosofía y Lógica y Filosofía de la Ciencia, Facultad de Filosofía - Universidad de Sevilla.
Ponente / Lecturer: Nino Guallart Forés.
Título / Tittle: Los sistemas de tipos dependientes: sintaxis y semántica.

Fecha: 25-03-2014.
Horario: 11:30/17:30 h.
Lugar: Seminario del Área de Lógica y Filosofía de la Ciencia del Dpto. de Filosofía y Lógica y Filosofía de la Ciencia - Facultad de Filosofía - Universidad de Sevilla.

Intervienen:

Fecha: 3/5-11-2014.
Lugar: Aula de Grados A - Escuela Técnica Superior de Ingeniería Informática - Universidad de Málaga.
Organización: Universidad de Málaga, Universidad de Sevilla y Andalucía Tech.

Fecha / Date: 20-10-2014.
Hora / Time: 16:00 h.
Lugar / Location: Aula F4 - Facultad de Filosofía - Universidad de Sevilla.
Ponente / Lecturer: Atocha Aliseda Llera.
Título / Tittle: Lógica y Conocimiento.

Fecha / Date: 09-06-2014.

Lugar / Location: Aula 111, Facultad de Filología - Universidad de Sevilla. (Cómo llegar: entrando al edificio de la Fábrica de Tabacos por C/ Palos de la Frontera tomar el primer pasillo de la izquierda --el cual se abre justo a continuación de la conserjería-- y, tras recorrer aproximadamente la mitad del mismo, se encuentra a la izquierda) .

Hora, ponentes y títulos / Time, Lecturers and tittles: • 9:30 / 10:30. Fernando Soler Toscano: Complejidad algorítmica para cadenas pequeñas (teoría y aplicaciones). • 10:30 / 11:30. José Francisco Salguero Lamillar & Ángel Nepomuceno Fernández: La reconstrucción de protolenguas y lenguas históricas como proceso lógico abductivo.