User contributions
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
- 11:18, 30 March 2014 (diff | hist) . . (+86) . . Programme
- 17:35, 28 March 2014 (diff | hist) . . (-1) . . Programme
- 14:50, 28 March 2014 (diff | hist) . . (+126) . . Abstracts
- 14: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...")
- 14:48, 28 March 2014 (diff | hist) . . (-16) . . AVM 2014
- 14:48, 28 March 2014 (diff | hist) . . (+53) . . AVM 2014
- 14:43, 28 March 2014 (diff | hist) . . (+38) . . Programme
- 14:43, 28 March 2014 (diff | hist) . . (+1) . . Programme
- 14:43, 28 March 2014 (diff | hist) . . (+1) . . Programme
- 14:42, 28 March 2014 (diff | hist) . . (+26) . . Programme
- 14:40, 28 March 2014 (diff | hist) . . (+2,846) . . Programme
- 15:37, 20 March 2014 (diff | hist) . . (+21) . . Register
- 15:22, 20 March 2014 (diff | hist) . . (+5) . . Register
- 15:22, 20 March 2014 (diff | hist) . . (-26) . . Register
- 13:19, 20 March 2014 (diff | hist) . . (0) . . Register
- 13:19, 20 March 2014 (diff | hist) . . (+1) . . Register
- 13:19, 20 March 2014 (diff | hist) . . (+6) . . Register
- 13:19, 20 March 2014 (diff | hist) . . (+2) . . Register
- 13:18, 20 March 2014 (diff | hist) . . (+6) . . Register
- 13:15, 20 March 2014 (diff | hist) . . (+235) . . Register
- 13:07, 20 March 2014 (diff | hist) . . (+21) . . Register
- 12:50, 20 March 2014 (diff | hist) . . (-21) . . Register
- 20:21, 10 March 2014 (diff | hist) . . (+312) . . Speakers (current)
- 16:52, 6 March 2014 (diff | hist) . . (+14) . . Travel
- 15:53, 6 March 2014 (diff | hist) . . (+1) . . Travel
- 15:53, 6 March 2014 (diff | hist) . . (-8) . . Travel
- 15:52, 6 March 2014 (diff | hist) . . (+433) . . Travel
- 15:31, 6 March 2014 (diff | hist) . . (+18) . . N Programme (Created page with "Under construction")
- 15:31, 6 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:31, 6 March 2014 (diff | hist) . . (+25) . . AVM 2014
- 15:30, 6 March 2014 (diff | hist) . . (+6) . . AVM 2014
- 15:29, 6 March 2014 (diff | hist) . . (+21) . . AVM 2014
- 15:29, 6 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 15:29, 6 March 2014 (diff | hist) . . (+54) . . AVM 2014
- 15:05, 6 March 2014 (diff | hist) . . (+8) . . Speakers
- 16:28, 5 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 16:28, 5 March 2014 (diff | hist) . . (+1) . . AVM 2014
- 16:27, 5 March 2014 (diff | hist) . . (+1) . . Speakers
- 16:27, 5 March 2014 (diff | hist) . . (+1) . . Speakers
- 16:25, 5 March 2014 (diff | hist) . . (+2) . . Speakers
- 16:24, 5 March 2014 (diff | hist) . . (+117) . . Speakers
- 16: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...")
- 16:18, 5 March 2014 (diff | hist) . . (+32) . . AVM 2014
- 15:38, 24 February 2014 (diff | hist) . . (-2) . . AVM 2014
- 15:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 15:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 15:37, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 15:35, 24 February 2014 (diff | hist) . . (-96) . . AVM 2014
- 15:32, 24 February 2014 (diff | hist) . . (+32) . . AVM 2014
- 15:31, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 15:31, 24 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 15:31, 24 February 2014 (diff | hist) . . (+282) . . AVM 2014
- 12:47, 15 February 2014 (diff | hist) . . (+16) . . Recent publications
- 12:45, 15 February 2014 (diff | hist) . . (-16) . . Recent publications
- 12:44, 15 February 2014 (diff | hist) . . (+168) . . Recent publications
- 17:58, 12 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 17:58, 12 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 17:42, 12 February 2014 (diff | hist) . . (-1) . . Register
- 17:41, 12 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 17:41, 12 February 2014 (diff | hist) . . (+6) . . AVM 2014
- 17:40, 12 February 2014 (diff | hist) . . (+1) . . Register
- 17:40, 12 February 2014 (diff | hist) . . (+7) . . Register
- 17:39, 12 February 2014 (diff | hist) . . (-1) . . Register
- 17:39, 12 February 2014 (diff | hist) . . (+2) . . Register
- 17:39, 12 February 2014 (diff | hist) . . (+4) . . Register
- 17:35, 12 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 17:32, 12 February 2014 (diff | hist) . . (+6) . . Register
- 17:31, 12 February 2014 (diff | hist) . . (+14) . . Register
- 17:31, 12 February 2014 (diff | hist) . . (+128) . . Register
- 17:30, 12 February 2014 (diff | hist) . . (+1) . . Register
- 17:27, 12 February 2014 (diff | hist) . . (+6) . . Register
- 17:27, 12 February 2014 (diff | hist) . . (+2) . . Register
- 17:26, 12 February 2014 (diff | hist) . . (+9) . . Register
- 17:26, 12 February 2014 (diff | hist) . . (-1) . . Register
- 17:26, 12 February 2014 (diff | hist) . . (+720) . . N Register (Created page with "Registration at AVM 2014 is free of charge. You will need to pay for your accomodation/meals directly at Villa Clythia upon departure. There is also a small amount to be paid ...")
- 17:11, 12 February 2014 (diff | hist) . . (-24) . . Travel
- 17:10, 12 February 2014 (diff | hist) . . (+2) . . Travel
- 17:09, 12 February 2014 (diff | hist) . . (-11) . . Travel
- 17:06, 12 February 2014 (diff | hist) . . (-1) . . Travel
- 17:05, 12 February 2014 (diff | hist) . . (+225) . . Travel
- 16:59, 12 February 2014 (diff | hist) . . (+195) . . Travel
- 16:52, 12 February 2014 (diff | hist) . . (-39) . . Travel
- 16:51, 12 February 2014 (diff | hist) . . (+96) . . Travel
- 16:49, 12 February 2014 (diff | hist) . . (+233) . . Travel
- 16:47, 12 February 2014 (diff | hist) . . (+321) . . Travel
- 16:43, 12 February 2014 (diff | hist) . . (+6) . . Travel
- 16:43, 12 February 2014 (diff | hist) . . (0) . . Travel
- 16:42, 12 February 2014 (diff | hist) . . (0) . . Travel
- 16:42, 12 February 2014 (diff | hist) . . (+522) . . N Travel (Created page with " === By train === Most high-speed trains (TGV) from Marseille to Nice will stop at St-Raphaël-Valescure station (approx. 1h30 from Marseille). You can easily reach Marseille...")
- 21:16, 11 February 2014 (diff | hist) . . (+73) . . AVM 2014
- 16:06, 11 February 2014 (diff | hist) . . (-8) . . AVM 2014
- 16:06, 11 February 2014 (diff | hist) . . (+1) . . AVM 2014
- 16:06, 11 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 16:05, 11 February 2014 (diff | hist) . . (+2) . . AVM 2014
- 16:05, 11 February 2014 (diff | hist) . . (+1) . . AVM 2014
- 16:05, 11 February 2014 (diff | hist) . . (-1) . . AVM 2014
- 16:04, 11 February 2014 (diff | hist) . . (+10) . . AVM 2014
- 19:37, 28 October 2013 (diff | hist) . . (+1) . . Radu Iosif
- 19:30, 28 October 2013 (diff | hist) . . (+68) . . Radu Iosif
- 15:45, 17 August 2013 (diff | hist) . . (-2) . . Recent publications
- 15:45, 17 August 2013 (diff | hist) . . (+16) . . Recent publications
- 15:44, 17 August 2013 (diff | hist) . . (+143) . . Recent publications
- 11:20, 2 July 2013 (diff | hist) . . (+2) . . Recent publications
- 11:19, 2 July 2013 (diff | hist) . . (-3) . . Recent publications
- 13:58, 28 June 2013 (diff | hist) . . (+33) . . Radu Iosif
- 13:56, 28 June 2013 (diff | hist) . . (0) . . N File:Col de porte 2.07.2013.pdf (current)
- 15:47, 14 June 2013 (diff | hist) . . (-2) . . Main Page
- 15:44, 14 June 2013 (diff | hist) . . (+1) . . Main Page
- 15:44, 14 June 2013 (diff | hist) . . (-7) . . Main Page
- 15:43, 14 June 2013 (diff | hist) . . (-4) . . Main Page
- 15:43, 14 June 2013 (diff | hist) . . (+4) . . Main Page
- 15:42, 14 June 2013 (diff | hist) . . (-2) . . Main Page
- 15:42, 14 June 2013 (diff | hist) . . (-2) . . Main Page
- 15:22, 14 June 2013 (diff | hist) . . (+7) . . Main Page
- 15:22, 14 June 2013 (diff | hist) . . (+47) . . Main Page
- 15:21, 14 June 2013 (diff | hist) . . (-13) . . Main Page
- 08:42, 30 April 2013 (diff | hist) . . (-12) . . AVM 2014
- 08:41, 30 April 2013 (diff | hist) . . (+6) . . AVM 2014
- 08:41, 30 April 2013 (diff | hist) . . (0) . . N File:Avm2014 flyer.pdf (current)
- 08:37, 30 April 2013 (diff | hist) . . (0) . . N File:Avm2014.pdf (current)
- 08:33, 30 April 2013 (diff | hist) . . (-23) . . AVM 2014
- 08:17, 30 April 2013 (diff | hist) . . (0) . . AVM 2014
- 11:58, 29 April 2013 (diff | hist) . . (0) . . N File:Avm2014.key.zip (current)
- 10:31, 29 April 2013 (diff | hist) . . (0) . . Recent publications
- 23:14, 28 April 2013 (diff | hist) . . (+6) . . Recent publications
- 22:48, 28 April 2013 (diff | hist) . . (+15) . . Recent publications
- 22:46, 28 April 2013 (diff | hist) . . (0) . . N File:Cai13.pdf (current)
- 22:44, 28 April 2013 (diff | hist) . . (+40) . . Radu Iosif
- 22:41, 28 April 2013 (diff | hist) . . (-33) . . Lat
- 22:12, 28 April 2013 (diff | hist) . . (-18) . . Radu Iosif
- 22:10, 28 April 2013 (diff | hist) . . (+247) . . Template:Hide sidebar (current)
- 22:10, 28 April 2013 (diff | hist) . . (+18) . . Radu Iosif
- 21:11, 28 April 2013 (diff | hist) . . (-18) . . Radu Iosif
- 21:09, 28 April 2013 (diff | hist) . . (-247) . . Template:Hide sidebar (Blanked the page)
- 21:07, 28 April 2013 (diff | hist) . . (+247) . . N Template:Hide sidebar (Created page with "<css> #column-content {margin: 0 0 .6em 0;} #content {margin: 2.8em 0 0 0;} #p-logo, .generated-sidebar, #p-lang, #p-tb, #p-search { display:none; } #p-cactions { left: .1e...")
- 21:06, 28 April 2013 (diff | hist) . . (+18) . . Radu Iosif
- 20:53, 28 April 2013 (diff | hist) . . (-6) . . Radu Iosif
- 20:52, 28 April 2013 (diff | hist) . . (+1) . . Radu Iosif
- 20:52, 28 April 2013 (diff | hist) . . (-14) . . Radu Iosif
- 20:51, 28 April 2013 (diff | hist) . . (+24) . . Radu Iosif
- 20:50, 28 April 2013 (diff | hist) . . (-1) . . Radu Iosif
- 20:49, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 20:48, 28 April 2013 (diff | hist) . . (0) . . N File:Radu.jpg (current)
- 20:39, 28 April 2013 (diff | hist) . . (0) . . N File:Ase01.pdf (current)
- 20:37, 28 April 2013 (diff | hist) . . (+8) . . Recent publications
- 20:36, 28 April 2013 (diff | hist) . . (0) . . N File:Spin02.pdf (current)
- 20:35, 28 April 2013 (diff | hist) . . (0) . . N File:Fossacs05.pdf (current)
- 20:35, 28 April 2013 (diff | hist) . . (+2) . . Recent publications
- 20:32, 28 April 2013 (diff | hist) . . (0) . . N File:Pepm04.pdf (current)
- 20:31, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 20:31, 28 April 2013 (diff | hist) . . (+70) . . Recent publications
- 20:26, 28 April 2013 (diff | hist) . . (0) . . N File:Sas04.pdf (current)
- 20:21, 28 April 2013 (diff | hist) . . (+42) . . Recent publications
- 20:19, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas06.pdf (current)
- 20:15, 28 April 2013 (diff | hist) . . (+40) . . Recent publications
- 20:15, 28 April 2013 (diff | hist) . . (0) . . N File:Icalp06.pdf (current)
- 20:13, 28 April 2013 (diff | hist) . . (0) . . N File:Cav06.pdf (current)
- 20:10, 28 April 2013 (diff | hist) . . (+108) . . Recent publications
- 20:09, 28 April 2013 (diff | hist) . . (0) . . N File:Vmcai07.pdf (current)
- 20:07, 28 April 2013 (diff | hist) . . (0) . . N File:Atva07.pdf (current)
- 20:06, 28 April 2013 (diff | hist) . . (0) . . N File:Lpar08.pdf (current)
- 20:04, 28 April 2013 (diff | hist) . . (0) . . N File:Fossacs08.pdf (current)
- 20:01, 28 April 2013 (diff | hist) . . (0) . . N File:Ijcar2008.pdf (current)
- 19:57, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 19:57, 28 April 2013 (diff | hist) . . (0) . . N File:Ciaa09.pdf (current)
- 19:52, 28 April 2013 (diff | hist) . . (+21) . . Recent publications
- 19:51, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas09.pdf (current)
- 19:50, 28 April 2013 (diff | hist) . . (+19) . . Recent publications
- 19:49, 28 April 2013 (diff | hist) . . (0) . . N File:Cav09.pdf (current)
- 19:46, 28 April 2013 (diff | hist) . . (-1) . . Recent publications
- 19:46, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 19:45, 28 April 2013 (diff | hist) . . (0) . . File:Cav10.pdf (Radu iosif uploaded a new version of "File:Cav10.pdf") (current)
- 19:39, 28 April 2013 (diff | hist) . . (-1) . . Recent publications
- 19:39, 28 April 2013 (diff | hist) . . (+22) . . Recent publications
- 19:38, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas12.pdf (current)
- 19:26, 28 April 2013 (diff | hist) . . (+9) . . Recent publications
- 19:26, 28 April 2013 (diff | hist) . . (+10) . . Recent publications
- 19:26, 28 April 2013 (diff | hist) . . (0) . . File:Fm12.pdf (Radu iosif uploaded a new version of "File:Fm12.pdf") (current)
- 19:25, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 19:24, 28 April 2013 (diff | hist) . . (0) . . N File:Atva12.pdf (current)
- 19:19, 28 April 2013 (diff | hist) . . (+21) . . Recent publications
- 19:18, 28 April 2013 (diff | hist) . . (0) . . N File:Tacas13.pdf (current)
- 19:09, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 19:09, 28 April 2013 (diff | hist) . . (+19) . . Recent publications
- 19:08, 28 April 2013 (diff | hist) . . (0) . . N File:Cade13.pdf (current)
- 19:05, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 18:57, 28 April 2013 (diff | hist) . . (+17) . . Recent publications
- 18:57, 28 April 2013 (diff | hist) . . (0) . . N File:JSS.pdf (current)
- 18:54, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 18:53, 28 April 2013 (diff | hist) . . (-115) . . Recent publications
- 18:52, 28 April 2013 (diff | hist) . . (+4) . . Recent publications
- 18:50, 28 April 2013 (diff | hist) . . (0) . . N File:Fmsd05.pdf (current)
- 18:42, 28 April 2013 (diff | hist) . . (+36) . . Recent publications
- 18:41, 28 April 2013 (diff | hist) . . (0) . . N File:Sttt.pdf (current)
- 18:32, 28 April 2013 (diff | hist) . . (+50) . . Recent publications
- 18:31, 28 April 2013 (diff | hist) . . (0) . . N File:Fundamenta09.pdf (current)
- 18:30, 28 April 2013 (diff | hist) . . (+55) . . Recent publications
- 18:30, 28 April 2013 (diff | hist) . . (0) . . N File:Redblackjournal09.pdf (current)
- 18:28, 28 April 2013 (diff | hist) . . (+45) . . Recent publications
- 18:28, 28 April 2013 (diff | hist) . . (0) . . N File:Qsl-jar.pdf (current)
- 18:25, 28 April 2013 (diff | hist) . . (+24) . . Recent publications
- 18:24, 28 April 2013 (diff | hist) . . (0) . . Recent publications
- 18:24, 28 April 2013 (diff | hist) . . (+5) . . Recent publications
- 18:24, 28 April 2013 (diff | hist) . . (-5) . . Recent publications
- 18:23, 28 April 2013 (diff | hist) . . (+20) . . Recent publications
- 18:23, 28 April 2013 (diff | hist) . . (0) . . N File:Fmsd10.pdf (current)
- 18:01, 28 April 2013 (diff | hist) . . (+15) . . AVM 2014
- 18:00, 28 April 2013 (diff | hist) . . (+2) . . Recent publications
- 17:59, 28 April 2013 (diff | hist) . . (+21) . . Recent publications
- 17:55, 28 April 2013 (diff | hist) . . (+128) . . Radu Iosif
- 17:51, 28 April 2013 (diff | hist) . . (0) . . Radu Iosif
- 17:51, 28 April 2013 (diff | hist) . . (+2) . . Radu Iosif
- 17:51, 28 April 2013 (diff | hist) . . (+7) . . Radu Iosif
- 17:51, 28 April 2013 (diff | hist) . . (+12) . . Radu Iosif
- 17:50, 28 April 2013 (diff | hist) . . (+259) . . Software
- 17:47, 28 April 2013 (diff | hist) . . (+10) . . Software
- 17:18, 28 April 2013 (diff | hist) . . (+477) . . N Software (Created page with "* FLATA a tool for the analysis of counter automata * ARTMC a tool for the verification of programs with complex pointer structures * L2CA converts programs with lists into co...")
- 17:16, 28 April 2013 (diff | hist) . . (+1,824) . . Recent publications
- 17:06, 28 April 2013 (diff | hist) . . (0) . . File:Newspapers-stacked.jpg (Radu iosif uploaded a new version of "File:Newspapers-stacked.jpg") (current)
- 17:05, 28 April 2013 (diff | hist) . . (-6) . . Recent publications
- 17:04, 28 April 2013 (diff | hist) . . (+6) . . Recent publications
- 16:19, 28 April 2013 (diff | hist) . . (-139) . . Recent publications
- 16:12, 28 April 2013 (diff | hist) . . (+4) . . Recent publications
- 16:07, 28 April 2013 (diff | hist) . . (+517) . . Recent publications
- 15:59, 28 April 2013 (diff | hist) . . (+120) . . Recent publications
- 15:56, 28 April 2013 (diff | hist) . . (+121) . . Recent publications
- 15:53, 28 April 2013 (diff | hist) . . (+188) . . Recent publications
- 15:49, 28 April 2013 (diff | hist) . . (+1,160) . . Recent publications
- 15:47, 28 April 2013 (diff | hist) . . (+99) . . N Recent publications (Created page with "right ==== Pending ==== ==== Journals ==== ==== Conferences ====")
- 15:47, 28 April 2013 (diff | hist) . . (0) . . N File:Newspapers-stacked.jpg
- 15:43, 28 April 2013 (diff | hist) . . (-20) . . Radu Iosif
- 15:40, 28 April 2013 (diff | hist) . . (+15) . . Radu Iosif
- 15:40, 28 April 2013 (diff | hist) . . (+9) . . Radu Iosif
- 15:40, 28 April 2013 (diff | hist) . . (+6) . . Radu Iosif
- 15:39, 28 April 2013 (diff | hist) . . (+4) . . Radu Iosif
- 15:38, 28 April 2013 (diff | hist) . . (-1) . . Radu Iosif
- 15:38, 28 April 2013 (diff | hist) . . (+143) . . Radu Iosif
- 15:37, 28 April 2013 (diff | hist) . . (0) . . Radu Iosif
- 15:36, 28 April 2013 (diff | hist) . . (+1) . . Radu Iosif
- 15:36, 28 April 2013 (diff | hist) . . (+55) . . Radu Iosif
- 15:35, 28 April 2013 (diff | hist) . . (0) . . Radu Iosif
- 15:35, 28 April 2013 (diff | hist) . . (+30) . . Radu Iosif
- 15:32, 28 April 2013 (diff | hist) . . (+431) . . Radu Iosif
- 15:26, 28 April 2013 (diff | hist) . . (+8) . . Radu Iosif
- 15:26, 28 April 2013 (diff | hist) . . (-24) . . Radu Iosif
- 15:18, 28 April 2013 (diff | hist) . . (+86) . . Radu Iosif
- 15:16, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 15:15, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 15:15, 28 April 2013 (diff | hist) . . (-2) . . Radu Iosif
- 15:15, 28 April 2013 (diff | hist) . . (+6) . . Radu Iosif
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)