The Internet Society is looking for a group of young people between 13 to 25 years old to join us for a conversation about the Internet. We want to know what the Internet means to them today and what they hope it will be like tomorrow.
Are you under 25 or do you know someone who fits this profile?
If so, please invite them to register for our next online forum, scheduled for Thursday, March 16 at 16h UTC (more details below).
The event will also serve to launch the Internet Society’s "25 Under 25”, a programme to recognise passionate, committed young people who are using the Internet to change the world.
AFRINIC offre un support financier pendant la réunion AFRINIC-26 qui aura lieu à Nairobi, Kenya du 27 mai au 2 juin 2017.
L'aide apportée est réservée aux personnes représentant une petite organisation, universitaires, ou les media qui sont activement impliqués dans le fonctionnement de l'Internet et de son développement, aussi bien que les politiques des TIC dans leur propres pays. AFRINIC s'attend a ce que le fellow participe activement à l'avancement en matière de gestion des Ressources IP à travers l'Afrique.
Combinatorial and Computational Algebraic Geometry
CIMPA-NIGERIA research school
Ibadan, June 11-24, 2017
This research school will introduce the participants to some basics of algebraic geometry with an emphasis on computational aspects, such as Groebner bases and combinatorial aspects, such as toric varieties and tropical geometry. We will also learn how to use the freely available software Macaulay2 for studying algebraic varieties. The lecturers for this school are all active in these areas and collectively have deep experience both as researchers and educators through the supervision of students ; Ph.D. and postdoctoral, as well as the organization of and lecturing in short courses.
Call for Papers and Tutorials
The 17th International Conference on Runtime Verification
September 13-16, Seattle, WA, USA
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.