<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>CEE-SECR 2012</title>
	<atom:link href="http://www.secr.ru/lang/en-en/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.secr.ru</link>
	<description>Central and Eastern European Software Conference in Russia</description>
	<lastBuildDate>Tue, 22 May 2012 12:34:11 +0000</lastBuildDate>
	<language>en-en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.2</generator>
		<item>
		<title>The method and the cloud service analysis of the seismically active zones</title>
		<link>http://www.secr.ru/lang/en-en/talks/the-method-and-the-cloud-service-analysis-of-the-seismically-active-zones</link>
		<comments>http://www.secr.ru/lang/en-en/talks/the-method-and-the-cloud-service-analysis-of-the-seismically-active-zones#comments</comments>
		<pubDate>Tue, 22 May 2012 08:51:20 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Cloud computing]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4735</guid>
		<description><![CDATA[<p>This work is based on the diagnostic approach to observations and experiments with an emphasis on sustainable development criteria for the comparison of the state of generating dynamic systems. The basic idea is to choose the model of seismic observations, providing the use of forms of seismic signal as a <a href="/talks/the-method-and-the-cloud-service-analysis-of-the-seismically-active-zones">classification criterion…</a></p>]]></description>
			<content:encoded><![CDATA[<p>
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4735">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4735">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4735" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4735">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">0 </span>
                                </span>
                            </span>
                        </div></p>
<p>This work is based on the diagnostic approach to observations and experiments with an emphasis on sustainable development criteria for the comparison of the state of generating dynamic systems. The basic idea is to choose the model of seismic observations, providing the use of forms of seismic signal as a classification criterion. This paper describes the mathematical models, algorithms and software implementation for the diagnosis of natural seismic generators in a number of high-energy events.Models of seismic signals based on information entropy is treated as strict specifications, &#8220;waveguide&#8221; from the source to the seismograph. The observed qualitative differences between the models are associated with changes in species status of the generator. Technology allows us to trace the development of geodynamic situation at any time and spatial range. We present a software implementation of algorithms based on entropy analysis of cloud computing Google App Engine to integrate with Web services, IRIS Data Management Center. Provide evidence for the choice of cloud providers with a specific problem to be solved.</p>

]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/the-method-and-the-cloud-service-analysis-of-the-seismically-active-zones/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Mobile applications security</title>
		<link>http://www.secr.ru/lang/en-en/talks/mobile-applications-security</link>
		<comments>http://www.secr.ru/lang/en-en/talks/mobile-applications-security#comments</comments>
		<pubDate>Tue, 22 May 2012 08:45:17 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Mobile applications]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4731</guid>
		<description><![CDATA[<p>Translation is not available yet. <a href="/lang/ru-ru/talks/mobile-applications-security">The Russian version of this abstract</a>.</p>]]></description>
			<content:encoded><![CDATA[<p>
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4731">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4731">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4731" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4731">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">0 </span>
                                </span>
                            </span>
                        </div></p>
<p>Translation is not available yet. <a href="http://www.secr.ru/lang/ru-ru/talks/mobile-applications-security">The Russian version of this abstract</a>.</p>

]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/mobile-applications-security/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Arkadiy Dobkin</title>
		<link>http://www.secr.ru/lang/en-en/key-speakers/arkadiy-dobkin</link>
		<comments>http://www.secr.ru/lang/en-en/key-speakers/arkadiy-dobkin#comments</comments>
		<pubDate>Mon, 21 May 2012 11:53:39 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Key Speakers]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4726</guid>
		<description><![CDATA[<div class="description"><p>Mr. Dobkin is the cofounder, CEO and President of EPAM Systems, the largest software engineering firm with development centers in Central and Eastern Europe. After earning an MS in Electrical Engineering from the Byelorussian National Technical University, Mr. Dobkin began his career in Minsk, Belarus, where he worked for several emerging <a href="/key-speakers/arkadiy-dobkin">software development companies…</a></p></div>]]></description>
			<content:encoded><![CDATA[
<div class="author"><img src="/img/people/dobkin_150x150.png" alt="Arkadiy Dobkin" title="Arkadiy Dobkin" /><span>Arkadiy Dobkin</span></div>
<p>Mr. Dobkin is the cofounder, CEO and President of EPAM Systems, the largest software engineering firm with development centers in Central and Eastern Europe.</p>
<p>After earning an MS in Electrical Engineering from the Byelorussian National Technical University, Mr. Dobkin began his career in Minsk, Belarus, where he worked for several emerging software development companies before immigrating to the United States in 1991.</p>
<p>Since 1993, when EPAM was co-founded by Mr. Dobkin, the company under his direction has grown to become one of the world’s leading software engineering firms with focus on developing software products for top and emerging software companies as well as on delivering complex, mission critical solutions for large global corporations.</p>
<p>Today, with over 7,000 software engineers across its development centers in CEE and thousands delivered projects in North America and Europe, EPAM is recognized as a leading software engineering firm by such major company’s clients as Oracle, SAP, Google, IBM, UBS, Barclays Capital, The Coca Cola Company, Adidas, Expedia, Thomson Reuters, and Viacom among many others.</p>
<p>In February of 2012 Mr. Dobkin, joined by the company’s management team, ringed the NYSE Opening Bell to signify trades opening on the day, when EPAM Systems commenced its initial public offering on the New York Stock Exchange and became the first software engineering firm from CEE region publicly traded on such major global stock exchange.</p>
<p>A recipient of numerous awards, in June 2008 Ernst &#038; Young named Mr. Dobkin winner of The Entrepreneur Of The Year® 2008 award in New Jersey, Information Technology Consulting category. In 2006, Consulting Magazine named him to “Top 25 Most Influential Consultants”. In 2004, along with the CEOs of Wipro Technologies and CGI Group, Mr. Dobkin was spotlighted as a key industry influencer in the Foreign Relations category of CRN’s “Top 25 Executives” issue.</p>
<p>Through EPAM, Mr. Dobkin has been instrumental in opening the vast talent pool of the former Soviet Union region and Central and Eastern Europe to the global business community. He continues to actively promote this region across the US and Western Europe by presenting at noted international industry and technology events, such as Gartner Summits, Forrester’s GigaWorld IT Forum Europe, Russian Outsourcing &#038; Software Summits, SAP TechEd, and others.</p>
<h2>Presentation: Software Engineering as a Business — the past, present, and future</h2>
</p>
<p class="end">&nbsp;</p>
]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/key-speakers/arkadiy-dobkin/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Optimizing the protection of inventions in software products</title>
		<link>http://www.secr.ru/lang/en-en/talks/optimizing-the-protection-of-inventions-in-software-products</link>
		<comments>http://www.secr.ru/lang/en-en/talks/optimizing-the-protection-of-inventions-in-software-products#comments</comments>
		<pubDate>Wed, 16 May 2012 12:13:15 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Business and entrepreneurship]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4716</guid>
		<description><![CDATA[<p>Presentation describes problems of the invention protection in the IT companies. Presentation is prepared in the form of practical experience and oriented mainly on product and <a href="/talks/optimizing-the-protection-of-inventions-in-software-products">project managers…</a>.</p>]]></description>
			<content:encoded><![CDATA[<p>
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4716">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4716">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4716" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4716">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">2 </span>
                                </span>
                            </span>
                        </div></p>
<p>Presentation describes problems of the invention protection in the IT companies. Presentation is prepared in the form of practical experience and oriented mainly on product and project managers.</p>
<p>First part of the presentation describes current situation of the invention protection in the IT companies. In this part I will tell about why companies don’t protect their invention in Russia and especially in abroad, what is the process of inellectual property protection, advantages and disadvantages of this process. Additionally, I will describe problems of the software developer’s motivation.</p>
<p>Second part of the presentation describe my way to solve problems, related to software inventions protection. I will prepare:</p>
<ul>
<li>a list of changes, that companies need to implement for optimization of the invention protection processes;</li>
<li>expected result of the process implementation;</li>
<li>advanages and disadvantages of this approach.</li>
</ul>

]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/optimizing-the-protection-of-inventions-in-software-products/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Dependable enterprising adequate team creation</title>
		<link>http://www.secr.ru/lang/en-en/talks/dependable-enterprising-adequate-team-creation</link>
		<comments>http://www.secr.ru/lang/en-en/talks/dependable-enterprising-adequate-team-creation#comments</comments>
		<pubDate>Fri, 11 May 2012 07:23:37 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Human capital and Education]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4707</guid>
		<description><![CDATA[<p>Translation is not available yet. <a href="/lang/ru-ru/talks/dependable-enterprising-adequate-team-creation">The Russian version of this abstract</a>.</p>]]></description>
			<content:encoded><![CDATA[<p>
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4707">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4707">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4707" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4707">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">2 </span>
                                </span>
                            </span>
                        </div></p>
<p>Translation is not available yet. <a href="http://www.secr.ru/lang/ru-ru/talks/dependable-enterprising-adequate-team-creation">The Russian version of this abstract</a>.</p>

]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/dependable-enterprising-adequate-team-creation/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>“The Short Directed Pushes Theory” or what employees and management should know about each other and their company to coexist peacefully and achieve results…</title>
		<link>http://www.secr.ru/lang/en-en/talks/short-directed-pushes-theory</link>
		<comments>http://www.secr.ru/lang/en-en/talks/short-directed-pushes-theory#comments</comments>
		<pubDate>Fri, 11 May 2012 07:02:32 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Agile methodologies]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4700</guid>
		<description><![CDATA[<p>Translation is not available yet. <a href="/lang/ru-ru/talks/short-directed-pushes-theory">The Russian version of this abstract</a>.</p>]]></description>
			<content:encoded><![CDATA[<p>
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4700">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4700">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4700" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4700">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">2 </span>
                                </span>
                            </span>
                        </div></p>
<p>Translation is not available yet. <a href="http://www.secr.ru/lang/ru-ru/talks/short-directed-pushes-theory">The Russian version of this abstract</a>.</p>

]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/short-directed-pushes-theory/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>RPM5: a novel format and tools to distribute Linux applications</title>
		<link>http://www.secr.ru/lang/en-en/talks/rpm5-a-novel-format-and-tools-to-distribute-linux-applications</link>
		<comments>http://www.secr.ru/lang/en-en/talks/rpm5-a-novel-format-and-tools-to-distribute-linux-applications#comments</comments>
		<pubDate>Fri, 11 May 2012 06:50:23 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Programming technologies and tools]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4696</guid>
		<description><![CDATA[<p>A distinctive feature of many Linux distributions is an original approach to the task of software management, which implies formation of software packages and and usage of special systems to manage these packages—in particular, install, remove or update any of them. A common belief is that such systems are just archivers with <a href="/talks/rpm5-a-novel-format-and-tools-to-distribute-linux-applications">minor additional features…</a></p>]]></description>
			<content:encoded><![CDATA[<p>
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4696">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4696">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4696" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4696">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">3 </span>
                                </span>
                            </span>
                        </div></p>
<p>A distinctive feature of many Linux distributions is an original approach to the task of software management, which implies formation of software packages and and usage of special systems to manage these packages—in particular, install, remove or update any of them. A common belief is that such systems are just archivers with minor additional features. However, modern package managers are quite complex systems that provide a lot of features besides just putting application files into archive and managing dependencies between different packages. Constantly increasing complexity of software gives rise to different improvements in this area. Nowadays package managers provide various possibilities to control the process of package installation or removal by allowing to launch arbitrary scripts embedded in the package itself, allow users to work with packages through the network, and so on. New features constantly are suggested and implemented.</p>
<p>This paper describes RPM5—a promising package management system based on the famous and widely used RPM package manager. We present an overview of already implemented improvements and discuss possible future directions. The improvements fall into two categories: the ones aimed to simplify creation of packages and the ones that speed up the user-side tools and enhances their functionality in different ways.</p>
<p>Improvements for developers include file triggers, a novel approach for localization of package descriptions, possibility to embed different useful utilities and libraries in the RPM itself, as well as various improvements aimed to automate the process of package creation and reduce number of manual actions.</p>
<p>Among changes valuable for users, we can highlight transactional package management, usage of parallelism to speed up different actions, integration with higher-level package managers and improved handling of configuration file updates. All these changes are aimed to make installation, update and removal of packages considerably faster and more flexible, at the same guaranteeing high reliability of these actions.</p>

]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/rpm5-a-novel-format-and-tools-to-distribute-linux-applications/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Alexander K. Petrenko</title>
		<link>http://www.secr.ru/lang/en-en/key-speakers/alexander-petrenko</link>
		<comments>http://www.secr.ru/lang/en-en/key-speakers/alexander-petrenko#comments</comments>
		<pubDate>Sat, 05 May 2012 06:49:34 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Key Speakers]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4689</guid>
		<description><![CDATA[<div class="description"><p>Professor, Doctor of Sciences, Head of the Software Engineering Department ISPRAS, Professor of System Programming chair of CMC MSU. He is a member of the editorial board of <i>Programming</i>, Chairman of the Subcommittee of the Technical Committee for Standardization TK22 JTC 1 ISO / JEC «Programming languages, their environments and system software interfaces», organizer of the International Seminar on model based testing (Model Based Testing – MBT-Workshop), of the annual conference of young Scientists on Software Engineering (Spring Young Researchers Colloquium on Software Engineering, SYRCoSE), of the <a href="/key-speakers/alexander-petrenko">Moscow City Seminar on Software Design and Analysis…</a></p></div>]]></description>
			<content:encoded><![CDATA[
<div class="author"><img src="/img/people/petrenko_150x150.png" title="Prof. Dr. Alexander K. Petrenko" alt="Prof. Dr. Alexander K. Petrenko" /><span>Prof. Dr. Alexander K. Petrenko</span></div>
<p>Alexander K. Petrenko, Professor, Doctor of Sciences, Head of the Software Engineering Department ISPRAS, Professor of System Programming chair of CMC MSU.</p>
<p>He is a member of the editorial board of <i>Programming</i>, Chairman of the Subcommittee of the Technical Committee for Standardization TK22 JTC 1 ISO / JEC «Programming languages, their environments and system software interfaces», organizer of the International Seminar on model based testing (Model Based Testing – MBT-Workshop), of the annual conference of young Scientists on Software Engineering (Spring Young Researchers Colloquium on Software Engineering, SYRCoSE), of the Moscow City Seminar on Software Design and Analysis. Member of Program Committees of international conferences ISOLA, OpenCert, PSI, SEFM, TOOLS. Reviewer of the <i>Journal of Systems and Software</i>.</p>
<p>He graduated from the Faculty of Applied Mathematics MIEM (1974). Ph.D. in Physics and Mathematics (1983) thesis <i>A tool for interactive software development</i> Doctor of Physical and Mathematics (2003), thesis <i>Formal specifications based testing in the process of software systems development</i>.</p>
<p>From 1974 to 2002 worked at the Keldysh Institute of Applied Mathematics RAS, one of the developers of DIMON, participated in software development for several soviet space programs, from 1994 worked at the Institute for System Programming RAS.<br />
His research areas are: formal methods for specification and verification of software and microprocessors, software engineering, software analysis and quality assurance. He is the Chief Scientific Advisor of ISPRAS Linux Verification Center.</p>
<p>Taught a course <i>Formal specification and verification of programs</i>, is a special seminar on <i>The correctness of programs</i> in CSC MSU. Petrenko has co-authored several patents, has published over 80 scientific papers.<br />
</p>
<p class="end">&nbsp;</p>
]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/key-speakers/alexander-petrenko/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Amazon AWS Cloud Service Architecture and Launch: How to Create Real 24/7</title>
		<link>http://www.secr.ru/lang/en-en/talks/amazon-aws-cloud-service-architecture-and-launch</link>
		<comments>http://www.secr.ru/lang/en-en/talks/amazon-aws-cloud-service-architecture-and-launch#comments</comments>
		<pubDate>Wed, 02 May 2012 06:55:40 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[Talks]]></category>
		<category><![CDATA[Cloud computing]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4667</guid>
		<description><![CDATA[<p>Translation is not available yet. <a href="/lang/ru-ru/talks/amazon-aws-cloud-service-architecture-and-launch">The Russian version of this abstract</a>.</p>]]></description>
			<content:encoded><![CDATA[
                        <div class="wpv_postvote">
                            <span class="wpv_votewidget" id="wpvvotewidget4667">
                                <span class="wpv_votebtncon">
                                    <span class="wpv_votebtn" id="wpvvoteid4667">
                                        <a title="vote" class="wpv_voting" href="javascript:void(0)" >
                                            <span class="wpv_vote_icon"></span>
                                            <span class="wpv_votebtn_txt">I'm interested!</span>
                                            <input type="hidden" class="postID" value="4667" />
                                            <input type="hidden" class="userID" value="0" />
                                            <input type="hidden" class="authorID" value="1" />
                                        </a>
                                        <span class="wpv_voted_icon" style="display: none;"></span>
                                        <span class="wpv_votebtn_txt wpv_votedbtn_txt" style="display: none;">I'm interested!</span>
                                    </span>
                                </span>
                                <span class="wpv_votecount" id="wpvvotecount4667">
                                    <img title="Loading" alt="Loading" src="/wp-content/plugins/wp-voting/images/ajax-loader.gif" class="loadingimage" style="visibility: hidden; display: none;"/>
                                    Votes:
                                    <span class="wpv_vcount">2 </span>
                                </span>
                            </span>
                        </div>
<p>Translation is not available yet. <a href="http://www.secr.ru/lang/ru-ru/talks/amazon-aws-cloud-service-architecture-and-launch">The Russian version of this abstract</a>.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/talks/amazon-aws-cloud-service-architecture-and-launch/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>CEE-SECR 2011 research papers in English are published by IEEE</title>
		<link>http://www.secr.ru/lang/en-en/news/cee-secr-2011-research-papers-in-english-are-published-by-ieee</link>
		<comments>http://www.secr.ru/lang/en-en/news/cee-secr-2011-research-papers-in-english-are-published-by-ieee#comments</comments>
		<pubDate>Thu, 26 Apr 2012 06:52:34 +0000</pubDate>
		<dc:creator>Max Novikov</dc:creator>
				<category><![CDATA[News]]></category>

		<guid isPermaLink="false">http://www.secr.ru/?p=4656</guid>
		<description><![CDATA[The last year conference proceedings — the research papers in English — are published by IEEE digital library: http://ieeexplore.ieee.org/search/searchresult.jsp?newsearch=true&#38;queryText=cee-secr+2011 Just a reminder, that this year the best research paper in software engineering will be awarded 1000 Euro; the award was [...]]]></description>
			<content:encoded><![CDATA[<p><br />
The last year conference proceedings — the research papers in English — are published by IEEE digital library: <a href="http://ieeexplore.ieee.org/search/searchresult.jsp?newsearch=true&amp;queryText=cee-secr+2011">http://ieeexplore.ieee.org/search/searchresult.jsp?newsearch=true&amp;queryText=cee-secr+2011</a></p>
<p>Just a reminder, that this year the best research paper in software engineering will be awarded 1000 Euro; the award was established by Bertrand Meyer.<br />
To participate, please submit an extended abstract by 30th of June.</p>
<p>For more information please refer to: <a href="http://www.secr.ru/news/cee-secr-2012-bertrand-meyers-best-research-paper-award">http://www.secr.ru/news/cee-secr-2012-bertrand-meyers-best-research-paper-award</a><br />
</p>
]]></content:encoded>
			<wfw:commentRss>http://www.secr.ru/lang/en-en/news/cee-secr-2011-research-papers-in-english-are-published-by-ieee/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

