Differences between revisions 1 and 52 (spanning 51 versions)
Revision 1 as of 2007-02-08 22:47:09
Size: 1519
Editor: cpe-74-73-81-19
Comment:
Revision 52 as of 2008-06-23 13:58:35
Size: 2466
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 =
  * Description: Soon
Line 9: Line 3:
== Yices ==   * Partnership:
Line 11: Line 5:
* Yices Project Official Web site: [http://yices.csl.sri.com/ Yices]     [http://www.pace.edu http://atlantis.seidenberg.pace.edu/~scharff/images/pacelogo.gif] [http://www.pace.edu http://atlantis.seidenberg.pace.edu/~scharff/images/us.jpg] [http://www.ncnw.org http://atlantis.seidenberg.pace.edu/~scharff/images/ncnwlogo.jpg] [http://www.incubator-ncnw.org http://atlantis.seidenberg.pace.edu/~scharff/images/senegalflag.jpg] [http://www.ncnw.org http://atlantis.seidenberg.pace.edu/~scharff/images/us.jpg] [http://www.stonybrook.edu/ http://atlantis.seidenberg.pace.edu/~scharff/images/stonylogo.gif] [http://www.rupp.edu.kh/ http://atlantis.seidenberg.pace.edu/~scharff/images/us.jpg] [http://www.thies.univ.sn/sitethies/ http://atlantis.seidenberg.pace.edu/~scharff/images/thieslogo.jpg] [http://www.thies.univ.sn/sitethies/ http://atlantis.seidenberg.pace.edu/~scharff/images/senegalflag.jpg]
Line 13: Line 7:
* ["Java API - Yices"]     {{{#!raw
New York <iframe src="http://free.timeanddate.com/clock/i12u38r9/n179/fs12/fcfff/tc009/ahl/ftbi/tt0" frameborder="0" width="278" height="16"></iframe> <br>
<iframe src="http://free.timeanddate.com/clock/i12u38r9/n179/fs12/fcfff/tc009/ahl/ftbi/tt0" frameborder="0" width="278" height="16"></iframe><br>
Senegal <iframe src="http://free.timeanddate.com/clock/i12u38r9/n74/tlfr2/fs12/fcfff/tc009/ahl/ftbi/tt0" frameborder="0" width="249" height="16"></iframe> <br>
<BR>
<BR>
}}}
Line 15: Line 15:
* Yices Web Interface : [http://atlantis.seidenberg.pace.edu:8180/yicesweb/ Yices Web] (soon)   * People:
Line 17: Line 17:
##What is this wiki about?

##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

##== How to use this site ==

##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.
    * Dr. Christelle Scharff, Pace University, US, cscharff@pace.edu, http://www.csis.pace.edu/~scharff
     [http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=christelle.png]
    * Dr. Mbarou Gassama Mbaye, NCNW/WBC/CIDEF Managing Director, Senegal, mbarou.gassamambaye@gmail.com, http://www.ncnw.org, http://www.incubator-ncnw.org
     [http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=mbarouf.jpg]
    * Dr. Anita Wasilewska, Stony Brook University, US, anita@cs.sunysb.edu, http://www.cs.sunysb.edu/~anita
     [http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=anitaf.jpg]
    * Dr. Ibrahima Ndiaye, University of Thies, Senegal, ibndiaye2004@yahoo.fr
     [http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=ibrahimaf.jpg]
    * Prof. Mamadou Bousso, University of Thies, Senegal, mamadoubousso@gmail.com
     [http://atlantis.seidenberg.pace.edu/wiki/senegal/Home?action=AttachFile&do=get&target=mamadouf.jpg]

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