Serge Autexier
Serge Autexier
Unregistered User
Groups: Anyone
Posts in w3.org
1234
Show   Total: 80 items
Date Subject Count Location
CICM 2016, Call for Work-In-Progress Papers & Submissions to the Doctoral Programme, 20. May 0 replies w3.org - www-rdf-rules
Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016) 0 replies w3.org - www-rdf-rules
Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016) 0 replies w3.org - www-math
Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th 0 replies w3.org - www-rdf-rules
Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th 0 replies w3.org - www-math
Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 0 replies w3.org - www-math
Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 0 replies w3.org - www-rdf-rules
Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 0 replies w3.org - public-owl-dev
2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 0 replies w3.org - www-rdf-rules
2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 0 replies w3.org - www-math
2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016 0 replies w3.org - public-owl-dev
Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 0 replies w3.org - www-rdf-rules
Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 0 replies w3.org - www-math
Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016 0 replies w3.org - public-owl-dev
CICM 2015: Final Call for Participation, Deadline July 6th, 2015 0 replies w3.org - www-rdf-rules
CICM 2015: Final Call for Participation, Deadline July 6th, 2015 0 replies w3.org - www-math
CICM 2015: Final Call for Participation, Deadline July 6th, 2015 0 replies w3.org - public-owl-dev
CICM 2015 CfP (Call for Participation + Call for Posters) 0 replies w3.org - www-rdf-rules
CICM 2015 CfP (Call for Participation + Call for Posters) 0 replies w3.org - www-math
CICM 2015 CfP (Call for Participation + Call for Posters) 0 replies w3.org - public-owl-dev
1234