| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Date: Wed, 31 Dec 2025 22:11:17 GMT
Server: Apache
Location: https://lsv.ens-paris-saclay.fr/~finkel
Content-Length: 247
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 301 Moved Permanently
Date: Wed, 31 Dec 2025 22:11:17 GMT
Server: Apache
Location: https://lsv.ens-paris-saclay.fr/~finkel/
Content-Length: 248
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK
Date: Wed, 31 Dec 2025 22:11:18 GMT
Server: Apache
Content-Location: index.html.en
Vary: negotiate,accept-language,Accept-Encoding
TCN: choice
Accept-Ranges: bytes
Content-Encoding: gzip
Content-Length: 2495
Content-Type: text/html
Content-Language: en
Laboratoire Sp?cification et V?rification
additif.html
This project aims to train volunteer teachers in the basics of cognitive emotion analysis so that they can support groups of students in using the emotion analysis grid to improve their treatment of problematic learning situations. Start planned for the end of June 2021.
Informatique - Recherche
The computer science laboratory of the ENS Paris-Saclay (LMF) and the computer science laboratory of the university of Bordeaux (LaBRI) are jointly seeking a postdoctoral researcher funded by the ANR project BraVAS on the formal verification of vector addition systems and extensions.
Candidates with experience in logic, automata, formal verification and algorithmics of the verification are encouraged to apply. The candidate will be able to do a theoretical post doc and/or to contribute to a new VASS verification tool. The position is full-time for a fixed term of one year at the LMF. The BraVAS project is presented in full details on the following website
https://bravas.labri.fr/documents.html
Stages de printemps 2020 pour étudiants en L3 et M1
Cerveau prédictif et modèles informatiques
Flyer
Manuel d'analyse cognitive des émotions
For inquiries, contact the principal investigator, Alain Finkel, at
finkel@lsv.fr
Alain Finkel
Professor, ENS Paris-Saclay
Project ACTERThis project aims to train volunteer teachers in the basics of cognitive emotion analysis so that they can support groups of students in using the emotion analysis grid to improve their treatment of problematic learning situations. Start planned for the end of June 2021.
Informatique - Recherche
The computer science laboratory of the ENS Paris-Saclay (LMF) and the computer science laboratory of the university of Bordeaux (LaBRI) are jointly seeking a postdoctoral researcher funded by the ANR project BraVAS on the formal verification of vector addition systems and extensions.
Candidates with experience in logic, automata, formal verification and algorithmics of the verification are encouraged to apply. The candidate will be able to do a theoretical post doc and/or to contribute to a new VASS verification tool. The position is full-time for a fixed term of one year at the LMF. The BraVAS project is presented in full details on the following website
https://bravas.labri.fr/documents.html
Stages de printemps 2020 pour étudiants en L3 et M1
Cerveau prédictif et modèles informatiques
Flyer
Manuel d'analyse cognitive des émotions
For inquiries, contact the principal investigator, Alain Finkel, at
finkel@lsv.fr
Contact
- Address
- Laboratoire Méthodes Formelles,
Université Paris-Saclay,
CNRS
ENS Paris-Saclay
- 4 Avenue des sciences, Bureau 3U58 91190 Gif/Yvette, France
- Tél. +33 1 81 87 54 56
-
- Secr. +33 1 81 87 54 50
- E-Mail: finkel_at_lsv_dot .fr
-