SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyey

Aragtidu waa marka aad wax walba taqaan laakiin waxba ma shaqeeyo.
Tababarku waa marka wax walba ay shaqeeyaan laakiin qofna ma garanayo sababta.
Nidaamyada qaybsan, aragti iyo dhaqan waa la isku daray:
waxba ma shaqeeyaan, cidina ma garanayso sababta.

Si loo caddeeyo in kaftanka cirifku yahay nacasnimo buuxda, waxaanu haynaa SPTDC (dugsiga ku dhaqanka iyo aragtida xisaabinta qaybinta) mar saddexaad. Waxaan horay uga wada hadalnay taariikhda dugsiga, aasaasayaashii Pyotr Kuznetsov iyo Vitaly Aksyonov, iyo sidoo kale ka qaybgalka kooxda JUG Ru ee abaabulka SPTDC sheegay ku Habre. Sidaa darteed, maanta waxaan ka hadlaynaa dugsiga 2020, oo ku saabsan muxaadaro iyo macalimiin, iyo sidoo kale farqiga u dhexeeya dugsiga iyo shirka.

Dugsiga SPTDC waxa lagu qaban doonaa Julaay 6 ilaa Julaay 9, 2020 gudaha Moscow.

Dhammaan muxaadarooyinka waxay ku bixi doonaan Ingiriis. Mawduucyada ugu muhiimsan ee casharrada: xisaabinta joogtada ah ee joogtada ah, qalabka cryptographic ee hababka la qaybiyey, hababka rasmiga ah ee xaqiijinta borotokoolka la isku raacsan yahay, joogtaynta nidaamyada baaxadda weyn, barashada mashiinka la qaybiyey.

SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyey
Isla markiiba ma qiyaastay darajada ciidan ee jilayaasha sawirka ku jira? Waan ku jeclahay.

Macalimiin iyo muxaadaro

SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyNir Shavit (Nir Shavit) - borofisar ka ah MIT iyo Jaamacadda Tel Aviv, qoraaga buug weyn Farshaxanka Barnaamijyada Multiprocessor, milkiilaha Abaalmarinta Dijkstra horumarinta iyo hirgelinta xasuusta macaamil ganacsi software (STM) iyo Gödel Prize shaqadiisa ku saabsan adeegsiga aljabrada topology ee qaabaynta xisaabinta xusuusta la wadaago, aasaasaha shirkadda Sixirka Neural, kaas oo abuura algorithms barashada mashiinka degdega ah ee CPU-yada caadiga ah, iyo, dabcan, ayaa leh Bogagga Wikipedia oo leh sawir jilicsan oo jilicsan. Nir wuxuu horey uga qaybqaatay dugsigeena 2017, halkaas oo uu ka bixiyay dulmar guud oo ku saabsan farsamooyinka xannibista (qaybta 1, qaybta 2). Wali ma garanayno waxa Nir ka hadli doono sanadkan, laakiin waxaan rajeyneynaa wararka ka soo baxa safka hore ee sayniska.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyMichael Scott (Michael Scott) - cilmi baadhe at Jaamacadda Rochester, loo yaqaan dhammaan horumarinta Java sida abuuraha Algorithms-yada aan xannibin iyo safafka isku midka ah laga soo qaatay Maktabadda Heerka Java. Dabcan, oo leh abaalmarinta Dijkstra ee horumarinta Algorithm-ka isku-dhafka ah ee xisaabinta xusuusta la wadaago oo leh bogga Wikipedia. Sannadkii hore, Michael waxa uu dugsigeena ka jeediyay muxaadaro ku saabsan qaab-dhismeedka xogta aan xannibin (qaybta 1, qaybta 2). Sannadkan ayuu ayaa kuu sheegi doona ku saabsan barnaamijka isticmaalka xusuusta aan kacsanayn (NVM), kaas oo yareeya kakanaanta barnaamijka iyo xusuusta xad dhaafka ah marka la barbar dhigo xusuusta gelitaanka random ee joogtada ah (DRAM).


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyWaa Keedar (Idit Keidar) - borofisar ka ah Technion iyo mulkiilaha Hirsch index ilaa 40 (taas oo ah mid aad iyo aad u badan) waayo laba boqol oo maqaal oo cilmi ah dhinaca kombuyuutarada la qaybiyey, taxannada badan iyo u dulqaadashada khaladaadka. Idit waxa ay ka qaybgashaa dugsigayaga markii ugu horeysay, halkaas oo ay iyadu ayaa bixin doona muxaadaro oo ku saabsan dhinacyada aasaasiga ah ee hawlgalka kaydinta xogta la qaybiyey: ku dayashada xusuusta qaybsan, horumarinta la isku raacsan yahay iyo isbedel qaabeynta.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyRodrigo Rodriguez (Rodrigo Rodrigues) - borofisar ka ah Técnico, xubin ka ah shaybaarka INESC-ID iyo qoraa shaqada cilmi-baarista ee berrinka nidaamyada qaybiyey. Sannadkan dugsigayaga Rodrigo ayaa kuu sheegi doona ku saabsan joogtaynta iyo go'doominta ee kaydinta xogta ee la qaybiyey, iyo sidoo kale falanqayn doonaa isticmaalka Aragtida CAP suurtogalnimada ku dhaqanka dhowr nooc oo joogto ah iyo gooni-gooni ah.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyChen Jing (Jing Chen) - Bare ka ah Jaamacadda Gobolka New York ee Stony Brook, qoraa shaqada cilmi-baarista dhanka blockchain iyo saynis yahan hormuud u ah Algorand - shirkad iyo madal blockchain ah oo adeegsata algorithm la isku raacsan yahay oo gebi ahaanba ku salaysan Cadeynta Stake. Sannadkan dugsigeena, Chen wuxuu ka hadli doonaa blockchain Algorand iyo siyaabaha lagu gaaro hantideeda xiisaha leh: baahida hoose ee ilaha xisaabinta shabakada, suurtogalnimada kala qaybinta taariikhda macaamil ganacsi iyo dammaanad-qaadista dhamaystirka habka wax iibsiga ka dib marka lagu daro blockchain.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyChristian Cashin (Christian Cachin) waa borofisar wax ka dhiga Jaamacadda Bern, oo madax ka ah koox cilmi baaris ah oo ku saabsan ilaalinta xogta, qoraaga buugga "Hordhac Barnaamijyo La-isku-halayn karo oo Sugan", horumariyaha madal blockchain Dharbaaxo badan (xataa waxaa jirtay hadal iyada ku saabsan ku dheji Habré) iyo qoraa shaqada cilmi-baarista ee berrinkii cryptography iyo ammaanka ee nidaamyada qaybiyey. Sannadkan dugsigayaga Christian ayaa bixin doona muxaadaro Taxane afar qaybood ah oo ku saabsan aaladaha cryptographic ee loogu talagalay xisaabinta la qaybiyey: summetric iyo asymmetric cryptography, iyo sidoo kale qarsoodiga muhiimka ah ee la wadaago, tirooyin been abuur ah iyo jiilka tirada random la xaqiijin karo.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyMarko Vukolić (Marko Vukolic) - cilmi-baare ka tirsan IBM Research, qoraa shaqeeya oo ku jira blockchain iyo horumariyaha Fabric Hyperledger. Weli ma garanayno waxa Marco uu kaga hadli doono dugsigeena sanadkan, laakiin waxaan rajeyneynaa inaan wax ka baran doono horumarkiisa cusub ee goobta blockchain: cilmi baaris hoos u dhaca waxqabadka hab-maamuus la isku raacsan yahay oo loo qaybiyey kooxo ilaa 100 mashiin ah, baahin Baratakoolka Mir oo leh nidaam caalami ah iyo Dulqaadka qaladka Byzantine ama blockchain aan xannibnayn StreamChain, yaraynta wakhtiga habaynta wax kala iibsiga.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyPrasad Jayanti (Prasad Jayanti) waa borofisar wax ka dhiga Kuliyada Dartmouth, mid ka mid ah kuwa ugu caansan Ivy League, iyo qoraaga shaqada cilmi-baarista ee goobta algorithms-threaded badan. Sannadkan dugsigayaga Prasad ayaa bixin doona muxaadaro ku saabsan isku xidhka dunta iyo algorithms ee hirgelinta doorashooyin kala duwan mutex: Iyadoo la joojinayo ama soo celinayo hawlaha moodooyinka xusuusta aan kacsanayn, iyo sidoo kale hawlo akhris iyo qorri gooni ah.


SPTDC 2020 - dugsiga saddexaad ee ku dhaqanka iyo aragtida xisaabinta la qaybiyeyAlexey Gotsman (Alexey Gotsman) - borofisar ka ah IMDEA iyo qoraa shaqada cilmi-baarista ee goobta xaqiijinta software ee algorithms. Wali ma garanayno waxa Alexey uu ka jeedin doono dugsigeena sanadkan, laakiin waxaanu ku xisaabtamaynaa mawduuc ku yaala isgoyska hubinta software iyo hababka la qaybiyey.



Waa maxay sababta kani dugsi u yahay oo aanu shir u ahayn?

Ugu horrayn, macalimiintu waxay ku hadlaan qaab akadeemiyadeed, muxaadaro kasta oo weynina waxa bixiya laba lammaane: "saac iyo badh - nasasho - saacad iyo badh kale." Sannado badan ka dib jaamacadda, oo leh caado ah bandhigyo shirar oo saacado badan ah iyo 10-daqiiqo muuqaal YouTube ah, tani waxay noqon kartaa mid adag. Macallin wanaagsan ayaa saddexda saacadood ka dhigi doona mid xiiso leh, laakiin qof kastaa wuxuu mas'uul ka yahay caagagga maskaxdiisa.

Talo waxtar leh: ku celceli cajaladaha fiidiyowga ee casharrada dugsiga ee gudaha Sannadka 2017 iyo Sannadka 2019. Nabadgelyo shaqo - hello General Byzantine.

Marka labaad, macallimiintu waxay diiradda saaraan cilmi-baarista sayniska waxayna ka hadlaan mabaadi'da aasaasiga ah Nidaamyada la qaybiyey iyo xisaabinta isbarbar-dhigga ah, iyo sidoo kale wararka ka imanaya cirifka sare ee sayniska. Haddi yoolkaagu yahay in aad si degdeg ah wax u diyaariso oo aad u soo saarto wax soo saar maalinta xigta dugsiga ka dib, tani sidoo kale way adkaan kartaa.

Talo waxtar leh: raadi warqadaha cilmi-baarista ee macallimiinta dugsigu Aqoonyahan Google и arXiv.org. Haddii aad jeceshahay akhrinta waraaqaha sayniska, waxaad sidoo kale jeclaan doontaa dugsiga.

Marka saddexaad, SPTDC 2020 ma aha shir, sababtoo ah shir ku saabsan nidaamyada la qaybiyey iyo xisaabinta isbarbar socda waa Hydra 2020. Dhawaan waxaa jiray qoraal ku saabsan Habré oo leh dulmar ku saabsan barnaamijkeeda. Sannadkii hore, SPTDC iyo Hydra waxay dhaceen isku mar iyo isla goobta. Sannadkan timirta iskuma dhuftaan, si aanay wakhtigaaga iyo dareenkaaga ugu tartamin midba midka kale.

Talo waxtar leh: Fiiri barnaamijka shirka Hydra oo ka fiirso ka qaybgalka shir kale dugsiga ka dib. Waxa uu noqon doonaa todobaad wanaagsan.

Sidee loo aadaa dugsiga?

  • Ku qor taariikhaha laga bilaabo Luulyo 6 ilaa Luulyo 9, 2020 jadwalkaaga (ama ka sii fiican, Luulyo 11, si aad u aaddo shirka Hydra dugsiga ka dib).
  • Qalbi qabo, diyaarso.
  • Dooro tigidhada oo aad dugsiga.

Source: www.habr.com

Add a comment