Fsf-friends July 2007

fsf-friends@gnu.org.in

32 participants
56 discussions

by Mani A

Ninth International Symposium on Functional and Logic Programming (FLOPS 2008) April 14-16, 2008 Ise, Japan Submission deadline: October 10, 2007 http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), and Fuji Susono (2006). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications; Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing; Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems; Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism; Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS2006) were published as LNCS 3945. INVITED SPEAKERS To be announced PC CO-CHAIRS Jacques Garrigue (Nagoya, Japan) Manuel Hermenegildo (Madrid, Spain and New Mexico, US) PC MEMBERS Maria Alpuente (Valencia, Spain) Sergio Antoy (Portland, OR, USA) Matthias Blume (TTI, Chicago, USA) Tyng-Ruey Chuang (Academia Sinica, Taiwan) Zhenjiang Hu (Tokyo, Japan) Oleg Kiselyov (FNMOC, Monterey, USA) Herbert Kuchen (Muenster, Germany) Dale Miller (INRIA, Palaiseau, France) Atsushi Ohori (Tohoku, Japan) Enrico Pontelli (New Mexico, USA) Kristoffer Rose (IBM Watson, USA) Kazunori Ueda (Waseda, Japan) Peter Van Roy (Louvain-la-Neuve, Belgium) Benjamin Werner (INRIA, Palaiseau, France) LOCAL CHAIR Shoji Yuen, Nagoya University SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g. a link to a web page, or an appendix). Submission is Web-based. Please visit the conference site. IMPORTANT DATES Submission deadline: October 10, 2007 Author notification: December 21, 2007 Camera-ready copy: January 21, 2008 Conference: April 14-16, 2008 PLACE Ise, Japan Previous FLOPS: FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/ FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR Japan Society for Software Science and Technology (JSSST) SIG-PPL IN COOPERATION with Asian Association for Foundation of Software (AAFS) (pending) Association for Logic Programming (ALP) INQUIRIES to Jacques Garrigue (garrigue at math.nagoya-u.ac.jp) -------------------------------------------------------------------------------------------- Best A. Mani -- A. Mani Member, Cal. Math. Soc

16 years, 2 months

Open Solaris to have a package management system

by Mani A

Yes that is planned for the next release in spring 2008. http://www.devxnews.com/article.php/3688576 Best A. Mani -- A. Mani Member, Cal. Math. Soc

16 years, 2 months

FROM PAKISTAN: ipgrab ... A verbose packet sniffer that displays a great amount of detail on each packet it reads, including application layer fields.

by Frederick Noronha [फ़र ेदरिक नोर ोनया]

Project Admins: farooq-i-azam, mborella Operating System: All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), All POSIX (Linux/BSD/UNIX-like OSes), FreeBSD, Linux License: GNU General Public License (GPL) Category: Monitoring * * * * * From: "Muhammad Farooq-i-Azam" <i80x86(a)gmail.com> Subject: [LinuxPakistan] [SPAM] Ipgrab 0.9.10 Released To: general(a)linuxpakistan.net Message-ID: <2424a8660707110400o784ac9e4sdd6acecec5a9884a(a)mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed In the name of Allah, the Most Merciful and the Most Beneficent Dear All Assalam-o-Alaikum! We have released new version of Ipgrab which is 0.9.10. Ipgrab is a packet sniffer distributed with Debian and other Linuxes. In particular, we have added a DEVELOPER-HOWTO with this release which is to facilitate new developers. If you are interested to participate, please do read the document available with the download. This new release fixes many bugs and errors, and ipgrab is now lot more stable. You may see ChangeLog for more details of the changes which were applied. Also, this release is now in synchronization with CVS repository. You can visit the project page here: http://www.sourceforge.net/projects/ipgrab And you can download it from the following link: http://sourceforge.net/project/showfiles.php?group_id=4340 Other information provided by the Sourceforge release announcement is as under: Project: IPgrab (ipgrab) Package: ipgrab Date : 2007-07-10 20:47 Project "IPgrab" ('ipgrab') has released the new version of package 'ipgrab'. You can download it from SourceForge.net by following this link: <https://sourceforge.net/project/showfiles.php?group_id=4340&release_id=5222…> or browse Release Notes and ChangeLog by visiting this link: <https://sourceforge.net/project/shownotes.php?release_id=522209> -- Muhammad Farooq-i-Azam http://www.esecurity.com.pk/ http://www.chase.org.pk/ -- FN: Frederick Noronha http://wikiwikiweb.de/MyContacts Phone 0091-832-2409490 Cell: 091-9822122436 or 9970157402 (after 1 pm) A film on copyright! GOOD COPY BAD COPY: a documentary about the current state of copyright and culture. http://www.goodcopybadcopy.net/

16 years, 2 months

1st Asian Nation to Adopt Open Software Standards

by Raj Mathur

This may be some help in the battle against OOXML: 1st Asian Nation to Adopt Open Software Standards "Japan has adopted a policy under which government ministries and agencies will solicit bids from software vendors whose products support internationally recognized open standards and thus becomes the first country in Asia to embrace the open software Standards, The OpenDocument Format Alliance (ODF Alliance) says in a press release (PDF). Full story at: http://www.linuxlookup.com/2007/jul/13/1st_asian_nation_to_adopt_open_softw… -- Raju -- Raj Mathur raju(a)kandalaya.org http://kandalaya.org/ GPG: 78D4 FC67 367F 40E2 0DD5 0FEF C968 D0EF CC68 D17F It is the mind that moves

16 years, 2 months

Sify joins hands with Microsoft

by Ajay Pal Singh Atwal

Sify joins hands with Microsoft to bridge Digital Divide http://in.news.yahoo.com/070712/43/6hze0.html this time the promise is of free office software with free training. -- Sincerely Ajay Pal Singh Atwal

16 years, 2 months

Re: [Fsf-friends] M$ Gaming

by Ajay Pal Singh Atwal

----- Mani A <a.mani.cms(a)gmail.com> wrote: > M$ has been doing well in the gaming OS sector and with XBOX too. So > they have this nice closed source marketing strategy : > http://www.physorg.com/news103199030.html > > Best > > A. Mani Here is the conspiracy theory MS Sells one xbox 360, the xbox goes down and returned for warranty, a replacement xbox 360 is sent, it also goes down another replacement and the cycle continues... But the point is, for every one xbox 360 sold, MS can multiply its actual sales figures by 3, maybe 4 may be more. And can claim to dominate/ rule the console market. Whereas the rest will stay the one sale per person, no massive multipliers for them. Whatever... -- Sincerely Ajay Pal Singh Atwal

16 years, 2 months

Linus Torvalds Speaks: Have You Something To Ask?

by Anivar Aravind

Linus Torvalds Speaks: Have You Something To Ask? http://efytimes.com/efytimes/fullnewsxml.asp?edid=20212 So, here is a chance for you to submit your questions. The two broad topics that we would like to discuss with Linus are: 1. The technology road map of Linux (especially the kernel) 2. The role Indian techies can play in developing Linux and open source So, if you have questions for Linus, feel free to ask.... The detailed interview will be published in LFY and subsequently released as a 'creative commons' document, since it will be a true community-driven initiative. The deadline to submit questions is 13 July 2007. -- Anivar Aravind moving Republic Peringavu.P.O Thrissur-18 Kerala http://anivar.movingrepublic.org/about

16 years, 2 months

Say No to ECMA OOXML at BIS

by Anivar Aravind

Dear Nagarjuna, I sent both links to PJ of groklaw. Some Interesting Observations of Rob on the MS Response is online now <http://www.groklaw.net/comment.php?mode=display&sid=20070709231317298&title…> Minutes of Meeting held on May 07, 2007, with comments <http://www.odfalliance.in/files/2007-07-05%20Minutes%20with%20comments%20by…> Two beautiful points in MS response: * OOXML does not have a large number of features but is "feature rich". "The statement was not that the size is due to the large number of features but “feature rich”. The size of the document is also due to the fact that it is a fully defined specification." (note, OOXML is incomplete, inconsistent, and lacks semantic, ie, it is a street directory without a map) * 6000+4000 pages of OOXML specifications are needed because MS couldn't be bothered to ask Oasis to define spreadsheet formula's "As an example, which was cited in the meeting but has not been captured in the minutes, is the specification for implementing formulas in Spreadsheets which is not present in ODF. In this case what would spreadsheet formula specifications be considered as if not a point of standardization." * In the Response to the Question by Dr. Nagarjuna, MS throws in another "Covenant not to sue", now with regard to the old binary office formats. Instead of giving a clear license to use the specifications, you are now still not allowed to use them. However, MS now promises not to sue you under some conditions, or maybe they will sue you under some other conditions. Just like OOXML. "It is to be noted that Microsoft has made the .doc, .xls, and .ppt binary file format specifications available under a royalty-free covenant not to sue to anyone who wishes to implement all or part of these specifications in their products." ~ Regards Anivar -- Anivar Aravind moving Republic Peringavu.P.O Thrissur-18 Kerala http://anivar.movingrepublic.org/about

16 years, 2 months

Say No to ECMA OOXML at BIS

by Anivar Aravind

Dear Nagarjuna, I sent both links to PJ of groklaw. Some Interesting Observations on the MS Response is online now <http://www.groklaw.net/comment.php?mode=display&sid=20070709231317298&title…> Minutes of Meeting held on May 07, 2007, with comments <http://www.odfalliance.in/files/2007-07-05%20Minutes%20with%20comments%20by…> Two beautiful points in MS response: * OOXML does not have a large number of features but is "feature rich". "The statement was not that the size is due to the large number of features but “feature rich”. The size of the document is also due to the fact that it is a fully defined specification." (note, OOXML is incomplete, inconsistent, and lacks semantic, ie, it is a street directory without a map) * 6000+4000 pages of OOXML specifications are needed because MS couldn't be bothered to ask Oasis to define spreadsheet formula's "As an example, which was cited in the meeting but has not been captured in the minutes, is the specification for implementing formulas in Spreadsheets which is not present in ODF. In this case what would spreadsheet formula specifications be considered as if not a point of standardization." * In the Response to the Question by Dr. Nagarjuna, MS throws in another "Covenant not to sue", now with regard to the old binary office formats. Instead of giving a clear license to use the specifications, you are now still not allowed to use them. However, MS now promises not to sue you under some conditions, or maybe they will sue you under some other conditions. Just like OOXML. "It is to be noted that Microsoft has made the .doc, .xls, and .ppt binary file format specifications available under a royalty-free covenant not to sue to anyone who wishes to implement all or part of these specifications in their products." ~ Regards Anivar -- Anivar Aravind moving Republic Peringavu.P.O Thrissur-18 Kerala http://anivar.movingrepublic.org/about

16 years, 2 months

GPL2 - GPL3

by Mani A

Suppose a package XX has a version-A under GPL-V2 and a forthcoming version-B. Suppose also that version -B is a severe modification of version-A. Now if version-B is to be released under GPL-V3 and suppose the earlier version is also to be maintained for some time, then I believe that the code from version-A would not be usable in version-B. Or how is this migration handled ? Best A. Mani -- A. Mani Member, Cal. Math. Soc

16 years, 2 months

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Fsf-friends July 2007