User contributions for Ohad
From WG 2.11
Jump to navigationJump to search
13 October 2026
- 07:5807:58, 13 October 2026 diff hist +374 WG211/M26Kammar No edit summary current Tag: Visual edit: Switched
- 07:5307:53, 13 October 2026 diff hist +80 WG211/M26Schedule →Talks
- 07:5207:52, 13 October 2026 diff hist +16 WG211/M26Schedule →Talks Tag: Visual edit: Switched
- 07:5207:52, 13 October 2026 diff hist +141 N WG211/M26Kammar Created page with "'''Modular construction of sound-and-complete simplifiers for varieties of semi-rings''' ''Ohad Kammar'', joint work with ''Amaury Mazoyer''"
12 October 2026
29 September 2026
- 06:3606:36, 29 September 2026 diff hist +101 WG211/M26Schedule →Talks: Add Ohad Kammar's talk title
13 June 2026
- 08:3608:36, 13 June 2026 diff hist +14 m WG211/M26Schedule →Members attending Tag: Visual edit: Switched
1 December 2025
9 November 2025
- 17:0517:05, 9 November 2025 diff hist +14 m WG211/M25Schedule →Group excursion Tag: Visual edit: Switched
6 December 2024
- 09:3409:34, 6 December 2024 diff hist −1,332 WG211/M24McKinna Correct James McKinna's abstract current
5 December 2024
- 16:2316:23, 5 December 2024 diff hist +250 WG211/M24Schedule →Thursday pre-dinner activities current
- 09:5809:58, 5 December 2024 diff hist +1,429 N WG211/M24McKinna Add James McKinna's abstract
- 09:5709:57, 5 December 2024 diff hist +116 WG211/M24Schedule →Talks: add james mckinna's talk to the talks list
3 December 2024
- 14:2614:26, 3 December 2024 diff hist +644 N WG211M24Lindley Sam Lindley's abstract current
- 14:2514:25, 3 December 2024 diff hist +1,397 N WG211M24Shaikhha Amir's abstract current
2 December 2024
30 November 2024
- 20:0120:01, 30 November 2024 diff hist +31 WG211/M24Schedule →Scientific program
- 04:0404:04, 30 November 2024 diff hist 0 WG211/M24Schedule →Scientific program
29 November 2024
- 21:0821:08, 29 November 2024 diff hist 0 WG211/M24Schedule →Excursion
- 21:0721:07, 29 November 2024 diff hist +1 WG211/M24Schedule →Excursion
- 21:0621:06, 29 November 2024 diff hist −139 WG211/M24Schedule →December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK
- 21:0521:05, 29 November 2024 diff hist +2,680 WG211/M24Schedule →Social events
- 14:4014:40, 29 November 2024 diff hist +92 WG211/M24Schedule →Weather
- 14:2614:26, 29 November 2024 diff hist +139 WG211/M24Schedule →Scientific program
- 14:2014:20, 29 November 2024 diff hist +6 m WG211/M24Schedule →Scientific program
- 14:1914:19, 29 November 2024 diff hist +14 WG211/M24Schedule →Scientific program
- 14:1914:19, 29 November 2024 diff hist +252 WG211/M24Schedule →Scientific program
- 08:5308:53, 29 November 2024 diff hist +57 WG211/M24Schedule →Local Observers: Add remainder of observers
28 November 2024
- 20:2720:27, 28 November 2024 diff hist +73 WG211/M24Schedule →Talks: add ohads talk
26 November 2024
- 14:4114:41, 26 November 2024 diff hist −1 m WG211/M24Schedule No edit summary
- 14:3714:37, 26 November 2024 diff hist +16 WG211/M24Schedule →Local Observers: Add Robert Wright as local observer
21 November 2024
20 November 2024
- 19:5119:51, 20 November 2024 diff hist +12 WG211/M24Schedule →Accommodation
- 19:2719:27, 20 November 2024 diff hist +655 WG211/M24Schedule →Registration: Include registration details
- 17:0617:06, 20 November 2024 diff hist +49 WG211/M24Schedule →Talks: add links for local participants
- 17:0517:05, 20 November 2024 diff hist +100 WG211/M24Schedule →Talks
- 17:0317:03, 20 November 2024 diff hist +46 WG211/M24Schedule →Attendance: Add local participants
31 October 2024
- 04:2804:28, 31 October 2024 diff hist +7 m WG211/M24Schedule →WiFi Access
- 04:2704:27, 31 October 2024 diff hist +58 m WG211/M24Schedule →WiFi Access
- 04:2604:26, 31 October 2024 diff hist +596 WG211/M24Schedule →WiFi Access
30 October 2024
- 17:0017:00, 30 October 2024 diff hist +4 WG211/M24Schedule →Accommodation
- 16:5916:59, 30 October 2024 diff hist +136 WG211/M24Schedule No edit summary
- 08:2608:26, 30 October 2024 diff hist +572 WG211/M24Schedule →Accommodation
- 08:2508:25, 30 October 2024 diff hist −584 WG211/M24Schedule →December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK
- 08:2408:24, 30 October 2024 diff hist +583 WG211/M24Schedule →December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK
27 September 2024
- 17:4017:40, 27 September 2024 diff hist +1 m WG211/M24Schedule →Tourism
- 17:3117:31, 27 September 2024 diff hist +2,253 WG211/M24Schedule Add TBD sections
- 08:4408:44, 27 September 2024 diff hist +58 m WG211/M24Schedule →Tourism
26 September 2024
- 20:2620:26, 26 September 2024 diff hist +42 m WG211/M24Schedule →Weather
- 20:2020:20, 26 September 2024 diff hist −2 m WG211/M24Schedule →Weather
