<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hola,</p>
<p>En el IMERL nos visita Emmanuel Beffara, docente e investigador
de la Universidad de Grenoble-Alpes, integrante del equipo METAH
que dirige Abdelhamid Chaachoua. Emmanuel trabaja en temas de
lógica y computación y también en didáctica y dará dos charlas
sobre ambos temas de investigación. Ambas charlas serán en idioma
inglés.</p>
<ul>
<li>Este miércoles 1 de noviembre a las 16h en el salón 705,
séptimo piso del edificio central de la facultad será la charla
de lógica, cuyo resumen es el siguiente:</li>
</ul>
<p>=============================================================================================================================================</p>
<p><em>Studying concurrent computation with proof theory</em></p>
<p class="moz-quote-pre"><em> The Curry-Howard correspondence
studies relationships between proofs and programs, using tools
of proof theory to explore their structures and dynamics. This
talk will present ongoing work in the study of concurrent
interaction within this framework. The central issues are the
status of non-determinism and the importance of scheduling in
models of concurrency, to which traditional proof theory is not
accustomed. Our approach incorporates inputs from linear logic,
classical realizability and semantics of concurrency, with the
long-term aim of building a unifying axiomatization for process
<br>
models and logics.<br>
<br>
==========================================================================================================================================================<br>
</em></p>
<p>Se transmitirá por zoom en la siguiente sala virtual:
<a class="moz-txt-link-freetext"
href="https://salavirtual-udelar.zoom.us/j/83661214387?pwd=alJYMDdtMzlWbWlYSk80L0xwOXNiUT09">https://salavirtual-udelar.zoom.us/j/83661214387?pwd=alJYMDdtMzlWbWlYSk80L0xwOXNiUT09</a></p>
<ul>
<li>Este viernes 3 de noviembre a las 16h30 en el salón 705,
séptimo piso del edificio central de la facultad será la charla
de didáctica, cuyo resumen es el siguiente: </li>
</ul>
<p>================================================================================================================================================</p>
<p class="moz-quote-pre">Teaching computer science at secondary
school: <br>
</p>
<p class="moz-quote-pre">Competencies and evaluation The status of
computer science at secondary school has evolved in the last years
in several countries from being an optional item or a
technology-oriented training to being a scientific topic in its
own right. However, even experienced teachers sometimes struggle
to understand the nature of this science and assess its learning
by their students, for lack of established practice and
references. This talk will present elements of a didactic approach
to this challenge, based on the study of several curricula using
didactic theoretical frameworks in order to identify general and
specific competencies and use them to structure knowledge and
skills, in order to improve teaching and evaluation.<br>
===============================================================================================================================================================</p>
<p class="moz-quote-pre">Se transmitirá por zoom en la siguiente
sala virtual:
<a class="moz-txt-link-freetext"
href="https://salavirtual-udelar.zoom.us/j/87671901995?pwd=QzQ5UitGOWsvOCs2aDdUTHZ4anc1Zz09">https://salavirtual-udelar.zoom.us/j/87671901995?pwd=QzQ5UitGOWsvOCs2aDdUTHZ4anc1Zz09</a></p>
<p></p>
<p>Cordiales saludos,</p>
MAURICIO.
<p></p>
<pre class="moz-signature" cols="72">--
Mauricio GUILLERMO
Profesor adjunto.
Instituto de Matemática y Estadística Rafael Laguardia.
Facultad de Ingeniería.
Universidad de la República.
Montevideo--URUGUAY.</pre>
</body>
</html>