http://www.crypticcode.ca/jan.gorzny Blogging about topics relating to formal methods, computer science, and academia. Sun, 21 Apr 2013 20:51:17 +0000 en hourly 1 http://wordpress.org/?v=3.3.1 http://www.crypticcode.ca/jan.gorzny/2012/01/resolutions/ http://www.crypticcode.ca/jan.gorzny/2012/01/resolutions/#comments Sun, 01 Jan 2012 22:55:08 +0000 Jan http://www.crypticcode.ca/jan.gorzny/?p=219 http://www.crypticcode.ca/jan.gorzny/2012/01/resolutions/feed/ 0 http://www.crypticcode.ca/jan.gorzny/2011/05/defining-a-model/ http://www.crypticcode.ca/jan.gorzny/2011/05/defining-a-model/#comments Wed, 25 May 2011 18:39:00 +0000 Jan http://www.crypticcode.ca/jan.gorzny/?p=141 http://www.crypticcode.ca/jan.gorzny/2011/05/defining-a-model/feed/ 0 http://www.crypticcode.ca/jan.gorzny/2011/05/nserc-usra-advice/ http://www.crypticcode.ca/jan.gorzny/2011/05/nserc-usra-advice/#comments Wed, 18 May 2011 23:01:54 +0000 Jan http://www.crypticcode.ca/jan.gorzny/?p=131 http://www.crypticcode.ca/jan.gorzny/2011/05/nserc-usra-advice/feed/ 0 http://www.crypticcode.ca/jan.gorzny/2011/05/an-introduction-to-modelling-notations-in-model-based-software-engineering-alloy-statecharts/ http://www.crypticcode.ca/jan.gorzny/2011/05/an-introduction-to-modelling-notations-in-model-based-software-engineering-alloy-statecharts/#comments Wed, 18 May 2011 03:07:12 +0000 Jan http://www.crypticcode.ca/jan.gorzny/?p=121 http://www.crypticcode.ca/jan.gorzny/2011/05/an-introduction-to-modelling-notations-in-model-based-software-engineering-alloy-statecharts/feed/ 0 http://www.crypticcode.ca/jan.gorzny/2010/07/new-site/ http://www.crypticcode.ca/jan.gorzny/2010/07/new-site/#comments Wed, 14 Jul 2010 01:17:25 +0000 Jan http://www.crypticcode.ca/jan.gorzny/?p=63 http://www.crypticcode.ca/jan.gorzny/2010/07/new-site/feed/ 0