[04:45:49] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Remote host closed the connection) [09:05:28] *** Quits: esg (~emil@esg.xen.prgmr.com) (Remote host closed the connection) [09:14:30] *** Quits: proteusguy (~proteus-g@2405:9800:bc10:1ca:acb1:27dd:1875:4bcc) (Remote host closed the connection) [09:38:32] *** Joins: proteusguy (~proteus-g@61-91-169-98.static.asianet.co.th) [10:52:56] *** Quits: proteusguy (~proteus-g@61-91-169-98.static.asianet.co.th) (Remote host closed the connection) [10:56:10] freeside: I got the paper [11:07:35] also I just got his thesis! \o/ [11:07:39] it came out of print on friday [11:10:23] *** Joins: proteusguy (~proteus-g@180.183.121.36) [11:22:33] *** Quits: stoopkid__ (uid137696@gateway/web/irccloud.com/x-kidtozwqryfvdvoe) (Quit: Connection closed for inactivity) [12:59:01] *** Joins: koom (~sirdancea@109.107.211.244) [14:19:44] *** Quits: proteusguy (~proteus-g@180.183.121.36) (Remote host closed the connection) [14:45:50] *** Joins: stoopkid__ (uid137696@gateway/web/irccloud.com/x-tixrutqszlctrypc) [14:48:07] *** Joins: proteusguy (~proteus-g@2405:9800:bc10:1ca:6194:7d6f:75f1:d62c) [17:13:31] thanks for the paper! [17:13:40] where can i find the thesis? [17:17:11] I got a paper copy this morning [17:17:31] let's see [17:18:03] it will likely appear here soon https://gupea.ub.gu.se/browse?type=author&value=Camilleri%2C+John+J. [17:19:48] the thesis is a collection of 6 papers: the 4 that were in the lic, and the one I just gave you, and Extracting formal models from normative texts [17:20:02] and an introduction, which shouldn't be extremely new stuff to you guys [17:28:51] groovy [17:29:00] eggcellent, thank you [19:53:36] *** Quits: koom (~sirdancea@109.107.211.244) (Remote host closed the connection)