Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español es
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-05-18

The 6th Barcelona Logic Meeting

Objetivo

The topic of the event is Mathematical Logic. It concentrates mainly on three areas: Algebraic Logic, Model Theory and Set Theory, although it encompasses all areas in the field, including Proof Theory, Recursion Theory, Computational Logic and Complexity Theory, as well as their applications to other areas of Mathematics and Computer Science.

It will be a three-day international conference at the highest scientific level, with the following aims:
- To offer leading experts in the field a suitable place for announcing their latest research results to a broader audience;
- To help bridge the gaps between several distinct, although closely related, areas in Mathematical Logic, through survey talks by renowed speakers;
- To provide young logicians with an opportunity for presenting their results to leading researchers in their respective fields, and for interacting with them through informal discussions.

The scientific program of the meeting will consist on:
- 8 invited lectures;
- 30 short communications;
- 2 informal discussion sessions open to all participants. The conference will be a satellite activity of the 3rd European Congress of Mathematics, which will not only increase the participation of mathematicians from other related areas, but it will also secure the presence of Mathematical Logic in the whole series of events organized around the 3ECM.
ftp://ftp.cordis.lu/pub/improving/docs/HPCF-1999-00058-1.pdf(se abrirá en una nueva ventana)

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Este proyecto aún no se ha clasificado con EuroSciVoc.
Sugiera los ámbitos científicos que considere más relevantes y ayúdenos a mejorar nuestro servicio de clasificación.

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

Datos no disponibles

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

ACM - Preparatory, accompanying and support measures

Coordinador

Type of Event: Euro Conference
Aportación de la UE
Sin datos
Dirección
This event takes place in Bellaterra (Barcelona)

España

Ver en el mapa

Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos
Mi folleto 0 0