[EstudiantesMatemática] Fw: Curso de Realizabilidad a cargo de Alexandre Miquel

[Bruno Stonek]

Inicio del mensaje redirigido:

Fecha: Mon, 01 Nov 2010 11:56:04 -0200
Desde: mauricio en cmat.edu.uy
Para: todos en cmat.edu.uy
Asunto: [Todos CMAT] Curso de Realizabilidad a cargo de Alexandre Miquel


Estimados,

           Mis disculpas a quienes no les interesa, pero me decidi a  
usar el "todos" ya que queda poco tiempo para difundir esta actividad.

           Durante 4 semanas el profesor Alexandre Miquel dictara un  
curso introductorio a la Realizabilidad intuicionista y clasica. Se  
trata de una disciplina a la frontera entre la informatica teorica y  
la logica, en la cual se explora la conocida correspondencia entre  
demostraciones de logica intuicionista y programas (correspondencia de  
Curry-Howard) y diversas formas de extenderla a la logica clasica y a  
teorias matematicas complejas como el analisis.

           El curso esta dirigido a estudiantes de posgrado e  
investigadores aunque tiene pocos prerrequisitos y estos seran  
presentados brevemente mediante charlas introductorias.  Fue  
solicitado a la comision de posgrado del Pedeciba y a la maestria en  
ingenieria matematica, que se lo acepte como materia curricular,  
asignandole creditos. El tramite esta pendiente.

           Quien suscribe ofrecera 4 charlas sobre calculo lambda,  
sistemas de tipado y correspondencia de Curry-Howard, las cuales se  
dictaran los dias 10, 12, 17 y 19 de noviembre en el cmat (salas y  
horarios a confirmar). El curso propiamente dicho comienza el dia 24 y  
durara 4 semanas. Su carga horaria sera de 16 horas de teorico y 6  
horas de practico. Se evaluara mediante un trabajo final, el cual sera  
valido para la ganancia del curso y el examen final.

           Les envio el programa del curso. Un saludo cordial,

                      Mauricio GUILLERMO.

PS: Las clases del curso se dictaran en idioma ingles.

From: mauricio en cmat.edu.uy
To: todos en cmat.edu.uy
Subject: [Todos CMAT] Curso de Realizabilidad a cargo de Alexandre
Miquel [informacion complementaria] Date: Mon, 01 Nov 2010 14:29:20
-0200 Sender: todos-bounces en cmat.edu.uy
User-Agent: Internet Messaging Program (IMP) H3 (4.3.5)

Estimados,

          Solo un par de datos mas, que son relevantes y que olvide:

          a) El profesor Miquel es Maitre de Conferences de l'Ecole  
Normale Superieure de Lyon. Su especialidad es la informatica teorica  
con enfasis en programacion funcional y su relacion con la logica. Les  
envio su CV por si les resulta de interes.

          b) Este curso cuenta con el apoyo del Instituto  
Franco-Uruguayo de Matematica (IFUM), el programa PREMER (U. de  
Artois, Lille y UdelaR) y la Direccion General de Relaciones y  
Cooperacion, a traves de su "programa 720".

          Un saludo cordial,

                           MAURICIO.


----------------------------------------------------------------
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy

<<This message was sent using IMP, the Internet Messaging Program>>

------------ próxima parte ------------
A non-text attachment was scrubbed...
Name: abstract-1.pdf
Type: application/pdf
Size: 124265 bytes
Desc: no disponible
URL: <http://www.cmat.edu.uy/pipermail/listaestudiantes/attachments/20101101/ac6e8472/attachment.pdf>
------------ próxima parte ------------
_______________________________________________
Lista Todos CMAT
Todos en cmat.edu.uy
http://www.cmat.edu.uy/cgi-bin/mailman/listinfo/todos
------------ próxima parte ------------
A non-text attachment was scrubbed...
Name: cv.pdf
Type: application/pdf
Size: 105134 bytes
Desc: no disponible
URL: <http://www.cmat.edu.uy/pipermail/listaestudiantes/attachments/20101101/ac6e8472/attachment-0001.pdf>