Commit graph

231 commits

Author SHA1 Message Date
Sergiu Ivanov
b862f62b51 Say I am member of lab council. 2019-03-12 20:24:48 +01:00
Sergiu Ivanov
2d470d4f12 Say that I am member of CARI pédagogique. 2019-03-12 16:41:28 +01:00
Sergiu Ivanov
b684d5ae53 Update my bibliography. 2019-03-02 18:19:21 +01:00
Sergiu Ivanov
da432118c8 Add the editor role in the SFBT 2018 invited volume. 2019-03-02 18:10:17 +01:00
Sergiu Ivanov
d0a82d4f88 Add scientific projects and roles. 2019-03-02 18:06:53 +01:00
Sergiu Ivanov
ca8f249bd8 Update my bibliography.
Only timestamps this time.
2018-11-19 12:21:56 +01:00
Sergiu Ivanov
776f7faa51 recherche: Don't talk about Petri nets any more. 2018-11-19 12:21:25 +01:00
Sergiu Ivanov
9413934afc teaching: Add our play at Vilette. 2018-11-19 12:21:15 +01:00
Sergiu Ivanov
b67df4b805 Update my webpage address. 2018-11-19 12:20:47 +01:00
Sergiu Ivanov
4e1de4ad74 administration: Add Nuit de l'Info. 2018-11-19 12:20:30 +01:00
Sergiu Ivanov
cb0ac41957 Force the encoding to UTF-8 on Sergey's files.
The newer Biber uses a different file parser which is less tolerant
with encodings.
2018-09-22 13:39:59 +02:00
Sergiu Ivanov
478bc04cc4 Don't write 0 in the phone number. 2018-09-22 12:45:17 +02:00
Sergiu Ivanov
54de968a45 Add PPP. 2018-09-10 15:29:23 +02:00
Sergiu Ivanov
84d37a45f0 Add a new university year. 2018-09-10 15:29:05 +02:00
Sergiu Ivanov
53613132ae Update the bibliography. 2018-08-20 16:01:30 +02:00
Sergiu Ivanov
e305279c36 administration.tex: Typeset conference names in italics. 2018-07-02 04:10:43 +02:00
Sergiu Ivanov
b87495f49b Say that I coorganised UCNC and MCU. 2018-07-02 04:07:26 +02:00
Sergiu Ivanov
3892173b0e Add the organisation of WMC. 2018-05-22 14:16:45 +02:00
Sergiu Ivanov
64b54380cf Fiche récapitulative: Update. 2018-05-13 13:49:44 +02:00
Sergiu Ivanov
d369b19c53 Update my publications. 2018-05-13 13:47:38 +02:00
Sergiu Ivanov
358897fbb2 Publications: Add my visit to Vienna in 2017. 2018-05-13 13:47:22 +02:00
Sergiu Ivanov
6cc803c7dd Publications, intro: Remove "Lors de mon parcours scientifique". 2018-05-13 13:47:01 +02:00
Sergiu Ivanov
ea3dfadd7d Update my reviewer report. 2018-05-13 13:43:54 +02:00
Sergiu Ivanov
8e0bc53629 Talk about autonomous vehicles. 2018-05-13 13:36:19 +02:00
Sergiu Ivanov
9a14b5f6f1 Add the subsection on my work with Franck. 2018-05-13 12:20:58 +02:00
Sergiu Ivanov
ec398decbb Research: Update intro. 2018-05-09 22:28:07 +02:00
Sergiu Ivanov
24fedd509b Research: Update intro. 2018-05-09 22:23:03 +02:00
Sergiu Ivanov
d80ebddd71 Teaching: Add Fête de la science. 2018-05-09 21:47:57 +02:00
Sergiu Ivanov
622ff775a1 Prise en charge de responsabilités: Remove. 2018-05-09 21:37:17 +02:00
Sergiu Ivanov
120491ac96 Activités d'administration: Add. 2018-05-09 21:37:06 +02:00
Sergiu Ivanov
ca714cf07a Make the keywords less specific. 2018-05-09 21:13:15 +02:00
Sergiu Ivanov
410e526a5f Mark the teaching project as old. 2018-05-09 21:11:22 +02:00
Sergiu Ivanov
6188ff2431 Add my courses at M2 level. 2018-05-09 20:33:52 +02:00
Sergiu Ivanov
3731f64438 Add the teaching from this year. 2018-05-09 20:22:54 +02:00
Sergiu Ivanov
eaf780837d Past teaching: small fixes.
Li Sj -> Sj Li

Math-Info -> Maths-Info
2018-05-09 19:43:56 +02:00
Sergiu Ivanov
977602ded0 Enseignement,intro: Highlight in bold abbreviations of institutions. 2018-05-09 19:42:58 +02:00
Sergiu Ivanov
27cfca9455 Enseignement: Update and slightly reformat the introduction. 2018-05-09 19:32:33 +02:00
Sergiu Ivanov
53d014012e au département -> dans le département 2018-05-09 19:30:31 +02:00
Sergiu Ivanov
eefadcdd58 CV: Say I'm teaching in the CS department. 2018-05-09 19:28:44 +02:00
Sergiu Ivanov
bfe74909e1 CV: Remove some _really_ old programming projects. 2018-05-09 19:16:08 +02:00
Sergiu Ivanov
01854bb605 CV: Add the visit to Vienna in 2017. 2018-05-09 19:15:51 +02:00
Sergiu Ivanov
53875db293 Update my addresses and fix the spacing. 2017-11-27 08:52:12 +01:00
Sergiu Ivanov
376259120c cv.tex: Update my addresses. 2017-11-27 08:51:59 +01:00
Sergiu Ivanov
137b1d8a1e Fiche récapitulative: Update. 2017-06-08 12:38:53 +02:00
Sergiu Ivanov
1b3da4a83e CV: Remove Formation universitaire. 2017-06-07 22:53:14 +02:00
Sergiu Ivanov
4857d4437d CV: Update. 2017-06-07 22:52:13 +02:00
Sergiu Ivanov
0e8eaed26e Add a research project and a teaching project. 2017-03-25 22:48:49 +01:00
Sergiu Ivanov
79bb585fd5 Change the target. 2017-03-25 14:00:36 +01:00
Sergiu Ivanov
85baadd2fa Fix a typo in Ehresmann's name. 2017-03-22 20:00:14 +01:00
Sergiu Ivanov
da48b374e8 Update the title page. 2017-03-04 19:26:54 +01:00