Differences between revisions 1 and 135 (spanning 134 versions)
Revision 1 as of 2007-02-08 22:47:09
Size: 1519
Editor: cpe-74-73-81-19
Comment:
Revision 135 as of 2010-10-17 21:25:37
Size: 2214
Editor: scharff
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
## Please edit system and help pages ONLY in the moinmaster wiki! For more
## information, please see MoinMaster:MoinPagesEditorGroup.
##master-page:FrontPage
#format wiki
#language en
#pragma section-numbers off
= LEP =
= Mobile Senegal =
Line 9: Line 3:
== Yices == {{{#!raw <img src="http://atlantis.seidenberg.pace.edu/~scharff/images/us.jpg"> USA <iframe src="http://free.timeanddate.com/clock/i12u38r9/n179/fs12/fcfff/tc090/ahl/ftbi/tt0" frameborder="0" width="278" height="16"></iframe> <img src="http://atlantis.seidenberg.pace.edu/~scharff/images/senegalflag.jpg">Senegal <iframe src="http://free.timeanddate.com/clock/i12u38r9/n74/tlfr2/fs12/fcfff/tc090/ahl/ftbi/tt0" frameborder="0" width="249" height="16"></iframe><br>
}}}
Line 11: Line 6:
* Yices Project Official Web site: [http://yices.csl.sri.com/ Yices] Mobile Senegal is a network of ''people'' interested in mobile technology for development in Senegal. It organizes, facilitates and partners with other instances in the organization of bootcamps, trainings, competitions, and workshops on mobile technology. Its mission is to disseminate mobile technology and share information on the subject in Senegal and elsewhere.
Line 13: Line 8:
* ["Java API - Yices"] == Join us ==
Line 15: Line 10:
* Yices Web Interface : [http://atlantis.seidenberg.pace.edu:8180/yicesweb/ Yices Web] (soon) http://t2.gstatic.com/images?q=tbn:VCvStDmX1O1q5M:http://www.aqt.ca/navig/logos/ning.gif http://mobilesenegal.ning.com http://t2.gstatic.com/images?q=tbn:CHsSb71zcN_WuM:http://www.ulm.edu/socialmedia/images/twitter_logo.jpg http://twitter.com/mobilesenegal
Line 17: Line 12:
##What is this wiki about? == Sponsors ==
Line 19: Line 14:
##Interesting starting points:
## * RecentChanges: see where people are currently working
## * WikiSandBox: feel free to change this page and experiment with editing
## * FindPage: search or browse the database in various ways
## * SyntaxReference: quick access to wiki syntax
## * SiteNavigation: get an overview over this site and what it contains
http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=nciia.jpg http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=nokialogo.png
Line 26: Line 16:
##== How to use this site == {{{#!raw
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
try {
var pageTracker = _gat._getTracker("UA-6427189-6");
pageTracker._trackPageview();
} catch(err) {}</script>
Line 28: Line 27:
##A Wiki is a collaborative site, anyone can contribute and share:
## * Edit any page by pressing '''[[GetText(Edit)]]''' at the top or the bottom of the page
## * Create a link to another page with joined capitalized words (like WikiSandBox) or with {{{["quoted words in ##brackets"]}}}
## * Search for page titles or text within pages using the search box at the top of any page
## * See HelpForBeginners to get you going, HelpContents for all help pages.

## To learn more about what a WikiWikiWeb is, read about MoinMoin:WhyWikiWorks and the MoinMoin:WikiNature. Also, ## consult the MoinMoin:WikiWikiWebFaq.

This wiki is powered by MoinMoin.
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
try {
var pageTracker = _gat._getTracker("UA-6427189-7");
pageTracker._trackPageview();
} catch(err) {}</script>
}}}

Mobile Senegal

Mobile Senegal is a network of people interested in mobile technology for development in Senegal. It organizes, facilitates and partners with other instances in the organization of bootcamps, trainings, competitions, and workshops on mobile technology. Its mission is to disseminate mobile technology and share information on the subject in Senegal and elsewhere.

Join us

http://t2.gstatic.com/images?q=tbn:VCvStDmX1O1q5M:http://www.aqt.ca/navig/logos/ning.gif http://mobilesenegal.ning.com http://t2.gstatic.com/images?q=tbn:CHsSb71zcN_WuM:http://www.ulm.edu/socialmedia/images/twitter_logo.jpg http://twitter.com/mobilesenegal

Sponsors

http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=nciia.jpg http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=nokialogo.png

<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
try {
var pageTracker = _gat._getTracker("UA-6427189-6");
pageTracker._trackPageview();
} catch(err) {}</script>

<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
try {
var pageTracker = _gat._getTracker("UA-6427189-7");
pageTracker._trackPageview();
} catch(err) {}</script>

senegal: Home (last edited 2013-06-08 03:19:42 by scharff)