[02:18:45] *** Quits: proteusguy (~proteus-g@2405:9800:bc10:1ca:acb1:27dd:1875:4bcc) (Ping timeout: 255 seconds) [07:30:32] *** Quits: stoopkid__ (uid137696@gateway/web/irccloud.com/x-jjjhuoezxqtqcpto) (Quit: Connection closed for inactivity) [08:18:01] *** Joins: proteusguy (~proteus-g@2405:9800:bc10:1ca:acb1:27dd:1875:4bcc) [13:43:56] *** Joins: stoopkid__ (uid137696@gateway/web/irccloud.com/x-kidtozwqryfvdvoe) [22:43:18] inariksit: i am trying to get my hands on a paper, with the title "A Domain-Specific Language for Normative Texts with Timing Constraints" [22:43:29] do you happen to know anyone who might have a copy lying around? :) [22:54:10] freeside: that's john's paper, so sure! :-D [22:54:17] is there no pdf online? [22:55:10] I can check tomorrow if I can download it from university network [22:55:24] and if not, I'll just ping jstar on google hangouts or something :-P [23:22:15] i would be grateful :) [23:23:00] the internet does not have it, sadly [23:25:57] okay, I'll ask john tomorrow! [23:26:15] which for you could still be tonight, depending how early I get up [23:27:05] :) [23:27:28] oh, i think i am in a UK time zone right now [23:27:53] the coins in my pocket seem to say "pence" so i must be [23:36:51] aha okay! are you in europe until you come to gothenburg? [23:37:18] in that case I hope you're not still up when I get the answer :-D [23:50:03] affirmative. no worries, it is not urgent [23:50:08] we are reading all of his papers, that's all [23:50:18] is the PhD dissertation available? [23:50:27] not sure if yet [23:50:51] http://www.cse.chalmers.se/~cajohn/ this seems to be fairly up to date, so seems that not yet [23:50:59] it should be in print now