[:fr]Workshop IRP SINFIN 25 mars 2022[:pt]Workshop IRP SINFIN 25 de março de 2022[:es]Workshop IRP SINFIN 25 de marzo de 2022[:]

[:fr]

Dans le cadre de l’IRP SINFIN avec l’Argentine, le 25 mars prochain se tiendra un worshop « French-Argentinian Workshop on Logics and Dynamics of Programming Languages » dont vous trouverez le lien vers le programme de la journée à partir du lien :

https://www.irif.fr/~kesner/Workshop-SINFIN.html

 

L’IRP SINFIN, initialement connu sous la dénomination de LIA INFINIS, a été créé en 2011 afin de renforcer la coopération scientifique entre la France et l’Argentine dans le domaine de l’informatique fondamentale. Son rayonnement s’illustre par l’organisation d’un workshop annuel, qui contribue à la formation des étudiants et jeunes doctorants, et facilite les échanges de chercheurs entre les deux pays, y compris pour de longs séjours académiques.

 Missions et thèmes de recherche

L’informatique est omniprésente dans notre société, que ce soit dans le domaine médical, l’industrie aéronautique, automobile ou chimique, les télécommunications, l’électronique, les banques, etc. Plusieurs logiciels utilisés dans ces domaines sont critiques, c’est-à-dire que leur dysfonctionnement peut entraîner des conséquences graves, comme des décès, des dégâts matériels importants, des pertes financières faramineuses, ou des séquelles irréversibles pour l’environnement. La complexité croissante de ces systèmes critiques pose de nombreux problèmes techniques dans tous les cycles de développement des logiciels : de l’expressivité des langages de programmation, aux étapes de test et/ou de certification, en passant par la conception, la spécification, la vérification, la mise en œuvre, etc.

Ce constat est le point de départ de l’activité de recherche de l’IRP SINFIN, qui s’est concentrée sur le développement de nouvelles méthodes formelles pour définir des formalismes rigoureux limitant au maximum les incompréhensions entre développeurs et utilisateurs.

[:pt]

No âmbito do SINFIN IRP com a Argentina, será realizado no dia 25 de março um “Workshop Franco-Argentino sobre Lógica e Dinâmica das Linguagens de Programação”. Você pode encontrar o link para o programa do dia em

https://www.irif.fr/~kesner/Workshop-SINFIN.html

 

O IRP SINFIN, inicialmente conhecido como LIA INFINIS, foi criado em 2011 para fortalecer a cooperação científica entre a França e a Argentina no campo das ciências fundamentais da computação. Sua influência é ilustrada pela organização de um seminário anual, que contribui para a formação de estudantes e jovens doutorandos, e facilita o intercâmbio de pesquisadores entre os dois países, inclusive para longas estadias acadêmicas.

Missões e tópicos de pesquisa

A informática é onipresente em nossa sociedade, seja no campo médico, aeronáutico, automotivo ou químico, telecomunicações, eletrônica, bancos, etc. Muitos dos sistemas de software utilizados nestes campos são críticos, ou seja, seu mau funcionamento pode levar a sérias conseqüências, tais como morte, grandes danos materiais, enormes perdas financeiras ou conseqüências irreversíveis para o meio ambiente. A crescente complexidade desses sistemas críticos coloca inúmeros problemas técnicos em todos os ciclos de desenvolvimento de software: desde a expressividade das linguagens de programação, passando pelo projeto, especificação, verificação, implementação, etc., até as etapas de teste e/ou certificação.

Esta observação é o ponto de partida da atividade de pesquisa do IRP SINFIN, que tem se concentrado no desenvolvimento de novos métodos formais para definir formalismos rigorosos que limitem ao máximo os mal-entendidos entre desenvolvedores e usuários.

[:es]

En el marco del IRP SINFIN con Argentina, el 25 de marzo se celebrará un “Taller franco-argentino sobre lógica y dinámica de los lenguajes de programación”. Encontrará el enlace al programa de la jornada en

https://www.irif.fr/~kesner/Taller-SINFIN.html

El IRP SINFIN, inicialmente conocido como LIA INFINIS, fue creado en 2011 para reforzar la cooperación científica entre Francia y Argentina en el ámbito de la informática fundamental. Su influencia queda patente en la organización de un taller anual, que contribuye a la formación de estudiantes y jóvenes doctorandos, y facilita el intercambio de investigadores entre ambos países, incluso para estancias académicas largas.

Misiones y temas de investigación

La informática está omnipresente en nuestra sociedad, ya sea en el ámbito médico, la industria aeronáutica, automovilística o química, las telecomunicaciones, la electrónica, la banca, etc. Muchos de los sistemas informáticos utilizados en estos campos son críticos, es decir, su mal funcionamiento puede acarrear graves consecuencias, como muertes, grandes daños materiales, enormes pérdidas económicas o consecuencias irreversibles para el medio ambiente. La creciente complejidad de estos sistemas críticos plantea numerosos problemas técnicos en todos los ciclos de desarrollo de software: desde la expresividad de los lenguajes de programación, pasando por el diseño, la especificación, la verificación, la implementación, etc., hasta las fases de prueba y/o certificación.

Esta observación es el punto de partida de la actividad de investigación del IRP SINFIN, que se ha centrado en el desarrollo de nuevos métodos formales para definir formalismos rigurosos que minimicen los malentendidos entre desarrolladores y usuarios.

[:]

Partager cet article

Facebook
Twitter
LinkedIn

Articles similaires