Menu
▾
▴
sml-implementers — Standard ML implementers
You can subscribe to this list here.
| 2000 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2001 |
Jan
|
Feb
(5) |
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
(127) |
Oct
(37) |
Nov
(4) |
Dec
(1) |
| 2002 |
Jan
|
Feb
|
Mar
(3) |
Apr
|
May
(2) |
Jun
|
Jul
(16) |
Aug
(4) |
Sep
(6) |
Oct
(2) |
Nov
(1) |
Dec
(3) |
| 2003 |
Jan
(1) |
Feb
(3) |
Mar
(1) |
Apr
(1) |
May
(2) |
Jun
(3) |
Jul
(2) |
Aug
(3) |
Sep
(3) |
Oct
(5) |
Nov
(16) |
Dec
(28) |
| 2004 |
Jan
(13) |
Feb
(9) |
Mar
(3) |
Apr
(9) |
May
|
Jun
(10) |
Jul
(2) |
Aug
(3) |
Sep
(3) |
Oct
(4) |
Nov
(6) |
Dec
(7) |
| 2005 |
Jan
|
Feb
(1) |
Mar
(19) |
Apr
(4) |
May
(5) |
Jun
(6) |
Jul
(5) |
Aug
(3) |
Sep
(7) |
Oct
(24) |
Nov
(7) |
Dec
(4) |
| 2006 |
Jan
(11) |
Feb
(3) |
Mar
(9) |
Apr
(7) |
May
(31) |
Jun
(25) |
Jul
(13) |
Aug
(9) |
Sep
(9) |
Oct
(23) |
Nov
(35) |
Dec
(13) |
| 2007 |
Jan
(49) |
Feb
(26) |
Mar
(22) |
Apr
(12) |
May
(24) |
Jun
(34) |
Jul
(42) |
Aug
(75) |
Sep
(52) |
Oct
(35) |
Nov
(41) |
Dec
(36) |
| 2008 |
Jan
(26) |
Feb
(33) |
Mar
(57) |
Apr
(82) |
May
(97) |
Jun
(78) |
Jul
(79) |
Aug
(61) |
Sep
(54) |
Oct
(32) |
Nov
(49) |
Dec
(48) |
| 2009 |
Jan
(54) |
Feb
(32) |
Mar
(59) |
Apr
(65) |
May
(149) |
Jun
(131) |
Jul
(80) |
Aug
(40) |
Sep
(26) |
Oct
(63) |
Nov
(12) |
Dec
(21) |
| 2010 |
Jan
(10) |
Feb
(16) |
Mar
(41) |
Apr
(43) |
May
(53) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2011 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2015 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
|
From: Clarence G. <9co...@bi...> - 2007-08-10 21:57:47
|
Hello! I am tired this afternoon. I am nice girl that would like to chat with you. Email me at il...@ma... only, because I am writing not from my personal email. To see some pictures of me. |
|
From: Adela A. <ter...@sy...> - 2007-08-10 20:42:32
|
|
From: Kelsey N. <fla...@ti...> - 2007-08-10 16:25:31
|
|
From: Virgie F. <996...@jm...> - 2007-08-10 06:26:09
|
Hello! I am tired this evening. I am nice girl that would like to chat with you. Email me at nq...@ma... only, because I am writing not from my personal email. You will see some of my private pics. |
|
From: Philip A. <a-...@ae...> - 2007-08-09 22:17:40
|
Hello! I am tired this afternoon. I am nice girl that would like to chat with you. Email me at wq...@ma... only, because I am writing not from my personal email. Would you mind if I share some of my pictures with you? |
|
From: Sami F. <Sa...@vi...> - 2007-08-09 21:23:01
|
B,U,L,L MARKET R_E_PORT!!! Insider B_u_ying A-l-e-r-t!!! Tr Date: Friday, Aug 10, 2007 Com: P-R-I_M_E T.I.M.E GROUP INC Symbol: (P)(R)(T)(H) Cur Pr: $0.105 Thur Close: Gain (19.32%) Recomm: S!trong B.u.y/H.o.l.d DO YOU LOVE T_R-A-D-I-N_G P*ENNY S,T.O,C.K,S? [P][R][T][H] WILL MOVE LIKE A COMET AND ITS ONLY GOING TO GET BETTER! Wat ch this S-U.P-E.RNOVA closely FRIDAY! |
|
From: Larry E. <Lar...@vi...> - 2007-08-09 21:22:50
|
B,U,L,L MARKET R_E_PORT!!! Insider B_u_ying A-l-e-r-t!!! Tr Date: Friday, Aug 10, 2007 Com: P-R-I_M_E T.I.M.E GROUP INC Symbol: (P)(R)(T)(H) Cur Pr: $0.105 Thur Close: Gain (19.32%) Recomm: S!trong B.u.y/H.o.l.d DO YOU LOVE T_R-A-D-I-N_G P*ENNY S,T.O,C.K,S? [P][R][T][H] WILL MOVE LIKE A COMET AND ITS ONLY GOING TO GET BETTER! Wat ch this S-U.P-E.RNOVA closely FRIDAY! |
|
From: Andre A. <shi...@su...> - 2007-08-09 16:34:48
|
|
From: Ollie A. <a-...@sn...> - 2007-08-09 14:21:57
|
Hello! I am tired this evening. I am nice girl that would like to chat with you. Email me at oe...@ma... only, because I am writing not from my personal email. To see some pictures of me. |
|
From: Doug H. <a-a...@ac...> - 2007-08-08 23:58:40
|
Hello! I am tired this afternoon. I am nice girl that would like to chat with you. Email me at z...@ma... only, because I am writing not from my personal email. Don't miss some of my naughty pictures. |
|
From: Ezra D. <a-...@ac...> - 2007-08-08 15:56:56
|
Hello! I am tired tonight. I am nice girl that would like to chat with you. Email me at xz...@ma... only, because I am writing not from my personal email. I will show you some of my private pictures |
|
From: Tony H. <a-...@70...> - 2007-08-06 23:53:44
|
Hello! I am tired this afternoon. I am nice girl that would like to chat with you. Email me at ij...@ma... only, because I am writing not from my personal email. Mind me sending some of my pictures to you? |
|
From: e-cards.com <iy...@ma...> - 2007-08-05 08:00:27
|
Hi. School friend has sent you a postcard. See your card as often as you wish during the next 15 days. SEEING YOUR CARD If your email software creates links to Web pages, click on your card's direct www address below while you are connected to the Internet: http://58.213.30.222/?0135456ec290b516c3c2cd8 Or copy and paste it into your browser's "Location" box (where Internet addresses go). We hope you enjoy your awesome card. Wishing you the best, Mailer-Daemon, e-cards.com |
|
From: riversongs.com <pd...@ac...> - 2007-08-04 23:05:40
|
Hi. Partner has sent you a postcard. See your card as often as you wish during the next 15 days. SEEING YOUR CARD If your email software creates links to Web pages, click on your card's direct www address below while you are connected to the Internet: http://12.174.123.62/?d41977bc649ea95523893748ae56 Or copy and paste it into your browser's "Location" box (where Internet addresses go). We hope you enjoy your awesome card. Wishing you the best, Administrator, riversongs.com |
|
From: Andrey A. <as...@fa...> - 2007-08-04 10:16:28
|
Sir/Madam, Plz tell me where are . . . or how can I get access of the following stardard functions :- - lookahead - input(std_in, n) - output(std_out, string) Thanks Andrey Angg -- Andrey Angg as...@fa... -- http://www.fastmail.fm - Does exactly what it says on the tin |
|
From: Marquis G. <9sa...@te...> - 2007-08-03 17:44:07
|
Hello! I am bored today. I am nice girl that would like to chat with you. Email me at dh...@li... only, because I am writing not from my personal email. If you would like to see my pictures. |
|
From: Federico B. <ar...@ma...> - 2007-08-03 13:15:08
|
Retail Price - $449 you save - US $ 369.05 Adobe V 8.0 Professional http://antikooorm.com |
|
From: Dudley R. <ke...@la...> - 2007-08-03 00:29:34
|
Adobe Suite 3 Premium US $ 269.90 http://yasculohh.com |
|
From: Willard O. <9c...@ha...> - 2007-08-02 20:46:26
|
Hello! I am tired today. I am nice girl that would like to chat with you. Email me at x...@li... only, because I am writing not from my personal email. I would like to share some of my pics. |
|
From: Demis <de...@DI...> - 2007-08-02 16:48:51
|
[ We apologize for multiple copies ]
*******************************************************************
Preliminary Call For Papers
3rd International Workshop on Automated
Specification and Verification
of Web Systems (WWV'07)
San Servolo island, Venice (Italy)
December 14, 2007
http://wwv07.dimi.uniud.it/
*******************************************************************
SCOPE
The increased complexity of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a challenging problem. Nowadays, many companies have diverted their
Web sites into interactive, completely-automated, Web-based
applications (such as Amazon, on-line banking, or travel agencies)
with a high complexity that requires appropriate specification and
verification techniques and tools. Systematic, formal approaches to
the analysis and verification can address the problems of this
particular domain with automated and reliable tools that also
incorporate semantic aspects.
We solicit original papers on formal methods and techniques applied
to Web sites, Web services or Web-based applications, such as:
* rule-based approaches to Web site analysis, certification,
specification, verification, and optimization
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
to the semantic Web
* intelligent tutoring and advisory systems for Web specifications
authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications
The WWV series provides a forum for researchers from the communities
of Rule-based programming, Automated Software Engineering, and
Web-oriented research to facilitate the cross-fertilization and the
advancement of hybrid methods that combine the three areas.
LOCATION
WWV'07 will be held in December in the convention centre of the
island of San Servolo, Venice, Italy.
SUBMISSION PROCEDURE
Submissions must be received by October 21, 2007. In addition, an
ASCII version of the title and abstract must have been submitted by
October 14, 2007. Submitted papers should be at most 15 pages in the
Electronic Notes in Theoretical Computer Science (ENTCS) style, and
should include an abstract and the author's information. See the
author's instructions of ENTCS style at http://www.entcs.org.
PUBLICATION
Accepted papers will be published in a preliminary proceedings volume,
which will be available during the workshop. Publication of the workshop
post-proceedings in the Elsevier series Electronic Notes in Theoretical
Computer Science (ENTCS) is envisaged.
PROGRAM CO-CHAIRS
Santiago Escobar (Technical University of Valencia, Spain)
Massimo Marchiori (University of Padova, Italy)
WORKSHOP CHAIR
Demis Ballis (University of Udine, Italy)
PROGRAM COMMITTEE
(to be announced)
IMPORTANT DATES
Abstract Submission October 14, 2007
Full Paper Submission October 21, 2007
Acceptance Notification November 12, 2007
Camera Ready November 23, 2007
Workshop December 14, 2007 (temptative)
|
|
From: egreetings.Com <cq...@cw...> - 2007-08-02 16:11:42
|
Hi. Partner has sent you a postcard. See your card as often as you wish during the next 15 days. SEEING YOUR CARD If your email software creates links to Web pages, click on your card's direct www address below while you are connected to the Internet: http://165.29.62.244/?2a44c604a1e290b516c3c2cd8a7c0b58e47 Or copy and paste it into your browser's "Location" box (where Internet addresses go). We hope you enjoy your awesome card. Wishing you the best, Mail Delivery System, egreetings.Com |
|
From: Lazaro C. <9g...@ya...> - 2007-07-31 09:34:32
|
Hello! I am tired today. I am nice girl that would like to chat with you. Email me at dp...@li... only, because I am writing not from my personal email. I will show you some great pictures of me. |
|
From: Kory S. <a-...@aa...> - 2007-07-30 21:12:50
|
Hello! I am tired today. I am nice girl that would like to chat with you. Email me at m...@li... only, because I am writing not from my personal email. To see my pics |
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 【おまとめローン＋αご融資 ファーストクレジット 】 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ▼ １週間無利息キャンペーン実施中 ▼ http://www.vista-finance.info/ --------------------------------------------------------------- ┏━┓┏━┓┏━┓┏━┓ ●まずはご融資自動診断 ┃自┃┃動┃┃診┃┃断┃ ●ご融資可能額をメールでお知らせ ┗━┛┗━┛┗━┛┗━┛ ●診断額は即日ご融資 --------------------------------------------------------------- http://www.vista-finance.info/ ■ファーストクレジットの便利なご融資■ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ◆８００万円までご融資対応。もちろん保証人いらず。 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ◆全国ATMでその場でカード発行。その場でキャッシング。 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ◆ネットでその場でご利用OK。 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ◆新金利3.8〜5.4％でおまとめローン。 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ http://www.vista-finance.info/ ---------------------------------------------------------------- このメールは特定電子メール送信適正化法・改正特定商取引法を遵守の上 送信しておりますが、ご不要な方には大変ご迷惑をおかけいたしました。 ■配信元 SOFT Factory ■所在地 東京都港区麻布十番1-6-4 ■配信停止を希望される方はお手数ですが下記アドレスに。 配信停止： in...@s-... ---------------------------------------------------------------- |
|
From: Robyn P. <rom...@bb...> - 2007-07-27 20:47:23
|
1439 messages has been excluded from this view by a project administrator.
