On Jul 2, 2010, at 10:39 AM, ext Antonio Cano Gómez wrote: > Hi, > > I am trying to develop extensions to the Qt State Machine Framework. Mainly > on its conexions with formal logic and model checking. > > Please could someone if I could do it somewhere closer to Qt community and > how to contact people with the same interest?
Join [email protected], our Qt irc channel at irc://irc.freenode.org/#qt-labs, and have a look at http://qt.gitorious.org/qt/pages/QtContributionGuidelines Best regards, -- Eike Ziller Software Engineer Nokia, Qt Development Frameworks Nokia gate5 GmbH Firmensitz: Invalidenstr. 117, 10115 Berlin, Germany Registergericht: Amtsgericht Charlottenburg, Berlin: HRB 106443 B Umsatzsteueridentifikationsnummer: DE 812 845 193 Geschäftsführer: Dr. Michael Halbherr, Karim Tähtivuori _______________________________________________ Qt-creator mailing list [email protected] http://lists.trolltech.com/mailman/listinfo/qt-creator
