User contributions
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)
- 14:01, 23 March 2024 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf) (current)
- 09:23, 21 March 2024 (diff | hist) . . (+54) . . Lat24 (current)
- 09:22, 21 March 2024 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 11:16, 20 March 2024 (diff | hist) . . (0) . . Radu Iosif (current)
- 12:08, 14 March 2024 (diff | hist) . . (0) . . Lat24
- 12:08, 14 March 2024 (diff | hist) . . (+70) . . Lat24
- 10:56, 7 March 2024 (diff | hist) . . (+83) . . Lat24
- 10:52, 7 March 2024 (diff | hist) . . (+46) . . Lat24
- 10:51, 7 March 2024 (diff | hist) . . (+2) . . Lat24
- 10:51, 7 March 2024 (diff | hist) . . (+5) . . Lat24
- 10:50, 7 March 2024 (diff | hist) . . (-5) . . Lat24
- 10:50, 7 March 2024 (diff | hist) . . (+2) . . Lat24
- 10:50, 7 March 2024 (diff | hist) . . (-8) . . Lat24
- 10:49, 7 March 2024 (diff | hist) . . (+6) . . Lat24
- 10:49, 7 March 2024 (diff | hist) . . (+22) . . Lat24
- 10:48, 7 March 2024 (diff | hist) . . (0) . . File:Lecture1.pdf (Radu iosif uploaded a new version of File:Lecture1.pdf) (current)
- 10:45, 7 March 2024 (diff | hist) . . (+41) . . Lat24
- 10:43, 7 March 2024 (diff | hist) . . (+18) . . Lat24
- 13:44, 6 March 2024 (diff | hist) . . (+2,128) . . N Lat24 (Created page with "=== Logic and Automata Theory === '''Lecturer''': [http://nts.imag.fr/index.php/Radu_Iosif Radu Iosif] '''Contents''': Formal language theory is the study of representations...")
- 15:34, 28 February 2024 (diff | hist) . . (+333) . . Recent publications (current)
- 17:55, 1 December 2023 (diff | hist) . . (+32) . . Radu Iosif
- 17:51, 1 December 2023 (diff | hist) . . (+12) . . Radu Iosif
- 17:50, 1 December 2023 (diff | hist) . . (+1) . . Radu Iosif
- 17:50, 1 December 2023 (diff | hist) . . (+105) . . Radu Iosif
- 17:44, 27 October 2023 (diff | hist) . . (+43) . . Phd and internship subjects (current)
- 17:44, 27 October 2023 (diff | hist) . . (0) . . N File:MSOBTW.pdf (current)
- 17:43, 27 October 2023 (diff | hist) . . (+351) . . Phd and internship subjects
- 10:08, 17 October 2023 (diff | hist) . . (+61) . . Radu Iosif
- 07:32, 17 October 2023 (diff | hist) . . (+181) . . Recent publications
- 13:21, 10 October 2023 (diff | hist) . . (+1) . . Recent publications
- 09:05, 10 October 2023 (diff | hist) . . (+177) . . Recent publications
- 14:17, 4 October 2023 (diff | hist) . . (0) . . File:Stages-m2-pavedys.pdf (Radu iosif uploaded a new version of File:Stages-m2-pavedys.pdf) (current)
- 14:16, 4 October 2023 (diff | hist) . . (0) . . File:Stages-m2-pavedys.pdf (Radu iosif uploaded a new version of File:Stages-m2-pavedys.pdf)
- 17:03, 29 September 2023 (diff | hist) . . (0) . . N File:Stages-m2-pavedys.pdf
- 15:28, 2 June 2023 (diff | hist) . . (-4) . . Phd and internship subjects
- 15:27, 2 June 2023 (diff | hist) . . (-1,095) . . Phd and internship subjects
- 18:00, 29 May 2023 (diff | hist) . . (+17) . . Radu Iosif
- 15:54, 29 May 2023 (diff | hist) . . (+43) . . Radu Iosif
- 15:54, 29 May 2023 (diff | hist) . . (0) . . Radu Iosif
- 15:50, 29 May 2023 (diff | hist) . . (-13) . . Radu Iosif
- 15:49, 29 May 2023 (diff | hist) . . (-52) . . Radu Iosif
- 15:49, 29 May 2023 (diff | hist) . . (+206) . . Radu Iosif
- 12:14, 26 May 2023 (diff | hist) . . (+119) . . Phd and internship subjects
- 12:13, 26 May 2023 (diff | hist) . . (0) . . N File:SelfAdaptingLogicsPhd.pdf (current)
- 12:10, 26 May 2023 (diff | hist) . . (-378) . . Phd and internship subjects
- 09:33, 15 March 2023 (diff | hist) . . (0) . . N File:LORESAN-KW.pdf (current)
- 16:46, 13 March 2023 (diff | hist) . . (0) . . N File:LORESAN-Schmid.pdf (current)
- 16:44, 13 March 2023 (diff | hist) . . (0) . . N File:LORESAN-JS.pdf (current)
- 18:06, 10 December 2022 (diff | hist) . . (+3) . . Recent publications
- 18:06, 10 December 2022 (diff | hist) . . (+10) . . Recent publications
- 18:18, 1 November 2022 (diff | hist) . . (+9) . . Recent publications
- 18:18, 1 November 2022 (diff | hist) . . (+6) . . Recent publications
- 18:17, 1 November 2022 (diff | hist) . . (-156) . . Recent publications
- 18:17, 1 November 2022 (diff | hist) . . (+184) . . Recent publications
- 18:14, 1 November 2022 (diff | hist) . . (+11) . . Recent publications
- 14:13, 20 September 2022 (diff | hist) . . (0) . . Radu Iosif
- 12:52, 12 September 2022 (diff | hist) . . (+8) . . Radu Iosif
- 09:18, 12 September 2022 (diff | hist) . . (+126) . . Recent publications
- 09:16, 12 September 2022 (diff | hist) . . (+24) . . Recent publications
- 09:15, 12 September 2022 (diff | hist) . . (+1) . . Recent publications
- 09:14, 12 September 2022 (diff | hist) . . (+19) . . Recent publications
- 09:14, 12 September 2022 (diff | hist) . . (0) . . File:Paper.pdf (Radu iosif uploaded a new version of File:Paper.pdf) (current)
- 09:12, 12 September 2022 (diff | hist) . . (0) . . N File:Paper.pdf
- 09:11, 12 September 2022 (diff | hist) . . (-8) . . Recent publications
- 09:06, 12 September 2022 (diff | hist) . . (-1) . . Radu Iosif
- 09:05, 12 September 2022 (diff | hist) . . (-1) . . Radu Iosif
- 15:00, 8 September 2022 (diff | hist) . . (+7) . . Radu Iosif
- 14:51, 8 September 2022 (diff | hist) . . (0) . . File:Photo on 08-09-2022 at 15.38.jpg (Radu iosif uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg) (current)
- 14:49, 8 September 2022 (diff | hist) . . (+2) . . Radu Iosif
- 14:49, 8 September 2022 (diff | hist) . . (-1) . . Radu Iosif
- 14:49, 8 September 2022 (diff | hist) . . (+3) . . Radu Iosif
- 14:48, 8 September 2022 (diff | hist) . . (0) . . Radu Iosif
- 14:47, 8 September 2022 (diff | hist) . . (0) . . Radu Iosif
- 14:46, 8 September 2022 (diff | hist) . . (+1) . . Radu Iosif
- 14:46, 8 September 2022 (diff | hist) . . (0) . . File:Photo on 08-09-2022 at 15.38.jpg (Radu iosif uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg)
- 14:45, 8 September 2022 (diff | hist) . . (-1) . . Radu Iosif
- 14:44, 8 September 2022 (diff | hist) . . (0) . . File:Photo on 08-09-2022 at 15.38.jpg (Radu iosif uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg)
- 14:43, 8 September 2022 (diff | hist) . . (0) . . File:Photo on 08-09-2022 at 15.38.jpg (Radu iosif uploaded a new version of File:Photo on 08-09-2022 at 15.38.jpg)
- 14:42, 8 September 2022 (diff | hist) . . (+24) . . Radu Iosif
- 14:40, 8 September 2022 (diff | hist) . . (0) . . N File:Photo on 08-09-2022 at 15.38.jpg
- 14:03, 8 September 2022 (diff | hist) . . (-4) . . Radu Iosif
- 14:02, 9 July 2022 (diff | hist) . . (-46) . . Radu Iosif
- 19:15, 7 July 2022 (diff | hist) . . (0) . . Radu Iosif
- 19:13, 7 July 2022 (diff | hist) . . (+6) . . Radu Iosif
- 19:13, 7 July 2022 (diff | hist) . . (-11) . . Radu Iosif
- 19:12, 7 July 2022 (diff | hist) . . (+87) . . Radu Iosif
- 10:36, 28 April 2022 (diff | hist) . . (+102) . . Lat22 (current)
- 09:42, 27 April 2022 (diff | hist) . . (+166) . . Recent publications (→Pending)
- 09:41, 27 April 2022 (diff | hist) . . (+156) . . Recent publications
- 15:52, 24 April 2022 (diff | hist) . . (+44) . . Lat22
- 15:52, 24 April 2022 (diff | hist) . . (0) . . File:Lecture8.pdf (Radu iosif uploaded a new version of File:Lecture8.pdf) (current)
- 11:54, 17 April 2022 (diff | hist) . . (+102) . . Lat22
- 16:46, 10 April 2022 (diff | hist) . . (+44) . . Lat22
- 16:45, 10 April 2022 (diff | hist) . . (0) . . File:Lecture7.pdf (Radu iosif uploaded a new version of File:Lecture7.pdf) (current)
- 15:35, 6 April 2022 (diff | hist) . . (+83) . . Lat22
- 13:29, 3 April 2022 (diff | hist) . . (+44) . . Lat22
- 13:29, 3 April 2022 (diff | hist) . . (0) . . File:Lecture6.pdf (Radu iosif uploaded a new version of File:Lecture6.pdf) (current)
- 10:47, 3 April 2022 (diff | hist) . . (+117) . . Lat22 (→Logic and Automata Theory)
- 10:18, 31 March 2022 (diff | hist) . . (+110) . . Lat21 (current)
- 10:13, 31 March 2022 (diff | hist) . . (+170) . . Lat22
- 10:13, 31 March 2022 (diff | hist) . . (+102) . . Lat22
- 17:57, 29 March 2022 (diff | hist) . . (+44) . . Lat22
- 17:57, 29 March 2022 (diff | hist) . . (0) . . File:Lecture5.pdf (Radu iosif uploaded a new version of File:Lecture5.pdf) (current)
- 17:56, 29 March 2022 (diff | hist) . . (+102) . . Lat22
- 15:45, 20 March 2022 (diff | hist) . . (0) . . File:Lecture4.pdf (Radu iosif uploaded a new version of File:Lecture4.pdf) (current)
- 10:31, 20 March 2022 (diff | hist) . . (+817) . . Lat22
- 10:29, 20 March 2022 (diff | hist) . . (+44) . . Lat22
- 10:28, 20 March 2022 (diff | hist) . . (0) . . File:Lecture4.pdf (Radu iosif uploaded a new version of File:Lecture4.pdf)
- 16:48, 17 March 2022 (diff | hist) . . (+264) . . Lat22
- 09:10, 17 March 2022 (diff | hist) . . (-15) . . Recent publications
- 17:10, 13 March 2022 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 16:57, 13 March 2022 (diff | hist) . . (+385) . . Lat22
- 16:43, 13 March 2022 (diff | hist) . . (-18) . . Lat22
- 16:43, 13 March 2022 (diff | hist) . . (+20) . . Lat22
- 16:42, 13 March 2022 (diff | hist) . . (-28) . . Lat22
- 16:42, 13 March 2022 (diff | hist) . . (+3) . . Lat22
- 16:41, 13 March 2022 (diff | hist) . . (+6) . . Lat22
- 16:40, 13 March 2022 (diff | hist) . . (-7) . . Lat22
- 16:40, 13 March 2022 (diff | hist) . . (+319) . . Lat22
- 16:16, 13 March 2022 (diff | hist) . . (+44) . . Lat22 (→Logic and Automata Theory)
- 16:15, 13 March 2022 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf) (current)
- 14:10, 13 March 2022 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 12:25, 13 March 2022 (diff | hist) . . (+186) . . Lat22
- 08:55, 10 March 2022 (diff | hist) . . (+102) . . Lat22
- 08:52, 10 March 2022 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 10:14, 8 March 2022 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 20:47, 7 March 2022 (diff | hist) . . (+44) . . Lat22 (→Logic and Automata Theory)
- 20:46, 7 March 2022 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 10:02, 3 March 2022 (diff | hist) . . (+102) . . Lat22
- 17:07, 2 March 2022 (diff | hist) . . (0) . . File:Lecture1.pdf (Radu iosif uploaded a new version of File:Lecture1.pdf)
- 11:03, 28 February 2022 (diff | hist) . . (0) . . Recent publications
- 11:02, 28 February 2022 (diff | hist) . . (+21) . . Recent publications
- 11:01, 28 February 2022 (diff | hist) . . (0) . . N File:Facs21.pdf (current)
- 11:01, 28 February 2022 (diff | hist) . . (-31) . . Recent publications
- 11:00, 28 February 2022 (diff | hist) . . (+178) . . Recent publications
- 16:34, 27 February 2022 (diff | hist) . . (0) . . File:Lecture1.pdf (Radu iosif uploaded a new version of File:Lecture1.pdf)
- 14:23, 27 February 2022 (diff | hist) . . (+71) . . Guidelines for online participation (current)
- 14:21, 27 February 2022 (diff | hist) . . (+48) . . Lat22
- 14:20, 27 February 2022 (diff | hist) . . (+121) . . Lat22
- 14:19, 27 February 2022 (diff | hist) . . (+44) . . Lat22
- 14:19, 27 February 2022 (diff | hist) . . (-20) . . Lat22
- 14:18, 27 February 2022 (diff | hist) . . (+2) . . Lat22
- 14:18, 27 February 2022 (diff | hist) . . (-2) . . Lat22
- 14:18, 27 February 2022 (diff | hist) . . (0) . . Lat22
- 14:17, 27 February 2022 (diff | hist) . . (+5) . . Lat22
- 14:17, 27 February 2022 (diff | hist) . . (0) . . Lat22
- 14:17, 27 February 2022 (diff | hist) . . (+13) . . Lat22
- 14:16, 27 February 2022 (diff | hist) . . (0) . . File:Lecture1.pdf (Radu iosif uploaded a new version of File:Lecture1.pdf)
- 14:15, 27 February 2022 (diff | hist) . . (0) . . Lat22
- 14:14, 27 February 2022 (diff | hist) . . (-1) . . Lat22
- 14:14, 27 February 2022 (diff | hist) . . (+1) . . Lat22
- 14:14, 27 February 2022 (diff | hist) . . (+130) . . Lat22
- 17:40, 25 February 2022 (diff | hist) . . (+72) . . Lat (current)
- 17:39, 25 February 2022 (diff | hist) . . (+20) . . Lat22
- 08:58, 5 February 2022 (diff | hist) . . (+415) . . Radu Iosif
- 08:49, 1 February 2022 (diff | hist) . . (-6) . . Guidelines for online participation (→Joining the lectures)
- 08:48, 1 February 2022 (diff | hist) . . (+1,752) . . N Lat22 (Created page with "=== Logic and Automata Theory === '''Lecturer''': [http://nts.imag.fr/index.php/Radu_Iosif Radu Iosif] '''Objectives''': Many major hardware (Intel, IBM) and software (Micro...")
- 08:39, 1 February 2022 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 10:15, 1 August 2021 (diff | hist) . . (+17) . . Recent publications
- 10:14, 1 August 2021 (diff | hist) . . (+67) . . Recent publications
- 14:40, 28 July 2021 (diff | hist) . . (+185) . . Recent publications
- 14:38, 28 July 2021 (diff | hist) . . (+2) . . Recent publications
- 14:38, 28 July 2021 (diff | hist) . . (+27) . . Recent publications
- 14:37, 28 July 2021 (diff | hist) . . (0) . . N File:CADE 2021 final version.pdf (current)
- 14:37, 28 July 2021 (diff | hist) . . (-20) . . Recent publications
- 14:36, 28 July 2021 (diff | hist) . . (+7) . . Recent publications
- 14:35, 28 July 2021 (diff | hist) . . (0) . . N File:IPL.pdf (current)
- 14:33, 28 July 2021 (diff | hist) . . (-11) . . Recent publications
- 07:45, 31 May 2021 (diff | hist) . . (0) . . N File:PhDProposal2021.pdf (current)
- 16:15, 19 May 2021 (diff | hist) . . (+657) . . Phd and internship subjects
- 16:13, 19 May 2021 (diff | hist) . . (0) . . N File:SepLogDataPhD.pdf (current)
- 13:00, 19 May 2021 (diff | hist) . . (+2,461) . . N Phd and internship subjects (Created page with " == PhD subjects == * [http://nts.imag.fr/images/5/58/Reconfiguration.pdf Proving Correctness of Reconfigurable Systems] The goal of this PhD project is the development of...")
- 11:59, 19 May 2021 (diff | hist) . . (-1) . . Radu Iosif
- 11:59, 19 May 2021 (diff | hist) . . (+8) . . Radu Iosif
- 09:40, 12 May 2021 (diff | hist) . . (+14) . . Internship subjects (current)
- 09:40, 12 May 2021 (diff | hist) . . (-7) . . Internship subjects
- 09:39, 12 May 2021 (diff | hist) . . (-39) . . Internship subjects
- 11:44, 10 May 2021 (diff | hist) . . (+51) . . Internship subjects
- 11:44, 10 May 2021 (diff | hist) . . (0) . . N File:Reconfiguration.pdf (current)
- 11:43, 10 May 2021 (diff | hist) . . (+789) . . Internship subjects
- 21:46, 5 May 2021 (diff | hist) . . (+130) . . Lat21
- 12:20, 5 May 2021 (diff | hist) . . (0) . . File:Lecture8.pdf (Radu iosif uploaded a new version of File:Lecture8.pdf)
- 17:24, 2 May 2021 (diff | hist) . . (0) . . File:Lecture8.pdf (Radu iosif uploaded a new version of File:Lecture8.pdf)
- 20:00, 26 April 2021 (diff | hist) . . (-3) . . Lat21
- 16:00, 25 April 2021 (diff | hist) . . (0) . . File:Lecture8.pdf (Radu iosif uploaded a new version of File:Lecture8.pdf)
- 15:59, 25 April 2021 (diff | hist) . . (+44) . . Lat21
- 15:58, 25 April 2021 (diff | hist) . . (0) . . N File:Lecture8.pdf
- 15:58, 25 April 2021 (diff | hist) . . (+30) . . Lat21
- 18:24, 23 April 2021 (diff | hist) . . (0) . . N File:Lords.pdf (current)
- 11:49, 19 April 2021 (diff | hist) . . (+130) . . Lat21
- 19:49, 18 April 2021 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf) (current)
- 17:46, 18 April 2021 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 16:29, 18 April 2021 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 15:57, 18 April 2021 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 15:04, 18 April 2021 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 16:40, 17 April 2021 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 14:36, 11 April 2021 (diff | hist) . . (0) . . File:Lecture7.pdf (Radu iosif uploaded a new version of File:Lecture7.pdf)
- 14:34, 11 April 2021 (diff | hist) . . (0) . . File:Goal.zip (Radu iosif uploaded a new version of File:Goal.zip) (current)
- 14:34, 11 April 2021 (diff | hist) . . (0) . . File:Lecture7.pdf (Radu iosif uploaded a new version of File:Lecture7.pdf)
- 16:24, 10 April 2021 (diff | hist) . . (+44) . . Lat21
- 16:23, 10 April 2021 (diff | hist) . . (0) . . N File:Lecture7.pdf
- 13:56, 10 April 2021 (diff | hist) . . (+30) . . Lat21
- 13:55, 10 April 2021 (diff | hist) . . (0) . . File:Lecture6.pdf (Radu iosif uploaded a new version of File:Lecture6.pdf)
- 13:55, 10 April 2021 (diff | hist) . . (+130) . . Lat21 (→Logic and Automata Theory)
- 19:29, 3 April 2021 (diff | hist) . . (-104) . . Lat21
- 19:29, 3 April 2021 (diff | hist) . . (+67) . . Lat21
- 19:28, 3 April 2021 (diff | hist) . . (+19) . . Lat21
- 19:27, 3 April 2021 (diff | hist) . . (-7) . . Lat21
- 19:26, 3 April 2021 (diff | hist) . . (+143) . . Lat21 (→Logic and Automata Theory)
- 19:25, 3 April 2021 (diff | hist) . . (+44) . . Lat21
- 19:24, 3 April 2021 (diff | hist) . . (0) . . N File:Lecture6.pdf
- 19:24, 3 April 2021 (diff | hist) . . (+29) . . Lat21
- 20:30, 31 March 2021 (diff | hist) . . (0) . . File:Lecture5.pdf (Radu iosif uploaded a new version of File:Lecture5.pdf)
- 20:27, 31 March 2021 (diff | hist) . . (+130) . . Lat21
- 14:18, 28 March 2021 (diff | hist) . . (0) . . File:Mona.zip (Radu iosif uploaded a new version of File:Mona.zip) (current)
- 14:17, 28 March 2021 (diff | hist) . . (+74) . . Lat21
- 14:16, 28 March 2021 (diff | hist) . . (0) . . N File:Lecture5.pdf
- 10:27, 27 March 2021 (diff | hist) . . (+170) . . Lat21
- 10:24, 27 March 2021 (diff | hist) . . (+317) . . Lat21
- 11:41, 26 March 2021 (diff | hist) . . (+66) . . Lat21
- 20:52, 25 March 2021 (diff | hist) . . (-1) . . Lat21
- 20:51, 25 March 2021 (diff | hist) . . (+297) . . Lat21
- 20:47, 25 March 2021 (diff | hist) . . (+130) . . Lat21 (→Logic and Automata Theory)
- 17:50, 21 March 2021 (diff | hist) . . (0) . . File:Lecture4.pdf (Radu iosif uploaded a new version of File:Lecture4.pdf)
- 14:33, 21 March 2021 (diff | hist) . . (0) . . File:Goal.zip (Radu iosif uploaded a new version of File:Goal.zip)
- 21:39, 20 March 2021 (diff | hist) . . (0) . . File:Lecture4.pdf (Radu iosif uploaded a new version of File:Lecture4.pdf)
- 16:56, 20 March 2021 (diff | hist) . . (+44) . . Lat21
- 16:55, 20 March 2021 (diff | hist) . . (0) . . N File:Lecture4.pdf
- 16:04, 20 March 2021 (diff | hist) . . (+30) . . Lat21
- 16:04, 20 March 2021 (diff | hist) . . (+44) . . Lat21
- 16:03, 20 March 2021 (diff | hist) . . (0) . . N File:Ramseyan.pdf (current)
- 16:03, 20 March 2021 (diff | hist) . . (+161) . . Lat21
- 21:00, 17 March 2021 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf)
- 20:52, 17 March 2021 (diff | hist) . . (+130) . . Lat21
- 13:05, 17 March 2021 (diff | hist) . . (0) . . File:Mona.zip (Radu iosif uploaded a new version of File:Mona.zip)
- 13:01, 17 March 2021 (diff | hist) . . (0) . . File:Mona.zip (Radu iosif uploaded a new version of File:Mona.zip)
- 22:00, 16 March 2021 (diff | hist) . . (-1) . . Lat21
- 20:10, 16 March 2021 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf)
- 17:11, 16 March 2021 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf)
- 17:06, 16 March 2021 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf)
- 17:05, 16 March 2021 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf)
- 18:04, 14 March 2021 (diff | hist) . . (0) . . File:Goal.zip (Radu iosif uploaded a new version of File:Goal.zip)
- 17:21, 14 March 2021 (diff | hist) . . (-3) . . Lat21
- 17:19, 14 March 2021 (diff | hist) . . (0) . . File:Lecture3.pdf (Radu iosif uploaded a new version of File:Lecture3.pdf)
- 17:19, 14 March 2021 (diff | hist) . . (0) . . File:Mona.zip (Radu iosif uploaded a new version of File:Mona.zip)
- 18:57, 13 March 2021 (diff | hist) . . (+61) . . Lat21
- 18:56, 13 March 2021 (diff | hist) . . (+70) . . Lat21
- 18:54, 13 March 2021 (diff | hist) . . (+2) . . Lat21
- 18:54, 13 March 2021 (diff | hist) . . (0) . . Lat21
- 18:54, 13 March 2021 (diff | hist) . . (+6) . . Lat21
- 18:54, 13 March 2021 (diff | hist) . . (+1) . . Lat21
- 18:53, 13 March 2021 (diff | hist) . . (0) . . N File:Goal.zip
- 18:52, 13 March 2021 (diff | hist) . . (0) . . N File:Mona.zip
- 18:51, 13 March 2021 (diff | hist) . . (+24) . . Lat21
- 17:21, 13 March 2021 (diff | hist) . . (+36) . . Lat21
- 17:20, 13 March 2021 (diff | hist) . . (+66) . . Lat21
- 17:18, 13 March 2021 (diff | hist) . . (+74) . . Lat21 (→Logic and Automata Theory)
- 17:18, 13 March 2021 (diff | hist) . . (0) . . N File:Lecture3.pdf
- 08:48, 11 March 2021 (diff | hist) . . (+130) . . Lat21
- 17:10, 10 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 13:28, 10 March 2021 (diff | hist) . . (+4) . . Lat21 (→Logic and Automata Theory)
- 13:19, 10 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 16:39, 9 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 18:26, 7 March 2021 (diff | hist) . . (0) . . Lat21
- 18:24, 7 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 10:03, 7 March 2021 (diff | hist) . . (0) . . Lat21 (→Logic and Automata Theory)
- 10:01, 7 March 2021 (diff | hist) . . (+10) . . Lat21 (→Logic and Automata Theory)
- 10:00, 7 March 2021 (diff | hist) . . (-28) . . Lat21 (→Logic and Automata Theory)
- 09:58, 7 March 2021 (diff | hist) . . (-1) . . Lat21 (→Logic and Automata Theory)
- 09:58, 7 March 2021 (diff | hist) . . (+110) . . Lat21
- 09:57, 7 March 2021 (diff | hist) . . (+3) . . Lat21
- 09:56, 7 March 2021 (diff | hist) . . (+168) . . Lat21
- 18:30, 6 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 17:46, 6 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 17:44, 6 March 2021 (diff | hist) . . (0) . . File:Lecture2.pdf (Radu iosif uploaded a new version of File:Lecture2.pdf)
- 16:59, 6 March 2021 (diff | hist) . . (0) . . Lat21
- 16:58, 6 March 2021 (diff | hist) . . (0) . . Lat21
- 16:58, 6 March 2021 (diff | hist) . . (+50) . . Lat21
- 16:57, 6 March 2021 (diff | hist) . . (0) . . N File:Schutzenberger.pdf (current)
- 16:57, 6 March 2021 (diff | hist) . . (+280) . . Lat21
- 16:54, 6 March 2021 (diff | hist) . . (0) . . N File:Lecture2.pdf
- 16:54, 6 March 2021 (diff | hist) . . (0) . . File:Lecture1.pdf (Radu iosif uploaded a new version of File:Lecture1.pdf)
- 11:53, 4 March 2021 (diff | hist) . . (+136) . . Lat21
- 17:08, 3 March 2021 (diff | hist) . . (+43) . . Lat21
- 17:07, 3 March 2021 (diff | hist) . . (-10) . . Lat21
- 17:06, 3 March 2021 (diff | hist) . . (-5) . . Lat21
- 17:05, 3 March 2021 (diff | hist) . . (+13) . . Lat21
- 17:05, 3 March 2021 (diff | hist) . . (0) . . N File:Lecture1.pdf
- 17:05, 3 March 2021 (diff | hist) . . (-199) . . Lat21
- 13:53, 1 March 2021 (diff | hist) . . (+2) . . Lat21
- 13:53, 1 March 2021 (diff | hist) . . (-1) . . Lat21 (→Logic and Automata Theory =)
- 14:47, 26 February 2021 (diff | hist) . . (-2) . . Guidelines for online participation
- 14:47, 26 February 2021 (diff | hist) . . (+64) . . Guidelines for online participation
- 14:39, 26 February 2021 (diff | hist) . . (-1) . . Guidelines for online participation
- 09:40, 26 February 2021 (diff | hist) . . (-65) . . Guidelines for online participation
- 09:40, 26 February 2021 (diff | hist) . . (+84) . . Guidelines for online participation
- 09:39, 26 February 2021 (diff | hist) . . (+27) . . Guidelines for online participation
- 09:38, 26 February 2021 (diff | hist) . . (+1,654) . . N Guidelines for online participation (Created page with " == Joining the lectures == The 2021 Logic and Automata Course will be hosted on the BigBlueButton room: https://veri-bbb.imag.fr/b/rad-jbd-yvz-lwk A password will be email...")
- 09:31, 26 February 2021 (diff | hist) . . (+2) . . Lat21
- 09:31, 26 February 2021 (diff | hist) . . (+2) . . Lat21
- 09:30, 26 February 2021 (diff | hist) . . (+106) . . Lat21
- 10:37, 16 February 2021 (diff | hist) . . (-1) . . Recent publications
- 10:37, 16 February 2021 (diff | hist) . . (-23) . . Recent publications
- 18:16, 23 January 2021 (diff | hist) . . (-72) . . Internship subjects
- 18:15, 23 January 2021 (diff | hist) . . (0) . . File:SeparationLogicEntailmentChecking.pdf (Radu iosif uploaded a new version of File:SeparationLogicEntailmentChecking.pdf) (current)
- 18:14, 23 January 2021 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf) (current)
- 18:13, 23 January 2021 (diff | hist) . . (0) . . N File:ArchitectureSeparationLogic.pdf (current)
- 17:58, 16 January 2021 (diff | hist) . . (-58) . . Lat21
- 17:57, 16 January 2021 (diff | hist) . . (-27) . . Lat21
- 17:57, 16 January 2021 (diff | hist) . . (-1) . . Lat
- 17:56, 16 January 2021 (diff | hist) . . (0) . . Lat (→Logic and Automata Theory)
- 17:56, 16 January 2021 (diff | hist) . . (+772) . . Lat (→Logic and Automata Theory)
- 17:54, 16 January 2021 (diff | hist) . . (-346) . . Lat
- 17:51, 16 January 2021 (diff | hist) . . (+1,979) . . N Lat21 (Created page with "== Logic and Automata Theory === '''Lecturer''': [http://nts.imag.fr/index.php/Radu_Iosif Radu_Iosif] '''Objectives''': Many major hardware (Intel, IBM) and software (Micros...")
- 17:41, 16 January 2021 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 17:40, 16 January 2021 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 17:40, 16 January 2021 (diff | hist) . . (0) . . Radu Iosif (→Teaching)
- 11:59, 13 January 2021 (diff | hist) . . (+7) . . Recent publications (→Conferences)
- 11:59, 13 January 2021 (diff | hist) . . (+6) . . Recent publications
- 11:59, 13 January 2021 (diff | hist) . . (+6) . . Recent publications
- 11:58, 13 January 2021 (diff | hist) . . (+34) . . Recent publications
- 10:42, 29 December 2020 (diff | hist) . . (0) . . Recent publications
- 10:41, 29 December 2020 (diff | hist) . . (-16) . . Recent publications
- 10:40, 29 December 2020 (diff | hist) . . (+19) . . Recent publications
- 10:39, 29 December 2020 (diff | hist) . . (0) . . N File:Csl2021.pdf (current)
- 10:39, 29 December 2020 (diff | hist) . . (+404) . . Recent publications
- 10:31, 29 December 2020 (diff | hist) . . (+191) . . Recent publications
- 11:54, 21 December 2020 (diff | hist) . . (-32) . . Radu Iosif
- 13:37, 18 August 2020 (diff | hist) . . (+48) . . Radu Iosif (→PhD Students/Alumni)
- 14:53, 16 August 2020 (diff | hist) . . (+188) . . Recent publications (→Conferences)
- 14:51, 16 August 2020 (diff | hist) . . (+13) . . Recent publications
- 14:49, 16 August 2020 (diff | hist) . . (-539) . . Recent publications (→Pending)
- 15:26, 3 July 2020 (diff | hist) . . (+69) . . Internship subjects
- 15:26, 3 July 2020 (diff | hist) . . (+60) . . Internship subjects
- 15:25, 3 July 2020 (diff | hist) . . (+63) . . Internship subjects
- 15:24, 3 July 2020 (diff | hist) . . (-116) . . Internship subjects
- 15:23, 3 July 2020 (diff | hist) . . (+2) . . Internship subjects
- 15:23, 3 July 2020 (diff | hist) . . (-78) . . Internship subjects
- 15:22, 3 July 2020 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf)
- 15:21, 3 July 2020 (diff | hist) . . (+69) . . Internship subjects
- 15:20, 3 July 2020 (diff | hist) . . (0) . . N File:SeparationLogicEntailmentChecking.pdf
- 15:20, 3 July 2020 (diff | hist) . . (+286) . . Internship subjects
- 10:33, 28 January 2020 (diff | hist) . . (-38) . . Radu Iosif
- 09:42, 28 January 2020 (diff | hist) . . (+159) . . Radu Iosif
- 09:40, 28 January 2020 (diff | hist) . . (+209) . . Radu Iosif
- 09:36, 28 January 2020 (diff | hist) . . (-2) . . Radu Iosif
- 09:35, 28 January 2020 (diff | hist) . . (+64) . . Radu Iosif
- 09:32, 28 January 2020 (diff | hist) . . (0) . . N File:Cav2019.pdf (current)
- 09:31, 28 January 2020 (diff | hist) . . (0) . . N File:Fossacs2019.pdf (current)
- 09:29, 28 January 2020 (diff | hist) . . (+512) . . Recent publications
- 09:18, 28 January 2020 (diff | hist) . . (-4) . . Recent publications
- 09:17, 28 January 2020 (diff | hist) . . (-1) . . Recent publications
- 09:17, 28 January 2020 (diff | hist) . . (+140) . . Recent publications
- 09:16, 28 January 2020 (diff | hist) . . (0) . . N File:Tableaux2019.pdf (current)
- 09:12, 28 January 2020 (diff | hist) . . (-196) . . Recent publications
- 09:11, 28 January 2020 (diff | hist) . . (+4) . . Recent publications
- 09:11, 28 January 2020 (diff | hist) . . (+8) . . Recent publications
- 09:10, 28 January 2020 (diff | hist) . . (0) . . N File:Lpar2018.pdf (current)
- 09:08, 28 January 2020 (diff | hist) . . (0) . . Recent publications
- 09:08, 28 January 2020 (diff | hist) . . (+13) . . Recent publications
- 09:05, 28 January 2020 (diff | hist) . . (0) . . N File:Tacas2019.pdf (current)
- 09:03, 28 January 2020 (diff | hist) . . (-10) . . Recent publications
- 09:02, 28 January 2020 (diff | hist) . . (-78) . . Recent publications
- 09:00, 28 January 2020 (diff | hist) . . (-34) . . Recent publications
- 08:58, 28 January 2020 (diff | hist) . . (+1,059) . . Recent publications
- 17:45, 10 December 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:55, 25 November 2019 (diff | hist) . . (+999) . . Internship subjects
- 13:50, 25 November 2019 (diff | hist) . . (-6) . . Radu Iosif
- 13:49, 25 November 2019 (diff | hist) . . (+1) . . Radu Iosif
- 13:48, 25 November 2019 (diff | hist) . . (-2) . . Radu Iosif
- 13:47, 25 November 2019 (diff | hist) . . (-30) . . Internship subjects
- 13:47, 25 November 2019 (diff | hist) . . (+123) . . Internship subjects
- 13:45, 25 November 2019 (diff | hist) . . (+4) . . Internship subjects
- 13:44, 25 November 2019 (diff | hist) . . (+273) . . N Internship subjects (Created page with "The following internships can be continued with a PhD thesis on already acquired funding: * Local Reasoning about Reconfigurable Component-based Systems (Master level, 6 mon...")
- 13:42, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:42, 25 November 2019 (diff | hist) . . (+2) . . Radu Iosif
- 13:41, 25 November 2019 (diff | hist) . . (+2) . . Radu Iosif
- 13:40, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:40, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:39, 25 November 2019 (diff | hist) . . (0) . . N File:New.jpg (current)
- 13:37, 25 November 2019 (diff | hist) . . (+1) . . Radu Iosif
- 13:36, 25 November 2019 (diff | hist) . . (0) . . Radu Iosif
- 13:36, 25 November 2019 (diff | hist) . . (-5) . . Radu Iosif
- 13:35, 25 November 2019 (diff | hist) . . (-1) . . Radu Iosif
- 13:35, 25 November 2019 (diff | hist) . . (+23) . . Radu Iosif
- 13:34, 25 November 2019 (diff | hist) . . (+93) . . Radu Iosif
- 11:14, 25 November 2019 (diff | hist) . . (0) . . File:InfiniteAlphabetAutomata.pdf (Radu iosif uploaded a new version of File:InfiniteAlphabetAutomata.pdf)
- 11:12, 25 November 2019 (diff | hist) . . (0) . . N File:InfiniteAlphabetAutomata.pdf
- 15:23, 8 September 2019 (diff | hist) . . (+166) . . Recent publications
- 18:35, 23 April 2019 (diff | hist) . . (+15) . . Paris, April 29th and 30th (current)
- 15:53, 18 April 2019 (diff | hist) . . (+59) . . Paris, April 29th and 30th
- 15:52, 18 April 2019 (diff | hist) . . (+2) . . Paris, April 29th and 30th
- 15:50, 18 April 2019 (diff | hist) . . (+207) . . Paris, April 29th and 30th
- 14:15, 1 April 2019 (diff | hist) . . (+1) . . Paris, April 29th and 30th
- 14:15, 1 April 2019 (diff | hist) . . (+618) . . Paris, April 29th and 30th
- 17:31, 20 March 2019 (diff | hist) . . (+1) . . Paris, April 29th and 30th
- 17:30, 20 March 2019 (diff | hist) . . (+88) . . Paris, April 29th and 30th
- 17:28, 20 March 2019 (diff | hist) . . (+3,293) . . N Paris, April 29th and 30th (Created page with "'''Stephane Demri''': ''Modal Separation Logics and Friends'' Separation logic is known as an assertion language to perform verification, by extending Hoare-Floyd logic in o...")
- 17:27, 20 March 2019 (diff | hist) . . (-1) . . Friends of Separation Logic (current)
- 19:02, 19 March 2019 (diff | hist) . . (+1,186) . . Cachan, April 29th and 30th (current)
- 18:58, 19 March 2019 (diff | hist) . . (+1) . . Cachan, April 29th and 30th
- 18:58, 19 March 2019 (diff | hist) . . (+12) . . Cachan, April 29th and 30th
- 18:58, 19 March 2019 (diff | hist) . . (+4) . . Cachan, April 29th and 30th
- 18:56, 19 March 2019 (diff | hist) . . (+2,090) . . N Cachan, April 29th and 30th (Created page with "Stephane Demri: ''Modal Separation Logics and Friends'' Separation logic is known as an assertion language to perform verification, by extending Hoare-Floyd logic in order t...")
- 18:54, 19 March 2019 (diff | hist) . . (+4) . . Friends of Separation Logic
- 18:53, 19 March 2019 (diff | hist) . . (-12) . . Friends of Separation Logic
- 18:53, 19 March 2019 (diff | hist) . . (-1) . . Friends of Separation Logic
- 18:52, 19 March 2019 (diff | hist) . . (+805) . . N Friends of Separation Logic (Created page with "Friends of Separation Logic (FOSL) is an informal working group on topics related to Separation Logic (SL), such as: * extensions of SL and relations with other logics (firs...")
- 10:58, 8 February 2019 (diff | hist) . . (+184) . . Recent publications
- 12:49, 7 February 2019 (diff | hist) . . (0) . . N File:Cav19b.tar.gz (current)
- 17:26, 6 February 2019 (diff | hist) . . (0) . . File:Cav19.tar.gz (Radu iosif uploaded a new version of File:Cav19.tar.gz) (current)
- 10:39, 6 February 2019 (diff | hist) . . (0) . . N File:Cav19.tar.gz
- 12:42, 9 December 2018 (diff | hist) . . (+68) . . Lat18 (current)
- 12:41, 9 December 2018 (diff | hist) . . (0) . . N File:Games.zip (current)
- 11:55, 7 December 2018 (diff | hist) . . (-4) . . Lat18
- 11:55, 7 December 2018 (diff | hist) . . (+129) . . Lat18
- 11:52, 7 December 2018 (diff | hist) . . (+2) . . Lat18
- 11:51, 7 December 2018 (diff | hist) . . (0) . . N File:GamesTreeAutomata.pdf (current)
- 11:50, 7 December 2018 (diff | hist) . . (-4) . . Lat18
- 11:50, 7 December 2018 (diff | hist) . . (0) . . N File:ParityGames.pdf (current)
- 11:49, 7 December 2018 (diff | hist) . . (0) . . File:StaigerWagnerWeakParityGames.pdf (Radu iosif uploaded a new version of File:StaigerWagnerWeakParityGames.pdf) (current)
- 20:57, 2 December 2018 (diff | hist) . . (0) . . File:StaigerWagnerWeakParityGames.pdf (Radu iosif uploaded a new version of File:StaigerWagnerWeakParityGames.pdf)
- 12:04, 1 December 2018 (diff | hist) . . (+17) . . Lat18
- 12:04, 1 December 2018 (diff | hist) . . (0) . . N File:StaigerWagnerWeakParityGames.pdf
- 11:48, 1 December 2018 (diff | hist) . . (+7) . . Lat18
- 11:48, 1 December 2018 (diff | hist) . . (0) . . N File:ReachabilityBuchiGames.pdf (current)
- 11:12, 1 December 2018 (diff | hist) . . (+6) . . Lat18
- 11:11, 1 December 2018 (diff | hist) . . (0) . . N File:GameTheoryTerminology.pdf (current)
- 10:50, 1 December 2018 (diff | hist) . . (+5) . . Lat18
- 10:49, 1 December 2018 (diff | hist) . . (0) . . N File:GameTheoryMotivation.pdf (current)
- 17:24, 26 November 2018 (diff | hist) . . (+86) . . Lat18
- 11:20, 19 November 2018 (diff | hist) . . (0) . . Lat18
- 12:17, 7 November 2018 (diff | hist) . . (+99) . . Recent publications
- 16:55, 6 November 2018 (diff | hist) . . (-1,791) . . Lat18/feedback (Replaced content with "<?php echo 'hello' ?>") (current)
- 16:46, 6 November 2018 (diff | hist) . . (+1,812) . . N Lat18/feedback (Created page with "<?php class SpecialTestForm extends SpecialPage { public function __construct() { parent::__construct( 'TestForm' ); } public function execute( $par ) { $this->getOut...")
- 10:49, 27 October 2018 (diff | hist) . . (+74) . . Lat18
- 10:48, 27 October 2018 (diff | hist) . . (+155) . . Lat18
- 10:47, 27 October 2018 (diff | hist) . . (+141) . . Lat18
- 10:42, 27 October 2018 (diff | hist) . . (+58) . . Lat18
- 18:12, 21 October 2018 (diff | hist) . . (-3) . . Lat18
- 18:12, 21 October 2018 (diff | hist) . . (+96) . . Lat18
- 15:07, 21 October 2018 (diff | hist) . . (+11) . . Lat18
- 15:06, 21 October 2018 (diff | hist) . . (+4) . . Lat18
- 15:06, 21 October 2018 (diff | hist) . . (+52) . . Lat18
- 15:06, 21 October 2018 (diff | hist) . . (+2) . . Lat18
- 15:05, 21 October 2018 (diff | hist) . . (+21) . . Lat18
- 15:04, 21 October 2018 (diff | hist) . . (0) . . N File:Mcnaughton.pdf (current)
- 15:04, 21 October 2018 (diff | hist) . . (+22) . . Lat18
- 10:42, 13 October 2018 (diff | hist) . . (+116) . . Radu Iosif
- 11:08, 7 October 2018 (diff | hist) . . (+2) . . Radu Iosif
- 13:43, 6 October 2018 (diff | hist) . . (+1) . . Lat18
- 11:14, 6 October 2018 (diff | hist) . . (+1) . . Lat18 (→Logic and Automata Theory)
- 11:14, 6 October 2018 (diff | hist) . . (+72) . . Lat18
- 20:00, 26 September 2018 (diff | hist) . . (0) . . Lat18
- 19:57, 26 September 2018 (diff | hist) . . (-2) . . Lat18
- 18:25, 26 September 2018 (diff | hist) . . (-1) . . Lat18
- 18:11, 26 September 2018 (diff | hist) . . (+723) . . Lat18
- 18:07, 26 September 2018 (diff | hist) . . (+39) . . Lat18
- 20:05, 16 September 2018 (diff | hist) . . (+22) . . Lat18
- 19:55, 16 September 2018 (diff | hist) . . (+89) . . Lat18
- 19:54, 16 September 2018 (diff | hist) . . (+10) . . Lat18
- 19:53, 16 September 2018 (diff | hist) . . (+11) . . Lat18
- 19:53, 16 September 2018 (diff | hist) . . (0) . . Lat18
- 19:52, 16 September 2018 (diff | hist) . . (+119) . . Lat18
- 19:51, 16 September 2018 (diff | hist) . . (+8) . . Lat18
- 19:50, 16 September 2018 (diff | hist) . . (+57) . . Lat18
- 19:49, 16 September 2018 (diff | hist) . . (+7) . . Lat18
- 19:49, 16 September 2018 (diff | hist) . . (+35) . . Lat18
- 19:48, 16 September 2018 (diff | hist) . . (+3) . . Lat18
- 19:46, 16 September 2018 (diff | hist) . . (+1,657) . . N Lat18 (Created page with "=== Logic and Automata Theory === '''Lecturer''': [http://nts.imag.fr/index.php/Radu_Iosif Radu_Iosif] '''Objectives''': Many major hardware (Intel, IBM) and software (Micr...")
- 15:14, 28 May 2018 (diff | hist) . . (+151) . . Recent publications (→Pending)
- 18:09, 29 April 2018 (diff | hist) . . (-1) . . Journees GT Verif 2018 Informations Locales (current)
- 09:10, 13 April 2018 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 17:55, 11 April 2018 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 14:06, 11 April 2018 (diff | hist) . . (0) . . File:Dr2-audition.pdf (Radu iosif uploaded a new version of File:Dr2-audition.pdf)
- 09:10, 11 April 2018 (diff | hist) . . (+154) . . Recent publications
- 10:17, 9 April 2018 (diff | hist) . . (+1) . . Journees GT Verif 2018 Informations Locales
- 10:17, 9 April 2018 (diff | hist) . . (+11) . . Journees GT Verif 2018 Informations Locales
- 10:17, 9 April 2018 (diff | hist) . . (+8) . . Journees GT Verif 2018 Informations Locales
- 10:16, 9 April 2018 (diff | hist) . . (-8) . . Journees GT Verif 2018 Informations Locales
- 10:15, 9 April 2018 (diff | hist) . . (+2) . . Journees GT Verif 2018 Informations Locales
- 10:15, 9 April 2018 (diff | hist) . . (+60) . . Journees GT Verif 2018 Informations Locales
- 10:13, 9 April 2018 (diff | hist) . . (+5) . . Radu Iosif
- 10:13, 9 April 2018 (diff | hist) . . (+95) . . Radu Iosif
- 14:00, 17 March 2018 (diff | hist) . . (+2) . . Restaurants et bars (current)
- 13:54, 17 March 2018 (diff | hist) . . (-4) . . Journees GT Verif 2018 Informations Locales
- 13:24, 16 March 2018 (diff | hist) . . (+59) . . Restaurants et bars
- 13:23, 16 March 2018 (diff | hist) . . (0) . . Journees GT Verif 2018 Informations Locales
- 09:31, 16 March 2018 (diff | hist) . . (+60) . . Restaurants et bars
- 09:30, 16 March 2018 (diff | hist) . . (+1) . . Restaurants et bars
- 09:30, 16 March 2018 (diff | hist) . . (+67) . . Restaurants et bars
- 09:29, 16 March 2018 (diff | hist) . . (+199) . . Restaurants et bars
- 09:27, 16 March 2018 (diff | hist) . . (+2) . . Restaurants et bars
- 09:26, 16 March 2018 (diff | hist) . . (+2) . . Restaurants et bars
- 09:26, 16 March 2018 (diff | hist) . . (+690) . . Restaurants et bars
- 09:21, 16 March 2018 (diff | hist) . . (0) . . Restaurants et bars (→Restaurants)
- 09:20, 16 March 2018 (diff | hist) . . (0) . . Restaurants et bars
- 09:20, 16 March 2018 (diff | hist) . . (+169) . . N Restaurants et bars (Created page with " == Restaurants == * Indien [Bombay|https://www.tripadvisor.fr/Restaurant_Review-g187264-d795433-Reviews-Le_Bombay-Grenoble_Isere_Auvergne_Rhone_Alpes.html] == Bars ==")
- 09:19, 16 March 2018 (diff | hist) . . (+49) . . Journees GT Verif 2018 Informations Locales
- 11:31, 8 March 2018 (diff | hist) . . (+28) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)