KindSoft http://kindsoftware.com/ KindSoftware: Software Engineering with Applied Formal Methods Emacs 23.1.1 en Mon, 02 Jan 2012 12:00:00 GMT Mon, 02 Jan 2012 12:00:00 GMT Joe Kiniry is on the Program Committee of TCS 2012. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Kiniry-PC-TCS-2012 Joe Kiniry is on the Program Committee of GAS 2012. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Kiniry-PC-GAS-2012 Joe Kiniry has become a become a member of IFIP working group 1.9/2.15 on Verified Software. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Kiniry-IFIP-Verified-Software Joe Kiniry is on the Program Committee of SEFM 2012. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Kiniry-PC-SEFM-2012 Joe Kiniry gave a guest lecture entitled DOSE/GSD Concretized: Distributed Outsourced Software Engineering/Global Software Development: Case Studies, Lessons Learned, Best Practices, at ETHZ. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT DOSE-GSD-ETHZ Joe Kiniry gave an invited talk entitled Democracy as a Critical System at ETHZ. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Democracy-ETHZ Joe Kiniry gave an invited talk entitled Democracy as a Critical System at DTU. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Democracy-DTU Around fifteen BSc and MSc project/thesis descriptions have been posted to the proposals page, primarily for ITU students. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT ITU-BSc-MSc-projects-Q4-2011 Joe Kiniry is on the Program Committee of ICECCS 2012. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Kiniry-PC-ICECCS-2012 Joe Kiniry is on the Program Committee of FoVeOSS 2011. http://kindsoftware.com/documents/news/2011.html Mon, 02 Jan 2012 12:00:00 GMT Kiniry-PC-FoVeOSS-2011 Joe Kiniry gave an invited talk entitled Democracy as a Critical System to the Department of Computer Science in the University of Aarhus. http://kindsoftware.com/documents/news/2011.html Wed, 06 Apr 2011 12:00:00 GMT Democracy-Aarhus Several postdoc and PhD student positions will be available later this year. http://kindsoftware.com/documents/news/2011.html Tue, 01 Mar 2011 12:00:00 GMT 2011-posts A paper "Verified Gaming" by Joe, Dan, and Fintan has been accepted to GAS 2011. http://kindsoftware.com/documents/news/2011.html Tue, 01 Mar 2011 12:00:00 GMT A paper "Achieving Instant Gradeification" by Dan, Joe, and Fintan has been accepted to CSEE&T 2011. http://kindsoftware.com/documents/news/2011.html Tue, 01 Mar 2011 12:00:00 GMT The Danish Council for Strategic Research by the Programme Commission on Strategic Growth Technologies has agreed to fund the DemTech project, in which Joe Kiniry is a principle investigator. http://kindsoftware.com/documents/news/2010.html Wed, 23 Feb 2011 12:00:00 GMT DemTech A paper on verified visualization of textual modeling languages by Fintan and Joe was accepted to the OCL and Textual Modelling workshop at MODELS 2010. http://kindsoftware.com/documents/news/2010.html Wed, 27 Oct 2010 12:00:00 GMT OCL-2010 Joe Kiniry is on the Program Committee of CBSE 2011. http://kindsoftware.com/documents/news/2010.html Mon, 18 Oct 2010 12:00:00 GMT Kiniry-PC-CBSE-2011 Joe Kiniry gave a talk about some of his past work in gaming to the Center for Computer Games Research at ITU. http://kindsoftware.com/documents/news/2010.html Mon, 18 Oct 2010 12:00:00 GMT DALi-ITU-talk Joe Kiniry gave an invited talk to the Dusseldorf Java User's Group. http://kindsoftware.com/documents/news/2010.html Mon, 18 Oct 2010 12:00:00 GMT rheinjug-DBC-talk Joe Kiniry gave one of the keynote talks at AVOCS 2010. http://kindsoftware.com/documents/news/2010.html Mon, 18 Oct 2010 12:00:00 GMT AVOCS10-talk Radu Grigore has successfully defended his PhD dissertation "The Design and Algorithms of a Verification Condition Generator." http://kindsoftware.com/documents/news/2010.html Mon, 23 Aug 2010 12:00:00 GMT Grigore-PhD-viva Fintan Fairmichael and Dan Zimmerman visited us for one month. http://kindsoftware.com/documents/news/2010.html Mon, 23 Aug 2010 12:00:00 GMT Summer-2010-visitors Joe Kiniry is on the editorial board of the Journal of Object Technology (JOT). http://kindsoftware.com/documents/news/2010.html Tue, 17 Aug 2010 12:00:00 GMT Kiniry-JOT Joe Kiniry is on the Program Committee of SEFM 2011. http://kindsoftware.com/documents/news/2010.html Tue, 10 Aug 2010 12:00:00 GMT Kiniry-PC-SEFM-2011 A paper on combining agile approaches and formal methods by Vieri, Dragan, and Joe was accepted to AM+FM '10. http://kindsoftware.com/documents/news/2010.html Mon, 9 Aug 2010 12:00:00 GMT AM+FM-2010 A paper on Votail by Dermot and Joe was accepted to FoVeOSS '10. http://kindsoftware.com/documents/news/2010.html Mon, 9 Aug 2010 12:00:00 GMT FoVeOSS-2010 Mikolas Janota has successfully defended his PhD dissertation "SAT Solving in Interactive Configuration." http://kindsoftware.com/documents/news/2010.html Fri, 28 May 2010 17:00:00 GMT Janota-PhD-viva JavaFE version 2.0.11 is now available. http://kindsoftware.com/documents/news/2010.html Mon, 26 Apr 2010 12:00:00 GMT JavaFE-2.0.11 Mikolas Janota has submitted his PhD dissertation "SAT Solving in Interactive Configuration." http://kindsoftware.com/documents/news/2010.html Wed, 21 Apr 2010 12:00:00 GMT Janota-PhD Radu Grigore has submitted his PhD dissertation "The Design and Algorithms of a Verification Condition Generator." http://kindsoftware.com/documents/news/2010.html Wed, 21 Apr 2010 12:00:00 GMT Grigore-PhD Joe Kiniry is on the Program Committee of FoVeOOS 2010. http://kindsoftware.com/documents/news/2010.html Wed, 21 Apr 2010 12:00:00 GMT Kiniry-PC-FoVeOOS-2010 Joe Kiniry has started an Associate Professor position at IT University of Copenhagen (ITU). http://kindsoftware.com/about/people/jrk.html Wed, 21 Apr 2010 12:00:00 GMT ITU-start Joe Kiniry is on the Program Committee of CBSE 2010 and PMMPS 2010. http://kindsoftware.com/documents/news/2009.html Wed, 23 Dec 2009 12:07:00 GMT Kiniry-PC-CBSE-PMMPS-2010 Joe Kiniry has accepted an Associate Professor position at IT University of Copenhagen (ITU). http://kindsoftware.com/about/people/jrk.html Mon, 2 Nov 2009 15:07:00 GMT ITU A paper on configuration processes by Mikoláš Janota et al. was accepted to SOFSEM '10. http://kindsoftware.com/documents/published Sun, 11 Oct 2009 15:07:00 GMT SOFSEM10 Eight new MSc students have joined the group. http://kindsoftware.com/about/people/ Thu, 27 Aug 2009 15:07:00 GMT MSc09 Joe Kiniry is on the Program Committee of ICECCS 2010. http://kindsoftware.com/documents/news/2009.html Tues, 25 Aug 2009 17:20:00 GMT Kiniry-PC-ICECCS2010 A paper, "A Verification-centric Software Development Process for Java," by Joe Kiniry and Dan Zimmerman> is being presented by Dan in Korea at QSIC 2009. http://kindsoftware.com/documents/news/2009.html Mon, 10 Aug 2009 09:38:00 GMT Janota-STTI09 Mikoláš Janota presented the command line library CLOPS at DSL WC. http://kindsoftware.com/documents/news/2009.html Thu, 23 Jul 2009 14:00:00 GMT Janota-DSLWC09 Mikoláš Janota was invited to give a talk at a Czecho-Slovakian conference on current trends in theoretical computer science and wrote a blogpost about it. http://kindsoftware.com/documents/news/2009.html Sun, 14 Jun 2009 21:30:00 GMT Janota-STTI09 Joe Kiniry is on the Program Committee of VSTTE 2010, RE-VOTE 2009, and SAVCBS 2009. http://kindsoftware.com/documents/news/2009.html Fri, 15 May 2009 21:55:00 GMT Kiniry-PCs-May Joe Kiniry was invited to participate in four Schloss Dagstuhl seminars this year, and is co-running one of his own. http://kindsoftware.com/documents/news/2009.html Fri, 15 May 2009 21:55:00 GMT Kiniry-Dagstuhls "CLOPS: A DSL for Command Line Options" was accepted to DSL WC. http://kindsoftware.com/documents/published/ Tue, 14 Apr 2009 00:00:00 GMT CLOPS-accepted-announce Postdoc position soon open. http://kindsoftware.com/about/positions/ Tue, 23 Dec 2008 13:09:00 GMT CHARTER-postdoc-pre-announce Final release of ESC/Java2. http://kindsoftware.com/products/opensource/ESCJava2 Tue, 2 Dec 2008 18:50:00 GMT ESCJava2-release Joe Kiniry is on the Program Committee of CBSE 2009. http://kindsoftware.com/documents/news/2008.html Mon, 1 Dec 2008 18:50:00 GMT CBSE09 Mikoláš Janota gave a presentation on interactive model construction at MODELS 2008. http://kindsoftware.com/documents/news/2008.html Sun, 12 Sep 2008 20:00:00 GMT MODELS08-talk A configurator using a SAT solver is available for download. /products/opensource/Config Sun, 12 Sep 2008 19:55:00 GMT Config-release Mikoláš Janota gave a talk on the use of a SAT solver in configuration at ASPL '08. http://kindsoftware.com/documents/news/2008.html Sun, 12 Sep 2008 19:50:00 GMT ASPS08-talk Joe Kiniry is on the Program Committee of TOOLS 2009. http://kindsoftware.com/documents/news/2008.html Wed, 1 Oct 2008 15:55:00 GMT TOOLS09 Joe Kiniry is co-chair of the VSTTE 2008 workshop 'VS-EXPERIMENTS: Experiments in Verified Software.' http://kindsoftware.com/documents/news/2008.html Mon, 18 Aug 2008 09:45:00 GMT VS-EXPERIMENTS08 Mikoláš Janota visited his collaborator Andrzej Wąsowski at the IT University of Copenhagen. http://kindsoftware.com/documents/news/2008.html Sun, 17 Aug 2008 13:00:00 GMT ITU-visit Joe Kiniry is giving a course entitled 'Verification-centric Software Engineering' at the GLOBAN Summer School in September 2008. http://kindsoftware.com/documents/news/2008.html Mon, 11 Aug 2008 13:00:00 GMT GLOBAN08 Mikoláš Janota's paper 'Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax' has been accepted to MODELS 2008. http://kindsoftware.com/documents/news/2008.html Mon, 11 Aug 2008 12:00:00 GMT MODELS08 Mikoláš Janota's paper 'Do SAT Solvers Make Good Configurators?' has been accepted to ASPL 2008. http://kindsoftware.com/documents/news/2008.html Mon, 11 Aug 2008 13:00:00 GMT ASPL08 Joe Kiniry has been nominated as the Chair of Working Group #4: "Tool Integration" of the COST Program Action IC0701 "Formal Verification of Object-Oriented Software." He also sits on the Management Committee as he formally represents Ireland within the Action. http://kindsoftware.com/documents/news/2008.html 11 Jun 2008 COST08 Joe Kiniry is on the Program Committee of SLE 2008. http://kindsoftware.com/documents/news/2008.html 10 Jun 2008 SLE08 Joe Kiniry gave a talk this week on 'The Mobius Program Verification Environment' at Formal Methods 2008. http://kindsoftware.com/documents/news/2008.html 03 Jun 2008 PVE-talk08 Joe Kiniry and Dan Zimmerman are giving a talk this week on their FM'08 paper 'Secret Ninja Formal Methods' at Formal Methods 2008. http://kindsoftware.com/documents/news/2008.html 27 May 2008 FM08-talk Joe Kiniry is giving a talk this week on 'Verified Gaming' at the GC6 Workshop on Pilot Projects for the Grand Challenge in Verified Software at Formal Methods 2008. http://kindsoftware.com/documents/news/2008.html 27 May 2008 VerifiedGaming Our two open senior positions are now listed on the UCD HR website. http://kindsoftware.com/about/positions/ 14 May 2008 sensetile-positions Our ETAPS 2008 tutorial 'Verification-centric Development in Java with JML and ESC/Java2' was a big success. http://kindsoftware.com/documents/news/2008.html 30 Mar 2008 ETAPS08 Mikoláš Janota presented a paper Formal Approach to Integrating Feature and Architecture Models, written with Goetz Botterweck, at FASE'08. http://kindsoftware.com/documents/news/2008.html 08 May 2008 FASE08 We have one open position for a Ph.D. student and two open positions for research software and hardware engineers. http://kindsoftware.com/about/positions/index.html 20 Feb 2008 positions Joseph Kiniry and Daniel Zimmerman's paper 'Secret Ninja Formal Methods' has been accepted to the 15th International Symposium on Formal Methods (FM 2008). http://kindsoftware.com/documents/news/2008.html 28 Feb 2008 FM08 Joe Kiniry was an invited speaker at the British Computer Society-FACS Town Hall meeting at the BCS offices in London. His talk was titled 'Program Verification for the Masses.' http://kindsoftware.com/documents/news/2008.html 04 Feb 2008 FACS08 Joe Kiniry is on the Program Committee of several workshops and conferences http://kindsoftware.com/documents/news/2008.html 2 Feb 2008 ictac08 Our ETAPS 2008 tutorial 'Verification-centric Development in Java with JML and ESC/Java2' has been scheduled for 30 March 2008. http://kindsoftware.com/documents/tutorials/etaps08.html 23 Jan 2008 etaps08 ESC/Java 2.0 b4 has been released http://kindsoftware.com/products/opensource/ESCJava2/ 16 Jan 2008 escjava-20-b4 Joe Kiniry is on the Program Committee of CBSE 2007 http://kindsoftware.com/documents/news/2007.html 14 Dec 2007 cbse-2007 KOA Remote Voting System http://kindsoftware.com/products/opensource/KOA/ Mon, 10 Dec 2007 16:43:36 +0000 koa-remote-voting-system Open Source Software http://kindsoftware.com/products/opensource/ Mon, 10 Dec 2007 16:42:55 +0000 open-source-software Published Papers http://kindsoftware.com/documents/published/ Mon, 10 Dec 2007 16:42:23 +0000 published-papers Javafe 2.0.6 released http://kindsoftware.com/products/opensource/JavaFE/ Mon, 10 Dec 2007 12:20:25 +0000 javafe-206-released Recent News http://kindsoftware.com/documents/news Mon, 10 Dec 2007 12:06:36 +0000 recent-news