User contributions
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)
- 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)
- 10:18, 8 March 2018 (diff | hist) . . (0) . . Journees GT Verif 2018 Informations Locales
- 10:18, 8 March 2018 (diff | hist) . . (+82) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
- 10:16, 8 March 2018 (diff | hist) . . (+9) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
- 10:13, 8 March 2018 (diff | hist) . . (+1) . . Journees GT Verif 2018 Informations Locales
- 10:11, 8 March 2018 (diff | hist) . . (+1) . . Journees GT Verif 2018 Informations Locales
- 10:11, 8 March 2018 (diff | hist) . . (+68) . . Journees GT Verif 2018 Informations Locales
- 10:08, 8 March 2018 (diff | hist) . . (+82) . . Journees GT Verif 2018 Informations Locales
- 10:05, 8 March 2018 (diff | hist) . . (+6) . . Journees GT Verif 2018 Informations Locales
- 10:05, 8 March 2018 (diff | hist) . . (+237) . . Journees GT Verif 2018 Informations Locales
- 10:03, 8 March 2018 (diff | hist) . . (-276) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
- 10:02, 8 March 2018 (diff | hist) . . (0) . . Journees GT Verif 2018 Informations Locales
- 10:02, 8 March 2018 (diff | hist) . . (+960) . . Journees GT Verif 2018 Informations Locales
- 09:58, 8 March 2018 (diff | hist) . . (+3) . . Journees GT Verif 2018 Informations Locales
- 09:58, 8 March 2018 (diff | hist) . . (-6) . . Journees GT Verif 2018 Informations Locales
- 09:57, 8 March 2018 (diff | hist) . . (+2) . . Journees GT Verif 2018 Informations Locales
- 09:56, 8 March 2018 (diff | hist) . . (0) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
- 09:56, 8 March 2018 (diff | hist) . . (+97) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
- 09:55, 8 March 2018 (diff | hist) . . (+400) . . Journees GT Verif 2018 Informations Locales
- 09:53, 8 March 2018 (diff | hist) . . (+478) . . Journees GT Verif 2018 Informations Locales
- 09:51, 8 March 2018 (diff | hist) . . (-1) . . Journees GT Verif 2018 Informations Locales
- 09:51, 8 March 2018 (diff | hist) . . (+64) . . Journees GT Verif 2018 Informations Locales (→Rejoindre le bâtiment IMAG)
- 09:49, 8 March 2018 (diff | hist) . . (+172) . . Journees GT Verif 2018 Informations Locales
- 09:46, 8 March 2018 (diff | hist) . . (+154) . . Journees GT Verif 2018 Informations Locales
- 09:44, 8 March 2018 (diff | hist) . . (0) . . Journees GT Verif 2018 Informations Locales (→Venir à Grenoble)
- 09:44, 8 March 2018 (diff | hist) . . (+33) . . Journees GT Verif 2018 Informations Locales (→Venir à Grenoble)
- 09:40, 8 March 2018 (diff | hist) . . (+91) . . N Journees GT Verif 2018 Informations Locales (Created page with " == Venir à Grenoble == '''En avion ''' L'aeroport le plus proche est Lyon Saint Exupery")
- 09:10, 2 February 2018 (diff | hist) . . (0) . . N File:Tacas2018.pdf (current)
- 09:09, 2 February 2018 (diff | hist) . . (+93) . . Recent publications
- 09:07, 2 February 2018 (diff | hist) . . (-50) . . Recent publications
- 09:05, 2 February 2018 (diff | hist) . . (+170) . . Recent publications
- 17:37, 26 September 2017 (diff | hist) . . (+188) . . Radu Iosif
- 08:22, 11 July 2017 (diff | hist) . . (+134) . . Recent publications
- 08:50, 17 May 2017 (diff | hist) . . (+1) . . Recent publications
- 08:49, 17 May 2017 (diff | hist) . . (+100) . . Recent publications
- 11:38, 13 May 2017 (diff | hist) . . (-50) . . Radu Iosif
- 11:37, 13 May 2017 (diff | hist) . . (-107) . . Radu Iosif
- 18:51, 26 March 2017 (diff | hist) . . (0) . . N File:Backup.pdf (current)
- 18:51, 26 March 2017 (diff | hist) . . (0) . . N File:Dr2-audition.pdf
- 09:55, 23 January 2017 (diff | hist) . . (-1) . . Radu Iosif
- 09:54, 23 January 2017 (diff | hist) . . (0) . . Radu Iosif
- 09:54, 23 January 2017 (diff | hist) . . (+6) . . Radu Iosif
- 09:54, 23 January 2017 (diff | hist) . . (+45) . . Radu Iosif
- 14:51, 20 January 2017 (diff | hist) . . (-6) . . Radu Iosif
- 14:51, 20 January 2017 (diff | hist) . . (+6) . . Radu Iosif
- 14:51, 20 January 2017 (diff | hist) . . (+16) . . Radu Iosif
- 15:06, 29 December 2016 (diff | hist) . . (-259) . . Flata (current)
- 15:05, 29 December 2016 (diff | hist) . . (-258) . . Flata
- 15:05, 29 December 2016 (diff | hist) . . (-17) . . Flata
- 17:09, 9 December 2016 (diff | hist) . . (+11) . . Recent publications
- 11:44, 23 November 2016 (diff | hist) . . (0) . . N File:Vmcai2017.pdf (current)
- 11:43, 23 November 2016 (diff | hist) . . (+20) . . Recent publications
- 11:41, 23 November 2016 (diff | hist) . . (-25) . . Recent publications
- 09:39, 2 November 2016 (diff | hist) . . (+68) . . Radu Iosif
- 09:20, 19 October 2016 (diff | hist) . . (+165) . . Recent publications
- 13:09, 18 October 2016 (diff | hist) . . (+6) . . Infinite Systems Verification Day (current)
- 13:09, 18 October 2016 (diff | hist) . . (+2) . . Infinite Systems Verification Day
- 13:08, 18 October 2016 (diff | hist) . . (+203) . . Infinite Systems Verification Day
- 13:06, 18 October 2016 (diff | hist) . . (+66) . . Infinite Systems Verification Day
- 14:42, 5 September 2016 (diff | hist) . . (+5) . . Radu Iosif
- 13:46, 29 August 2016 (diff | hist) . . (-15) . . Infinite Systems Verification Day
- 13:20, 29 August 2016 (diff | hist) . . (+1,059) . . Infinite Systems Verification Day
- 10:51, 4 August 2016 (diff | hist) . . (+4) . . Infinite Systems Verification Day
- 10:51, 4 August 2016 (diff | hist) . . (+88) . . Infinite Systems Verification Day
- 10:50, 4 August 2016 (diff | hist) . . (+55) . . Infinite Systems Verification Day
- 12:56, 1 August 2016 (diff | hist) . . (-2) . . Radu Iosif
- 12:56, 1 August 2016 (diff | hist) . . (+4) . . Radu Iosif
- 12:56, 1 August 2016 (diff | hist) . . (+4) . . Radu Iosif
- 12:54, 1 August 2016 (diff | hist) . . (+238) . . Radu Iosif
- 12:49, 1 August 2016 (diff | hist) . . (-53) . . Radu Iosif
- 12:48, 1 August 2016 (diff | hist) . . (+22) . . Radu Iosif
- 12:47, 1 August 2016 (diff | hist) . . (+2) . . Radu Iosif
- 12:47, 1 August 2016 (diff | hist) . . (-1) . . Radu Iosif
- 12:47, 1 August 2016 (diff | hist) . . (-16) . . Radu Iosif
- 15:51, 28 July 2016 (diff | hist) . . (+10) . . Infinite Systems Verification Day
- 15:42, 28 July 2016 (diff | hist) . . (+1) . . Infinite Systems Verification Day
- 15:42, 28 July 2016 (diff | hist) . . (+837) . . Infinite Systems Verification Day
- 13:16, 19 July 2016 (diff | hist) . . (+4) . . Infinite Systems Verification Day
- 13:16, 19 July 2016 (diff | hist) . . (-1) . . Infinite Systems Verification Day
- 13:15, 19 July 2016 (diff | hist) . . (+25) . . Infinite Systems Verification Day
- 13:15, 19 July 2016 (diff | hist) . . (+1) . . Infinite Systems Verification Day
- 13:15, 19 July 2016 (diff | hist) . . (-2) . . Infinite Systems Verification Day
- 13:14, 19 July 2016 (diff | hist) . . (0) . . Infinite Systems Verification Day
- 13:14, 19 July 2016 (diff | hist) . . (+5) . . Infinite Systems Verification Day
- 13:13, 19 July 2016 (diff | hist) . . (-4) . . Infinite Systems Verification Day
- 13:13, 19 July 2016 (diff | hist) . . (+2) . . Infinite Systems Verification Day
- 13:12, 19 July 2016 (diff | hist) . . (+10) . . Infinite Systems Verification Day
- 13:12, 19 July 2016 (diff | hist) . . (-8) . . Radu Iosif
- 12:02, 19 July 2016 (diff | hist) . . (+6) . . Infinite Systems Verification Day
- 12:02, 19 July 2016 (diff | hist) . . (+1) . . Infinite Systems Verification Day
- 12:02, 19 July 2016 (diff | hist) . . (-17) . . Infinite Systems Verification Day
- 09:43, 19 July 2016 (diff | hist) . . (-1) . . Infinite Systems Verification Day (→Programme)
- 09:42, 19 July 2016 (diff | hist) . . (+772) . . Infinite Systems Verification Day
- 13:32, 13 July 2016 (diff | hist) . . (-1) . . Infinite Systems Verification Day
- 13:31, 13 July 2016 (diff | hist) . . (+1) . . Infinite Systems Verification Day
- 11:13, 13 July 2016 (diff | hist) . . (0) . . Infinite Systems Verification Day
- 10:39, 13 July 2016 (diff | hist) . . (-1) . . Infinite Systems Verification Day
- 09:59, 13 July 2016 (diff | hist) . . (-6) . . Infinite Systems Verification Day
- 09:59, 13 July 2016 (diff | hist) . . (-4) . . Infinite Systems Verification Day
- 09:59, 13 July 2016 (diff | hist) . . (+28) . . Infinite Systems Verification Day
- 09:47, 13 July 2016 (diff | hist) . . (0) . . Infinite Systems Verification Day
- 09:47, 13 July 2016 (diff | hist) . . (+10) . . Infinite Systems Verification Day
- 09:46, 13 July 2016 (diff | hist) . . (-2) . . Infinite Systems Verification Day
- 09:45, 13 July 2016 (diff | hist) . . (+1) . . Infinite Systems Verification Day
- 09:44, 13 July 2016 (diff | hist) . . (+1,299) . . Infinite Systems Verification Day
- 09:42, 13 July 2016 (diff | hist) . . (+351) . . Infinite Systems Verification Day
- 09:39, 13 July 2016 (diff | hist) . . (-1) . . Infinite Systems Verification Day
- 09:38, 13 July 2016 (diff | hist) . . (+202) . . Infinite Systems Verification Day
- 09:33, 13 July 2016 (diff | hist) . . (+3) . . Infinite Systems Verification Day
- 09:33, 13 July 2016 (diff | hist) . . (+7) . . Infinite Systems Verification Day
- 09:33, 13 July 2016 (diff | hist) . . (0) . . Infinite Systems Verification Day
- 09:32, 13 July 2016 (diff | hist) . . (+153) . . Infinite Systems Verification Day
- 09:27, 13 July 2016 (diff | hist) . . (+277) . . Infinite Systems Verification Day
- 09:20, 13 July 2016 (diff | hist) . . (0) . . Infinite Systems Verification Day
- 09:19, 13 July 2016 (diff | hist) . . (+13) . . Infinite Systems Verification Day
- 09:19, 13 July 2016 (diff | hist) . . (+101) . . N Infinite Systems Verification Day (Created page with "When: September 29th, 2016 Where: Auditorium, Ground Floor, [https://batiment.imag.fr/|IMAG Building]")
- 09:18, 13 July 2016 (diff | hist) . . (+30) . . Radu Iosif
- 09:18, 13 July 2016 (diff | hist) . . (+129) . . N HDR (Created page with " == Infinite Systems Verification Day == When: September 29th, 2016 Where: Auditorium, [IMAG Building|https://batiment.imag.fr/]") (current)
- 09:14, 13 July 2016 (diff | hist) . . (+33) . . Radu Iosif
- 12:23, 11 July 2016 (diff | hist) . . (+22) . . Recent publications
- 12:22, 11 July 2016 (diff | hist) . . (+2) . . Recent publications
- 12:21, 11 July 2016 (diff | hist) . . (+52) . . Recent publications
- 10:54, 11 July 2016 (diff | hist) . . (-2) . . Recent publications
- 10:53, 11 July 2016 (diff | hist) . . (+4) . . Recent publications
- 10:52, 11 July 2016 (diff | hist) . . (+20) . . Recent publications
- 10:52, 11 July 2016 (diff | hist) . . (0) . . N File:Atva2016-2.pdf (current)
- 10:51, 11 July 2016 (diff | hist) . . (+4) . . Recent publications
- 10:50, 11 July 2016 (diff | hist) . . (+21) . . Recent publications
- 10:49, 11 July 2016 (diff | hist) . . (0) . . N File:Atva2016-1.pdf (current)
- 10:47, 11 July 2016 (diff | hist) . . (-60) . . Recent publications
- 13:34, 17 June 2016 (diff | hist) . . (+27) . . Radu Iosif
- 11:55, 1 June 2016 (diff | hist) . . (0) . . File:Hdr.pdf (Radu iosif uploaded a new version of File:Hdr.pdf) (current)
- 10:33, 30 May 2016 (diff | hist) . . (+2) . . Radu Iosif
- 14:46, 29 May 2016 (diff | hist) . . (0) . . Radu Iosif
- 14:34, 29 May 2016 (diff | hist) . . (+1) . . Radu Iosif
- 14:34, 29 May 2016 (diff | hist) . . (+39) . . Radu Iosif
- 11:00, 23 May 2016 (diff | hist) . . (-3) . . Radu Iosif
- 11:00, 23 May 2016 (diff | hist) . . (-6) . . Radu Iosif
- 10:59, 23 May 2016 (diff | hist) . . (+7) . . Radu Iosif
- 10:59, 23 May 2016 (diff | hist) . . (+33) . . Radu Iosif
- 09:51, 20 May 2016 (diff | hist) . . (+51) . . Recent publications
- 08:39, 19 May 2016 (diff | hist) . . (+113) . . Recent publications
- 08:37, 19 May 2016 (diff | hist) . . (+147) . . Software (current)
- 13:38, 23 March 2016 (diff | hist) . . (+74) . . Recent publications
- 11:15, 14 March 2016 (diff | hist) . . (0) . . File:Hdr.pdf (Radu iosif uploaded a new version of "File:Hdr.pdf")
- 16:00, 6 March 2016 (diff | hist) . . (0) . . Radu Iosif
- 16:00, 6 March 2016 (diff | hist) . . (-6) . . Radu Iosif
- 15:59, 6 March 2016 (diff | hist) . . (-2) . . Radu Iosif
- 15:59, 6 March 2016 (diff | hist) . . (+31) . . Radu Iosif
- 15:58, 6 March 2016 (diff | hist) . . (0) . . Radu Iosif
- 15:58, 6 March 2016 (diff | hist) . . (+8) . . Radu Iosif
- 15:57, 6 March 2016 (diff | hist) . . (0) . . N File:Hdr.pdf
- 15:56, 6 March 2016 (diff | hist) . . (+2) . . Radu Iosif
- 15:55, 6 March 2016 (diff | hist) . . (-63) . . Radu Iosif
- 18:26, 22 October 2015 (diff | hist) . . (-1) . . Software
- 13:01, 25 September 2015 (diff | hist) . . (+71) . . Radu Iosif
- 14:41, 4 August 2015 (diff | hist) . . (+172) . . Recent publications
- 09:01, 12 June 2015 (diff | hist) . . (0) . . Recent publications
- 08:59, 12 June 2015 (diff | hist) . . (+9) . . Recent publications
- 13:18, 3 March 2015 (diff | hist) . . (+9) . . Recent publications
- 06:34, 3 March 2015 (diff | hist) . . (+125) . . Recent publications
- 14:23, 1 March 2015 (diff | hist) . . (+1) . . Recent publications
- 17:59, 19 February 2015 (diff | hist) . . (0) . . Software
- 17:59, 19 February 2015 (diff | hist) . . (+7) . . Software
- 12:28, 10 February 2015 (diff | hist) . . (+1) . . Radu Iosif
- 12:27, 10 February 2015 (diff | hist) . . (0) . . Software
- 12:26, 10 February 2015 (diff | hist) . . (+142) . . Software
- 11:27, 29 January 2015 (diff | hist) . . (0) . . Radu Iosif
- 11:26, 29 January 2015 (diff | hist) . . (+40) . . Radu Iosif
- 11:24, 29 January 2015 (diff | hist) . . (+67) . . Radu Iosif
- 12:21, 19 December 2014 (diff | hist) . . (+7) . . Flata
- 12:21, 19 December 2014 (diff | hist) . . (-2) . . Flata
- 12:20, 19 December 2014 (diff | hist) . . (+19) . . Flata
- 12:20, 19 December 2014 (diff | hist) . . (+2) . . Flata
- 12:20, 19 December 2014 (diff | hist) . . (-19) . . Flata
- 12:19, 19 December 2014 (diff | hist) . . (+74) . . Flata
- 12:38, 1 November 2014 (diff | hist) . . (+150) . . Recent publications
- 15:48, 23 September 2014 (diff | hist) . . (-34) . . Lat
- 12:13, 21 August 2014 (diff | hist) . . (-160) . . Recent publications
- 12:12, 21 August 2014 (diff | hist) . . (+154) . . Recent publications
- 12:10, 21 August 2014 (diff | hist) . . (0) . . N File:Atva14.pdf (current)
- 12:05, 21 August 2014 (diff | hist) . . (+47) . . Recent publications
- 17:16, 20 June 2014 (diff | hist) . . (-71) . . Recent publications
- 17:13, 20 June 2014 (diff | hist) . . (+71) . . Recent publications
- 15:20, 19 May 2014 (diff | hist) . . (+276) . . Recent publications
- 13:18, 15 May 2014 (diff | hist) . . (-31) . . AVM 2014 pictures (current)
- 13:16, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0598.JPG (current)
- 13:15, 15 May 2014 (diff | hist) . . (+999) . . AVM 2014 pictures
- 13:09, 15 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 13:09, 15 May 2014 (diff | hist) . . (+18) . . AVM 2014 pictures
- 13:08, 15 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 13:08, 15 May 2014 (diff | hist) . . (+18) . . AVM 2014 pictures
- 13:07, 15 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 13:06, 15 May 2014 (diff | hist) . . (+4) . . AVM 2014 pictures
- 13:05, 15 May 2014 (diff | hist) . . (-46) . . AVM 2014 pictures
- 13:03, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0608.JPG (current)
- 13:03, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0603.JPG (current)
- 13:03, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0602.JPG (current)
- 13:02, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0596.JPG (current)
- 13:02, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0593.JPG (current)
- 13:01, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0587.JPG (current)
- 13:01, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0582.JPG (current)
- 13:01, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0581.JPG (current)
- 13:00, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0577.JPG (current)
- 13:00, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0573.JPG (current)
- 12:59, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0569.JPG (current)
- 12:59, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0562.JPG (current)
- 12:59, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0556.JPG (current)
- 12:58, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0552.JPG (current)
- 12:58, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0546.JPG (current)
- 12:57, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0543.JPG (current)
- 12:57, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0542.JPG (current)
- 12:56, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0540.JPG (current)
- 12:56, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0537.JPG (current)
- 12:55, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0532.JPG (current)
- 12:55, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0527.JPG (current)
- 12:55, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0524.JPG (current)
- 12:54, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0525.JPG (current)
- 12:53, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0523.JPG (current)
- 12:53, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0517.JPG (current)
- 12:53, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0514.JPG (current)
- 12:52, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0509.JPG (current)
- 12:51, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0506.JPG (current)
- 12:51, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0504.JPG (current)
- 12:51, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0501.JPG (current)
- 12:50, 15 May 2014 (diff | hist) . . (0) . . N File:DSC 0498.JPG (current)
- 12:49, 15 May 2014 (diff | hist) . . (+45) . . AVM 2014 pictures
- 12:49, 15 May 2014 (diff | hist) . . (-27) . . AVM 2014 pictures
- 12:48, 15 May 2014 (diff | hist) . . (-40) . . AVM 2014 pictures
- 12:48, 15 May 2014 (diff | hist) . . (+1) . . AVM 2014 pictures
- 12:48, 15 May 2014 (diff | hist) . . (-66) . . AVM 2014 pictures
- 12:47, 15 May 2014 (diff | hist) . . (-20) . . AVM 2014 pictures
- 12:46, 15 May 2014 (diff | hist) . . (+253) . . AVM 2014 pictures
- 10:06, 12 May 2014 (diff | hist) . . (+5) . . AVM 2014 (current)
- 10:06, 12 May 2014 (diff | hist) . . (0) . . m AVM 2014 pictures (Radu iosif moved page AVM pictures to AVM 2014 pictures without leaving a redirect)
- 10:05, 12 May 2014 (diff | hist) . . (-52) . . AVM 2014 pictures
- 10:04, 12 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 10:04, 12 May 2014 (diff | hist) . . (0) . . AVM 2014 pictures
- 10:03, 12 May 2014 (diff | hist) . . (+3) . . AVM 2014 pictures
- 10:03, 12 May 2014 (diff | hist) . . (+50) . . AVM 2014 pictures
- 10:02, 12 May 2014 (diff | hist) . . (-50) . . AVM 2014 pictures
- 10:02, 12 May 2014 (diff | hist) . . (+99) . . AVM 2014 pictures
- 10:01, 12 May 2014 (diff | hist) . . (+47) . . N AVM 2014 pictures (Created page with "alt text")
- 09:58, 12 May 2014 (diff | hist) . . (0) . . N File:DSC 0211.JPG (current)
- 09:56, 12 May 2014 (diff | hist) . . (+26) . . AVM 2014
- 20:40, 9 May 2014 (diff | hist) . . (+7) . . AVM 2014
- 20:38, 9 May 2014 (diff | hist) . . (+49) . . AVM 2014
- 20:37, 9 May 2014 (diff | hist) . . (0) . . N File:Avm sponsors.jpg (current)
- 19:01, 7 May 2014 (diff | hist) . . (+1) . . Register (current)
- 19:01, 7 May 2014 (diff | hist) . . (+227) . . Register
- 19:00, 7 May 2014 (diff | hist) . . (+44) . . Travel (current)
- 18:58, 7 May 2014 (diff | hist) . . (+341) . . Travel
- 13:48, 7 May 2014 (diff | hist) . . (+14) . . Programme (current)
- 16:54, 6 May 2014 (diff | hist) . . (+141) . . Software
- 16:52, 6 May 2014 (diff | hist) . . (-100) . . Main Page (current)
- 16:51, 6 May 2014 (diff | hist) . . (-20) . . Flata
- 14:35, 15 April 2014 (diff | hist) . . (+4) . . Programme
- 14:35, 15 April 2014 (diff | hist) . . (+33) . . Programme
- 13:38, 14 April 2014 (diff | hist) . . (+155) . . Programme
- 16:08, 12 April 2014 (diff | hist) . . (-770) . . Register
- 10:19, 30 March 2014 (diff | hist) . . (0) . . Programme
- 10:19, 30 March 2014 (diff | hist) . . (+741) . . Abstracts (current)
- 10:18, 30 March 2014 (diff | hist) . . (+86) . . Programme
- 16:35, 28 March 2014 (diff | hist) . . (-1) . . Programme
- 13:50, 28 March 2014 (diff | hist) . . (+126) . . Abstracts
- 13:48, 28 March 2014 (diff | hist) . . (+25,654) . . N Abstracts (Created page with "1. Eva Darulova (EPFL,Lausanne): Compiling Real Numbers with Precision Guarantees Writing accurate numerical software is hard because of many sources of unavoidable uncertain...")
- 13:48, 28 March 2014 (diff | hist) . . (-16) . . AVM 2014
- 13:48, 28 March 2014 (diff | hist) . . (+53) . . AVM 2014
- 13:43, 28 March 2014 (diff | hist) . . (+38) . . Programme
- 13:43, 28 March 2014 (diff | hist) . . (+1) . . Programme
- 13:43, 28 March 2014 (diff | hist) . . (+1) . . Programme
- 13:42, 28 March 2014 (diff | hist) . . (+26) . . Programme
- 13:40, 28 March 2014 (diff | hist) . . (+2,846) . . Programme
- 14:37, 20 March 2014 (diff | hist) . . (+21) . . Register
- 14:22, 20 March 2014 (diff | hist) . . (+5) . . Register
- 14:22, 20 March 2014 (diff | hist) . . (-26) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (0) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (+1) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (+6) . . Register
- 12:19, 20 March 2014 (diff | hist) . . (+2) . . Register
- 12:18, 20 March 2014 (diff | hist) . . (+6) . . Register
- 12:15, 20 March 2014 (diff | hist) . . (+235) . . Register
- 12:07, 20 March 2014 (diff | hist) . . (+21) . . Register
- 11:50, 20 March 2014 (diff | hist) . . (-21) . . Register
- 19:21, 10 March 2014 (diff | hist) . . (+312) . . Speakers (current)
- 15:52, 6 March 2014 (diff | hist) . . (+14) . . Travel
- 14:53, 6 March 2014 (diff | hist) . . (+1) . . Travel
- 14:53, 6 March 2014 (diff | hist) . . (-8) . . Travel
- 14:52, 6 March 2014 (diff | hist) . . (+433) . . Travel
- 14:31, 6 March 2014 (diff | hist) . . (+18) . . N Programme (Created page with "Under construction")
- 14:31, 6 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 14:31, 6 March 2014 (diff | hist) . . (+25) . . AVM 2014
- 14:30, 6 March 2014 (diff | hist) . . (+6) . . AVM 2014
- 14:29, 6 March 2014 (diff | hist) . . (+21) . . AVM 2014
- 14:29, 6 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 14:29, 6 March 2014 (diff | hist) . . (+54) . . AVM 2014
- 14:05, 6 March 2014 (diff | hist) . . (+8) . . Speakers
- 15:28, 5 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:28, 5 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:27, 5 March 2014 (diff | hist) . . (+1) . . Speakers
- 15:27, 5 March 2014 (diff | hist) . . (+1) . . Speakers
- 15:25, 5 March 2014 (diff | hist) . . (+2) . . Speakers
- 15:24, 5 March 2014 (diff | hist) . . (+117) . . Speakers
- 15:22, 5 March 2014 (diff | hist) . . (+892) . . N Speakers (Created page with " == Invited Speakers == [http://cgi.di.uoa.gr/~smaragd/ '''Yannis Smaragdakis'''], University of Athens '''Declarative Static Program Analysis''' We discuss the benefits of...")
- 15:18, 5 March 2014 (diff | hist) . . (+32) . . AVM 2014
- 14:38, 24 February 2014 (diff | hist) . . (-2) . . AVM 2014
- 14:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:35, 24 February 2014 (diff | hist) . . (-96) . . AVM 2014
- 14:32, 24 February 2014 (diff | hist) . . (+32) . . AVM 2014
- 14:31, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:31, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 14:31, 24 February 2014 (diff | hist) . . (+282) . . AVM 2014
- 11:47, 15 February 2014 (diff | hist) . . (+16) . . Recent publications
- 11:45, 15 February 2014 (diff | hist) . . (-16) . . Recent publications
- 11:44, 15 February 2014 (diff | hist) . . (+168) . . Recent publications
- 16:58, 12 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 16:58, 12 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 16:42, 12 February 2014 (diff | hist) . . (-1) . . Register
- 16:41, 12 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 16:41, 12 February 2014 (diff | hist) . . (+6) . . AVM 2014
- 16:40, 12 February 2014 (diff | hist) . . (+1) . . Register
- 16:40, 12 February 2014 (diff | hist) . . (+7) . . Register
- 16:39, 12 February 2014 (diff | hist) . . (-1) . . Register
- 16:39, 12 February 2014 (diff | hist) . . (+2) . . Register
- 16:39, 12 February 2014 (diff | hist) . . (+4) . . Register
- 16:35, 12 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 16:32, 12 February 2014 (diff | hist) . . (+6) . . Register
- 16:31, 12 February 2014 (diff | hist) . . (+14) . . Register
- 16:31, 12 February 2014 (diff | hist) . . (+128) . . Register
- 16:30, 12 February 2014 (diff | hist) . . (+1) . . Register
- 16:27, 12 February 2014 (diff | hist) . . (+6) . . Register
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)