[ontoiop-forum] OntoIOp teleconference (n.73): Mon 2015.02.09

[Till Mossakowski]

P.S.

here a slightly corrected version, where the types of the annotations
have been corrected.

Best, Till

Am 08.02.2015 22:31, schrieb Till Mossakowski:
> Dear all,
>
> on Monday we have the biweekly OntoIOp telcon.
>
> The topics are:
> - recent news on the semantics of UML class diagrams and fUML. See p.94
> ff. of the attached
> document (also available at https://github.com/tillmo/DOL ), where a
> second version of the translation of UML class diagrams to Common Logic
> is given (updated according to the discussions at the 72th meeting).
> fUML is mentioned, see http://www.omg.org/spec/FUML/1.1/
> Moreover, reference [49] is available at
> http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf
> - revision of the submission
>
> All the best,
> Till
>
>
> = OntoIOp team-confcall (n.73) - Mon 2015.02.09 =
> * start-time: 8:00am PST / 11:00
> pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC
> ** ref. world clock -
> http://www.timeanddate.com/worldclock/fixedtime.html?month=2&day=9&year=2015&hour=8&min=0&sec=0&p1=224
> * Duration: 1~1.5 Hrs.
> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150209
>
>
> Remarks:
>
> * the session may be recorded for archival purposes. Unless
> otherwise documented, participants agrees to this by virtue of
> their participation at the session.
>
> *  In case we have to mute everyone (due to extraneous noise or echo)
> - Mute control: *7 to un-mute ... *6 to mute
>
> Dial-in:
> * Phone (US): +1 (206) 402-0100
> ...  when prompted enter Conference ID: 843758#
> * Skype: "join.conference"
> ...  when prompted enter Conference ID: 843758#
> ** in case your skype connection to "joinconference" is not holding
> up, try using (your favorite POTS or VoIP line, etc.) either your
> phone, skype-out or google-voice  and
> call the US dial-in number: +1 (425) 440-5100
> ... when prompted enter Conference ID: 843758#
> ** some local numbers may be available (in the US, Australia, Canada &
> UK) - see: http://instantteleseminar.com/Local/
> ** for Windows Skype users: Can't find Skype Dial pad? ... it may be
> under the "Call" dropdown menu as "Show Dial pad"
> **  for Linux Skype users: if the dialpad button is not shown in the
> call window you need to press the "d" hotkey to enable it. (--CLange)
>
>
> Talk to you all then!
>
>
>
>
>
>
>
>
>
>
>
>
>
> _________________________________________________________________
> To Post: mailto:ontoiop-forum at ovgu.de
> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
> Community Wiki: http://ontoiop.org
>
>
>
> _________________________________________________________________
> To Post: mailto:ontoiop-forum at ovgu.de
> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
> Community Wiki: http://ontoiop.org

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20150208/9be2c32d/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ebnf-OMG_OntoIOp_current.pdf
Type: application/pdf
Size: 1648416 bytes
Desc: not available
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20150208/9be2c32d/attachment-0001.pdf>