Sergiu Ivanov
|
ae366319da
|
Update current reading.
|
2024-05-22 18:21:25 +01:00 |
|
Sergiu Ivanov
|
daf4ff1dc3
|
Update the news.
|
2024-05-22 18:14:15 +01:00 |
|
Sergiu Ivanov
|
6604129aee
|
Frobnicate the university name.
|
2024-05-22 18:06:18 +01:00 |
|
Sergiu Ivanov
|
c44339f21e
|
Say I am on research visit with Damien.
|
2024-05-22 18:01:50 +01:00 |
|
Sergiu Ivanov
|
dcbef67df0
|
Don't mention Haskell any more.
I have roughly written any Haskell since 2017, which is officially
long ago.
|
2024-05-22 16:10:15 +01:00 |
|
Sergiu Ivanov
|
74feb59c0c
|
Update the current reading.
|
2024-05-10 12:44:14 +02:00 |
|
Sergiu Ivanov
|
20208b0b85
|
Update the news.
|
2024-05-10 12:40:37 +02:00 |
|
Sergiu Ivanov
|
6d1e2b200c
|
Update the news.
|
2024-04-23 23:48:33 +02:00 |
|
Sergiu Ivanov
|
79f0838573
|
Update the current reading.
|
2024-04-23 23:48:23 +02:00 |
|
Sergiu Ivanov
|
17f703fd52
|
Update the news.
|
2024-04-11 14:33:55 +02:00 |
|
Sergiu Ivanov
|
9a67ce0152
|
Update current reading.
|
2024-03-25 22:27:57 +01:00 |
|
Sergiu Ivanov
|
3cacaace8f
|
Update the current reading.
|
2024-02-02 10:33:27 +01:00 |
|
Sergiu Ivanov
|
e9f11f356d
|
Explain the order of authors.
|
2024-02-02 10:27:45 +01:00 |
|
Sergiu Ivanov
|
76aa544f42
|
Update the information about the book chapter.
|
2024-02-02 00:21:42 +01:00 |
|
Sergiu Ivanov
|
8af574ded6
|
Replace the RIPEC report by the CV.
|
2024-02-02 00:11:54 +01:00 |
|
Sergiu Ivanov
|
666cc87336
|
Make myself Associate Professor, again.
|
2023-12-15 15:24:33 +01:00 |
|
Sergiu Ivanov
|
bc83cb09d9
|
Update the current reading.
|
2023-11-11 00:47:34 +01:00 |
|
Sergiu Ivanov
|
b488393e65
|
Update the news.
|
2023-11-11 00:43:58 +01:00 |
|
Sergiu Ivanov
|
9c4b680703
|
Update the profile picture.
|
2023-10-21 15:10:10 +03:00 |
|
Sergiu Ivanov
|
1efe993406
|
Minor fixes in the news.
|
2023-09-10 18:30:00 +02:00 |
|
Sergiu Ivanov
|
66bfe57ae7
|
Update the news.
|
2023-09-10 18:24:11 +02:00 |
|
Sergiu Ivanov
|
2e372129a3
|
Move Seminars and talks to Publications.
|
2023-09-08 14:03:54 +02:00 |
|
Sergiu Ivanov
|
796e2da630
|
Update Seminars and talks.
|
2023-09-08 14:02:49 +02:00 |
|
Sergiu Ivanov
|
613d247d16
|
Update the news.
|
2023-09-08 13:57:00 +02:00 |
|
Sergiu Ivanov
|
b45a485e28
|
Say I am on CRCT.
|
2023-09-08 13:49:00 +02:00 |
|
Sergiu Ivanov
|
f078148d58
|
Not a member of the lab council any more.
|
2023-09-08 13:43:49 +02:00 |
|
Sergiu Ivanov
|
2eac5b121f
|
Add the Boolean P TCS publication.
|
2023-09-08 13:43:33 +02:00 |
|
Sergiu Ivanov
|
b2dee6b7f7
|
Update the news.
|
2023-07-12 17:58:41 +02:00 |
|
Sergiu Ivanov
|
fba57fd38d
|
Update current reading.
|
2023-07-01 23:59:36 +02:00 |
|
Sergiu Ivanov
|
9a171025c4
|
Update the news.
|
2023-07-01 23:46:12 +02:00 |
|
Sergiu Ivanov
|
d3c9345b10
|
Remove C++ and Python.
I don't pretend to be good at Haskell, but I guess Haskell un jour,
Haskell toujours.
|
2023-07-01 19:28:45 +02:00 |
|
Sergiu Ivanov
|
d39164f031
|
Add The Many Shapes of Polymorphism.
|
2023-07-01 19:27:43 +02:00 |
|
Sergiu Ivanov
|
c55ee1bceb
|
Remove some old seminars.
|
2023-07-01 19:06:12 +02:00 |
|
Sergiu Ivanov
|
7ab0128a1d
|
Remove M1 CNS and Nuit de l'Info.
|
2023-07-01 18:57:33 +02:00 |
|
Sergiu Ivanov
|
1e6e1bcc85
|
Update current reading.
Late commit, I pushed the update a couple months ago.
|
2023-07-01 18:57:05 +02:00 |
|
Sergiu Ivanov
|
2e9ae7c51d
|
Fold some headers by default.
|
2023-04-17 22:43:56 +02:00 |
|
Sergiu Ivanov
|
9a4f599e60
|
Fold some headers by default.
|
2023-04-17 22:42:57 +02:00 |
|
Sergiu Ivanov
|
b5f148fced
|
Say that I am also elected to the CAc.
|
2023-04-17 22:17:48 +02:00 |
|
Sergiu Ivanov
|
a1166ba7f0
|
Add the NNC publication.
|
2023-04-17 22:17:33 +02:00 |
|
Sergiu Ivanov
|
ad4a11f3b5
|
Update the news.
|
2023-04-17 20:38:01 +02:00 |
|
Sergiu Ivanov
|
47dc19e6b5
|
Add current reading.
|
2023-03-20 23:32:01 +01:00 |
|
Sergiu Ivanov
|
48505fb28d
|
Update my activity report.
|
2023-03-19 00:33:39 +01:00 |
|
Sergiu Ivanov
|
51df581656
|
Update the news.
|
2023-03-14 16:17:02 +01:00 |
|
Sergiu Ivanov
|
0443da9914
|
Update and reorder my research keywords.
|
2023-03-14 16:07:58 +01:00 |
|
Sergiu Ivanov
|
8d887cca76
|
Update the profile picture.
|
2023-03-14 15:59:35 +01:00 |
|
Sergiu Ivanov
|
b2db1867d6
|
Add the new arXiv pre-print.
|
2023-03-02 12:55:52 +01:00 |
|
Sergiu Ivanov
|
8feba6d54f
|
Fix the date for the round table.
|
2023-03-02 12:46:32 +01:00 |
|
Sergiu Ivanov
|
8bbba10f61
|
Add a link to the class on DNA nanotech.
|
2023-02-28 12:12:44 +01:00 |
|
Sergiu Ivanov
|
df3e37615d
|
Fix a colon.
|
2023-02-28 11:43:09 +01:00 |
|
Sergiu Ivanov
|
54a893ca29
|
Promote P systems in the keywords.
|
2023-02-28 11:42:44 +01:00 |
|