Month: June 2017

GNOME.Asia Summit 2017 Call for Papers is now open

GNOME.Asia Summit 2017 invites proposals for presentations at the conference. GNOME.Asia Summit is the featured annual GNOME Conference in Asia. The event focuses primarily on the GNOME desktop, but also covers applications and the development platform tools. It brings together the GNOME community in Asia to provide a forum for users, developers, foundation leaders, governments and businesses to discuss the present technology and future developments.

The conference will be held in Chongqing University, Chongqing, China from 2017-10-14  until 2017-10-16. We welcome proposals by newcomers and experienced speakers alike.

 

Coinciding with the 10 years anniversary of GNOME.Asia, 20 years since GNOME was born and the 20 years anniversary of Chongqing’s promotion as a province-level municipality, GNOME.Asia Summit 2017 arrives at the mountain city of Chongqing this year, which have an extraordinary significance.

Please submit yours at: http://cn.mikecrm.com/nhrytIP

Possible topics include, but not limited to:

Contributing to GNOME

  • Latest Developments in GNOME
  • Writing Applications for GNOME 3
  • GNOME UI Design
  • QA and testing in GNOME
  • GNOME Accessibility
  • GNOME Human Interface Engineering (Icons and Graphic
  • Design)
  • GNOME Marketing/Engagement
  • Asia success stories / Local GNOME Projects
  • GNOME and Education
  • FOSS Outreach Program
  • Developing GNOME on mobile devices (smart phones, tablets)
  • Developing GNOME on embedded systems or open source hardware
  • Google Summer of Code

Contributing to Linux and Open Source

  • Linux Kernel and Development
  • The development and promotion of open-source operating systems
  • About Debian, Fedora, openSUSE, Ubuntu, FreeBSD, and other distributions
  • The development and promotion of other open-source projects

Open Source Enlightenment and Related Story

  • The Knowledge and Spirit of Open Source
  • Open Source stories of your own
  • How to optimize the process and  improve efficiency with the help of open-source tools
  • How to engage non-technical clightning talksontributors in Open Source Projects
  • How to engage more female contributors in Open Source Projects

Emerging Technologies

  • Artificial Intelligence
  • Deep Learning
  • AR & VR
  • Big Data
  • Distributed Systems
  • Open Source DevOps
  • DevOps with AI
  • Other Emerging Technologies

Other topics could include any topic related to Free and Open Source Software not listed above.

We are about to launch program to fund part of the speakers to cover their travel expense. Please fill in the related blank in the application form and follow the latest news at: https://linuxstory.org/tag/gnome . GNOME foundation members are encouraged to apply to GNOME Travel Committee for travel allowance.

A standard session will be scheduled for 45 mins (35 mins talk + 10 mins Q&A). The session could be a technical talk, panel discussion, or BOF. If you need more time or additional resources, feel free to get in touch with the organizing team.

For participants who would like to participate, but are not sure they’d like to do a full talk proposal, we have shorter lightning talks. These are a 10 minutes presentation to demonstrate your work or promote an interesting topic. These talks will be grouped together in a single session.

Please provide a short abstract of your proposal (under 150 words). Include your name, biographical information, a photo suitable for the web, a title, and a description of your presentation. The reviewing team will evaluate the entries based on the submitted abstracts and available time by following the schedule.

*Submission deadline: 2017-08-15
*Confirmation of paper acceptance: 2017-08-20 until 2017-08-25

All interested contributors are highly encouraged to send in talks.

The GNOME.Asia 2017 Team

*More information about GNOME Asia Summit 2017 is available at: https://2017.gnome.asia/

Formal Verification Might be Built-in Linux Kernel in the Future, Message from Linux Foundation

LC3 conference with the attendance of LinuxCon, ContainerCon and CloudOpen, which is the top open source conference in the world, was held in Beijing on June, 19, with a two-day session. It was its first presence to China after it had been held in North America, Europe and Japan in the past few years. Linux 4.12-rc6 was released on the same day, and voice from Linux Foundation shows us a few prospective new features will be considered in Linux kernel development at the conference.

Jim Zemblin, the Executive Director of Linux Foundation as well as the chair of the conference, told the reporter of Linux Story in the Chinese Media exclusive interview at the news conference that Formal Verification (Wikipedia) would be built-in Linux kernel for the purpose of more security. He said, the improved security credibility of Linux kernel was helpful in supporting more new features in Linux as well as the long-term development. However, it will be a hard work. We think the feature of Formal Verification will be implemented in some independent core modules first.

It is learnt that the definition of Formal Verification is to use formal methods of mathematics to prove or disprove the correctness of a certain or some formal specifications or properties. Meanwhile, Logical Formal Verification is a systematic verification process, which uses formal methods of mathematics to verify that if the design is implemented thoroughly. Today, the main Formal Verification software programs include Coq, Isabelle , Metamath ,TLA+ and so on.

The process of Formal Verification can be used to prove that there is no certain bug in one system or the system respects to some specifications. The limitation of traditional software testing methods is that limited test cases cannot cover almost infinite state space, and without considering the exception condition of test environment often leads to a loss by hidden danger in the production environment. We cannot promise a none-bug-system even if with more test cases. And in the other hand, we eagerly expect a system without bugs in some key application scenarios. NO BUG is a concept difficult to strictly define so that trying to exclude SPECIFIC TYPE of BUGs is more practicable. The Formal Verification method can prove that if a system respects to a certain design specification, if it does not contain unknown type of bugs and it can satisfy certain functions or properties with formal methods of mathematics to business logic or code logic.

The method of Formal Verification has a history of more than 30 years. Nowadays, Formal Verification is applied in the fields of chip design(1), cloud computing(2), operation system(3), compiler(4) and Blockchain(5).

If what Jim said in his plan could be implemented successfully, the security level of lightweight isolation such as Docker would be comparable to traditional virtualization, to which the improvement of Linux kernel security would not only benefit the development of cloud computing and container of Linux, but also Docker. This might be part of the future development direction of Linux. But Jim also said that there were many difficulties ahead and there was still no detailed schedule on Formal Verification at present.

Finally, we welcome any guys who are interested in Formal Verification to join our exchange group, our service account of WeChat Media Platform is bootingman, we also expect your brief introduction before your join.